PředmětyPředměty(verze: 964)
Předmět, akademický rok 2024/2025
   Přihlásit přes CAS
Klasická logika I - ALG110004
Anglický název: Classical Logic I
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2019
Semestr: zimní
Body: 0
E-Kredity: 12
Způsob provedení zkoušky: zimní s.:
letní s.:
Rozsah, examinace: zimní s.:2/0, Zk [HT]
letní s.:2/0, Zk [HT]
Počet míst: zimní:neurčen / neurčen (neurčen)
letní:neurčen / neurčen (neurčen)
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Kompetence:  
Stav předmětu: nevyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Úroveň:  
Je zajišťováno předmětem: ALG110023
Poznámka: předmět je možno zapsat mimo plán
povolen pro zápis po webu
Garant: Mgr. Marta Bílková, Ph.D.
Rozvrh   Nástěnka   
Anotace -
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)
 
Univerzita Karlova | Informační systém UK