FI:IA008 Computational Logic - Informace o předmětu
IA008 Computational Logic
Fakulta informatikyjaro 2010
- Rozsah
- 2/2. 4 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k.
- Vyučující
- Mgr. Eva Mráková, Ph.D. (cvičící)
Mgr. Tomáš Laurinčík (cvičící)
doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Mgr. Ondřej Nečas (cvičící)
Mgr. Marek Trtík, Ph.D. (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
- Út 10:00–11:50 D1
- Rozvrh seminárních/paralelních skupin:
IA008/02: Čt 14:00–15:50 C511, E. Mráková
IA008/03: Pá 12:00–13:50 B410, T. Laurinčík - 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
- Aplikovaná informatika (program FI, N-AP)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika (program FI, N-AP)
- Informační systémy (program FI, N-IN)
- Informatika (program FI, N-IN)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové systémy (program FI, N-IN)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Teoretická informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- Zpracování obrazu (program FI, N-AP)
- 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 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
- 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 2010, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2010/IA008