Přednášky:
Hierarchie logik. Logika 1.řádu. Pojem formule a definice jazyka logiky 1.řádu.
Sémantický výklad logiky 1.řádu. Relace definované na množině formulí /sémantická ekvivalence a vyplývání/.
Kanonické tvary formulí: prenexní tvar, skolemizace.
Gentzenovské systémy přirozené dedukce logiky 1.řádu.
Axiomatické systémy logiky 1.řádu.
Věty o dedukci, korektnosti a sémantické úplnosti.
Automatické dokazování: rezoluce, unifikace, Robinsonův princip, logické programy.
Reprezentace znalostí a logické vyvozování.
Modální logiky.
Temporální logika.
Metamatematika jako teorie formálních systémů. Definice pojmů uvnitř formálních systémů.
Vlastnosti formálních systémů: bezespornost, úplnost, rozhodnutelnost, kategoričnost, nezávislost axiómů. Formalizovaná teorie přirozených čísel a množin.
Omezené možnosti formalizace. Gödelovy věty.
Hierarchie logik. Logika 1.řádu. Pojem formule a definice jazyka logiky 1.řádu.
Sémantický výklad logiky 1.řádu. Relace definované na množině formulí /sémantická ekvivalence a vyplývání/.
Kanonické tvary formulí: prenexní tvar, skolemizace.
Gentzenovské systémy přirozené dedukce logiky 1.řádu.
Axiomatické systémy logiky 1.řádu.
Věty o dedukci, korektnosti a sémantické úplnosti.
Automatické dokazování: rezoluce, unifikace, Robinsonův princip, logické programy.
Reprezentace znalostí a logické vyvozování.
Modální logiky.
Temporální logika.
Metamatematika jako teorie formálních systémů. Definice pojmů uvnitř formálních systémů.
Vlastnosti formálních systémů: bezespornost, úplnost, rozhodnutelnost, kategoričnost, nezávislost axiómů. Formalizovaná teorie přirozených čísel a množin.
Omezené možnosti formalizace. Gödelovy věty.