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í

doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
doc. RNDr. Jan Bouda, Ph.D. (cvičící)
Mgr. Lukáš Másilko (cvičící)
Mgr. Ondřej Nečas (cvičící)
Mgr. Adam Šiška (cvičící)
Mgr. Juraj Jurčo (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

Po 10:00–11:50 D2, Po 10:00–11:50 D1

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

IB101/01: Út 18:00–19:50 D3, J. Bouda
IB101/02: St 18:00–19:50 D2, A. Šiška
IB101/03: Čt 10:00–11:50 D3, J. Bouda

Předpoklady

! IA008 Computational Logic

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)
• Bioinformatika (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-TV)
• Informatika (program FI, B-IN)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)

Cíle předmětu

Na konci tohoto kurzu budou studenti rozumět principům výrokové a predikátové logiky 1. řádu a důkazovým technikám, především rezoluční metodě. Budou seznámeni se základy logického programování a výpočtové logiky, induktivního odvozování a reprezentace znalostí.

Osnova

• Kurs je úvodem do výrokového a predikátového počtu, rezoluční metody, logického programování a výpočtové logiky, induktivního odvozování a reprezentace znalostí.
• 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.
• Základy induktivního odvozování a reprezentace znalostí.

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

Výukové metody

Přednášky, cvičení.

Metody hodnocení

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

Navazující předměty

• IA008 Computational Logic

Informace učitele

http://www.fi.muni.cz/usr/popelinsky/lectures/bak_logika/

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

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