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í)
RNDr. Jan Blaťák, 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

St 10:00–11:50 B410 a každou lichou středu 18:00–19:50 B204

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,
• 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. Metainterprety.
• Datalog a deduktivní databáze
• Induktivní logické programování.
• Modá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

Metody hodnocení

Předmět je ukončen písemnou zkouškou formou testu.

Další komentáře

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

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