FI:IB101 Úvod do logiky - Informace o předmětu

IB101 Úvod do logiky a logického programování

Rozsah

2/2. 4 kr. (plus ukončení). Ukončení: zk.

Vyučující

Mgr. Eva Mráková, Ph.D. (přednášející)
doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
RNDr. Jan Blaťák, Ph.D. (cvičící)
RNDr. Petr Kuba, Ph.D. (cvičící)
Mgr. Lukáš Svoboda (cvičící)
Mgr. Miloslav Nepil, Ph.D. (pomocník)

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 D1

• Rozvrh seminárních/paralelních skupin:

IB101/A: Po 14:00–15:50 D1
IB101/B: Út 16:00–17:50 D1
IB101/C: Pá 15:00–16:50 D1

Předpoklady

! I008 Výpočtová logika

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

• Aplikovaná informatika (program FI, B-AP)

Cíle předmětu

Cílem kursu je seznámení se základy výrokového a predikátového počtu, s resolučním principem a se základy logického programování.

Osnova

• Přehled logických kalkulů, syntaxe.
• Výroková logika, pravdivostní tabulky, axiomy, dokazatelnost.
• Predikátový počet 1. řádu. predikátové formule, sémantika, axiomy, dokazatelnost.
• Základy teorie důkazů ve výrokové logice, normální formy, rezoluce.
• Normální formy predikátové logiky, skolemizace.
• Základy teorie důkazů v predikátové logice, rezoluce.
• Úvod do logického programování, SLD-rezoluce. Jazyk Prolog.

Literatura

• NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. info
• KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ a Michal CHYTIL. Logika, algebry a grafy. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1989, 434 s. 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/IB101