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

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

Fakulta informatiky
jaro 2004

Rozsah

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

Vyučující

Garance

Rozvrh

Út 10:00–11:50 D1

IB101/01: Čt 14:00–15:50 D1, P. Kuba
IB101/02: Čt 16:00–17:50 D1, P. Kuba
IB101/03: Pá 10:00–11:50 B204, L. Svoboda

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

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ě.