Tentokrat spise pro Ty z Vas, kteri se radi zakouznou do te nejstavnatejsi matematiky... :)

----- Forwarded message from Jirka Sejnoha jirka.sejnoha@gmail.com -----

Dobrý den,

zasíláme Vám pozvání na úvodní seminář "Filosofických problémů informatiky", přednáší:

doc. RNDr. Josef Mlček, CSc. a Mgr. Petr Glivický Katedra teoretické informatiky a matematické logiky, MFF UK

na téma:

"Digitální univerza"

Abstrakt: Aritmetický (digitální) resp. množinový koncept univerza, formalizace jako Peanova aritmetika P, resp. teorie konečných množin. Základní rozvoj a vztahy. Prearitmetické teorie (čili zúžení P na podjazyk: teorie následníka, Presburgerova aritmetika) a fragmenty P (čili zúžení axiomů: Robinsonova aritmetika, I{Ʃn}, aj.) Vlastnosti prearitmetických teorií a fragmentů P: Lindenbaumovské a izomorfní spektrum, deskriptivní a reprezentační vlastnosti, aritmetizace syntaxe, nerozhodnutelnost, formalizace dokazatelnsti a reference o sobě. Modely prearitmetických teorií a fragmentů P. Peanovské řezy. Problém expanze, peanovský součin. Lokální linearita. Lineární aritmetika a její vlastnosti.

Seminář se koná v úterý 27. 3. 2012 od 17:20 v posluchárně S8 na Malostranském náměstí, budova MFF UK.

Přejeme Vám pěkný den Petr Štěpánek a Jiří Šejnoha.

Informační stránka semináře: http://ktiml.mff.cuni.cz/fpi/ a konference (mail list) pro zasílání pozvánek: http://ktiml.mff.cuni.cz/cgi-bin/mailman/listinfo/fpi

----- End forwarded message -----