Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logiky v její moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s logikou jako vědním oborem. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také se zkoumáním vlastností axiomatických teorií či rozborem Gödelových vět o neúplnosti.
Antonín Sochor Livres



Metamatematika teorií množin
- 203pages
- 8 heures de lecture
Klasická matematická logika
- 402pages
- 15 heures de lecture
Obsáhlá publikace je rozdělena do tří částí podle úrovně vědomostí a náročnosti čtenáře. Kapitoly I a II jsou určeny všem zájemcům o základy matematické logiky a seznamují čtenáře s jejími nejvážnějšími zásadami a postupy. Úroveň III je určena zájemcům o hlubší studium logiky a kromě určitých matematických znalostí předpokládá především schopnost a ochotu myslet.