Logo JČMF Logo PřF UJEP Logo UJEP

Seminář z logiky

Odborný seminář katedry matematiky

Zveme všechny zájemce z řad studentů i učitelů na seminář

Logika matematiky:
moderní kurs klasické logiky

 

Budeme se věnovat společnému studiu vybraných kapitol z následující knihy:

Adamowicz, Zofia; Zbierski, Pawel
Logic of Mathematics: A Modern Course of Classical Logic
A Wiley – Interscience Publication
John Wiley & Sons, Inc., New York, 1997.

 

Aktuálně studované kapitoly:

20. Neúplnost aritmetiky

21. Aritmetická konzistence

22. Nezávislost Goodsteinovy věty

 

Seminář se koná na Katedře matematiky PřF UJEP v místnosti CN 638 v období výuky v letním semestru 2016/2017 vždy ve středu od 10.00 do 11.50.

Bližší informace o semináři může poskytnout jeho organizátor Martin Kuřil.

Kalendář akcí

Vyhledávání

Kontaktní údaje

Adresa:
České mládeže 8
400 96 Ústí nad Labem
Telefon:
475 28 3400
Mapa: