FI:IA008 Computational Logic - Informace o předmětu
IA008 Computational Logic
Fakulta informatikyjaro 2013
- Rozsah
- 2/2. 4 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k.
- Vyučující
- doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Mgr. Eva Mráková, Ph.D. (cvičící)
RNDr. Mgr. Jana Dražanová, Ph.D. (cvičící)
Reshma Ramadurai, PhD. (cvičící)
Mgr. Ondřej Nečas (pomocník)
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.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 8:00–9:50 D3
- Rozvrh seminárních/paralelních skupin:
IA008/02: Čt 12:00–13:50 B411, E. Mráková
IA008/03: Pá 8:00–9:50 B410, J. Dražanová
IA008/04: Čt 14:00–15:50 G123, R. Ramadurai - 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.
Předmět si smí zapsat nejvýše 111 stud.
Momentální stav registrace a zápisu: zapsáno: 0/111, pouze zareg.: 0/111, pouze zareg. s předností (mateřské obory): 0/111 - Mateřské obory/plány
- předmět má 19 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student seznámen s hlavními proudy ve výpočtové logice; Bude umět využívat automatických důkazových technik pro výrokovou a predikátovou logiku a její rozšíření; Bude umět pracovat s metodami induktivního odvozování v těchto logikách;
- Osnova
- Introduction to propositional and predicate logic.
- Deduction: Resolution; Logic programming; Prolog, extralogical features, metainterpreters; Definite clause grammars; Deductive databases; Tableau proofs. Theorem proving in modal logic.
- Induction: Basics of inductive logic programming; Model inference problem; Assumption-based reasoning and learning; Learning frequent patterns.
- Logic for natural language processing.
- Knowledge representation and reasoning: Non-classical logic; Knowledge-based systems; Non-monotonic reasoning; Semantic web.
- Literatura
- NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. info
- FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938. info
- NIENHUYS-CHENG, Shan-Hwei a Ronald de WOLF. Foundations of inductive logic programming. Berlin: Springer, 1997, xvii, 404. ISBN 3540629270. info
- PRIEST, Graham. An introduction to non-classical logic : from if to is. 2nd ed. Cambridge: Cambridge University Press, 2008, xxxii, 613. ISBN 9780521854337. info
- Výukové metody
- přednáška, cvičení
- Metody hodnocení
- Semestrální písemná zkouška a závěrečná písemná zkouška.
- Vyučovací jazyk
- Angličtina
- Informace učitele
- http://www.fi.muni.cz/~popel/lectures/complog/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (jaro 2013, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2013/IA008