Annotation
Úvodní kurz formální logiky. Jeho cílem je seznámit posluchače se základními pojmy, metodami a vybranými problémy moderní logiky.
Základy syntaxe a sémantky klasické výrokové a predikátové logiky. Zvládnutí jednoduché práce s formálním systémem a s úsudky založenými na tomto systému.