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í

RNDr. Jan Blaťák, Ph.D. (přednášející)
RNDr. Petr Kuba, Ph.D. (přednášející)
doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Mgr. Lukáš Svoboda (cvičící)
RNDr. Ondřej Výborný (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 10:00–11:50 D2

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

IB101/01: Po 18:00–19:50 D2, L. Svoboda
IB101/02: St 10:00–11:50 D2, O. Výborný
IB101/03: Čt 14:00–15:50 D2, O. Výborný

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)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-SO)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (program FI, B-IN)

Cíle předmětu

Cílem kursu je seznámení se základy výrokového a predikátového počtu, s rezoluč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.
• Základy teorie důkazů ve výrokové logice, normální formy, rezoluce.
• Predikátový počet 1. řádu, predikátové formule, sémantika, axiomy, dokazatelnost.
• 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

• ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
• 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

Metody hodnocení

Předmět je ukončen písemnou zkouškou formou testu, není povoleno používat žádné pomocné materiály.

Další komentáře

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

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