FI:I008 Výpočtová logika - Informace o předmětu

I008 Výpočtová logika

Rozsah

0/0. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Jiří Zlatuška, CSc. (přednášející)

Garance

Kontaktní osoba: prof. RNDr. Jiří Zlatuška, CSc.

Předpoklady

M007 Matematická logika je vítána, ale není nutným předpokladem.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

Osnova

• Základy teorie důkazů v predikátové logice a logice prvního řádu: kalkul sekventů a rezoluce.
• Technické základy: stromy, Königovo lemma, analýza formulí, abstraktní pravdivostní tabulky, klauzulární a duální klauzulární forma.
• Důkazy ve výrokové logice: systém G, korektnost, úplnost, struktura důkazů, kompaktnost, odstranění řezu; rezoluce, zjemnění rezoluce, Hornovy klauzule, SLD-rezoluce.
• Důkazy v predikátové logice: substituce, systém G, kompaktnost, Skolemova--Löwenheimova věta, Herbrandova věta; prenexová forma, skolemizace, unifikace, rezoluce a její zjemnění, Hornovy klauzule, SLD-rezoluce.
• Logické programování: SLD-prohledávání, SLD-rezoluční stromy, sémantika.

• Statistika zápisu (zima 1995, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1995/I008