Uvodní kurs do studia matematické logiky je zaměřen na zvládnutí základních logických znalostí a technik, cílem je obsáhnout syntax a sémantiku klasické výrokové a predikátové logiky, včetně důkazu její silné úplnosti, základních vlastností axiomatických teorií, a základů teorie modelů.
Poslední úprava: BILKM3AF (30.06.2011)
Introductory course covering basic knowledge and techniques of mathematical logic - syntax and semantics of classical propositional and predicate logic, including a proof of strong completeness, basic properties of axiomatic theories and basic model theory.