Tentokrat spise pro Ty z Vas, kteri se radi zakouznou do te nejstavnatejsi matematiky... :)
----- Forwarded message from Jirka Sejnoha <[email protected]> ----- 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 ----- _______________________________________________ Brmlab mailing list [email protected] http://brmlab.cz/cgi-bin/mailman/listinfo/brmlab
