PředmětyPředměty(verze: 964)
Předmět, akademický rok 2024/2025
   Přihlásit přes CAS
Modální logiky I - ALG210008
Anglický název: Modal Logics I
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2019
Semestr: letní
Body: 0
E-Kredity: 6
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:2/1, Zk [HT]
Počet míst: 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ň:  
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.
Záměnnost : ALG110012
Rozvrh   Nástěnka   
Anotace -
Kurs je věnován výrokovým modálním logikám. Kurs má charakter úvodu a jeho cílem je základní seznámení s teorií modelů modálních logik (důraz je kladen na Kripkovskou sémantiku, úplnost, kompaktnost, definovatelnost, bisimulace) a hilbertovskými kalkuly. Část kursu je věnována procvičení práce se základními logickými nástroji a pojmy na konkrétních příkladech modálních logik (epistemických, časových a dynamických).
Poslední úprava: BILKM3AF (30.06.2011)
 
Univerzita Karlova | Informační systém UK