Charles Explorer logo
🇬🇧

Logic

Class at Faculty of Arts |
ASG100007

This text is not available in the current language. Showing version "cs".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.