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

IA008 Výpočtová logika

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.

Vyučující

doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Mgr. Miloslav Nepil, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Lubomír Popelínský, Ph.D.

Rozvrh

Út 12:00–13:50 A107, Čt 9:00–10:50 D2

Předpoklady

! I008 Výpočtová logika

Omezení zápisu do předmětu

Předmět je určen pouze studentům mateřských oborů.

Předmět si smí zapsat nejvýše 253 stud.
Momentální stav registrace a zápisu: zapsáno: 0/253, pouze zareg.: 0/253

Mateřské obory/plány

předmět má 6 mateřských oborů, zobrazit

Cíle předmětu

Logika jako nástroj pro výpočet.

Osnova

• Základy teorie důkazů v predikátové logice a logice prvního řádu: stromy, Königovo lemma, abstraktní pravdivostní tabulky, klauzulární forma.
• Důkazy ve výrokové a predikátové logice: kompaktnost, odstranění řezu. Rezoluce a její zjemnění. Tablové důkazy. Substituce, kompaktnost, Skolemova-Löwenheimova věta, Herbrandova věta; prenexová forma, skolemizace, unifikacece. Hornovy klauzule, SLD-rezoluce.
• Logické programování a jazyk Prolog.
• Datalog a deduktivní databáze
• Induktivní logické programování.
• Modální(temporální) logiky, nemonotónní inference, vícehodnotové logiky, inference s neurčitostí.
• Logika a zpracování přirozeného jazyka

Literatura

• FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938. info
• NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. info

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2003, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2003/IA008