IB013 Logické programování I
Mgr. Matěj Čuhel
IB013 Logické programování I
Mgr. Matěj Čuhel
IB013 Logické programování I
Info
Course
Term
Spring 2007
  • Průsvitky z přednášek
Přednášky (PDF)
Průsvitky ze všech přednášek v PDF
Přednášky (PostScript)
Průsvitky ze všech přednášek v PostScriptu
  • Průsvitky z cvičení
    Cvičení (PDF)
    Průsvitky z druhého až šestého cvičení v PDF (včetně řešení)
    Cvičení (PostScript)
    Průsvitky z druhého až šestého cvičení v Postscriptu (včetně řešení)
  • Základní informace a pravidla pro absolvování předmětu, literatura
    • Error: The referenced object does not exist or you do not have the right to read.
    https://is.muni.cz/auth/el/1433/jaro2007/IB013/op/organizace.PDF
  • Elektronicky dostupné materiály k jednotlivým částem přednášky
    • Error: The referenced object does not exist or you do not have the right to read.
    https://is.muni.cz/auth/el/1433/jaro2007/IB013/op/e-materialy.html
  • SICStus Prolog: doporučená implementace Prologu
  • Zápočtové projekty
  • Vzorové písemné práce
    • Error: The referenced object does not exist or you do not have the right to read.
    https://is.muni.cz/auth/el/1433/jaro2007/IB013/op/prubezna_pisemka.pdf
    Error: The referenced object does not exist or you do not have the right to read.
    https://is.muni.cz/auth/el/1433/jaro2007/IB013/op/zaverecna_pisemka.pdf
  • Sylabus předmětu na IS
  • Výuka
    • přednáška: pondělí 10:00-11:40, učebna B204
    • cvičení skupina 01: sudé pondělí 14:00-15:40, učebna B311, termíny: 19.2., 5.3., 19.3., 2.4., 23.4., 14.5.
    • cvičení skupina 02: liché pondělí 14:00-15:40, učebna B311, termíny: 26.2., 12.3., 26.3., 16.4., 7.5., 14.5.
  • Harmonogram semestru
    do 28.2. vystavení projektů na webu předmětu
    14.3. zahájení registrace řešitelů projektu
    19.3. průběžná písemná práce
    4.4. termín pro odevzdání písemného zpracování předběžné analýzy řešeného problému
    18.5. termín pro odevzdání hotových projektů
    28.5.-15.6. předvádění projektů (po registraci)
    viz IS MU závěrečná písemná práce
  • Odkazy
  • Průsvitky z přednášek v loňském školním roce
  • Dotazy: přes e-mail na adrese Hana Rudová <hanka@fi.muni.cz>

    • Upozornění: Průsvitky v PDF jsou určeny k prohlížení na počítači, k tisku jsou určeny průsvitky v PostScriptu (4 stránky na 1).

    Osnova přednášky s průsvitkami

    Úvod do Prologu. Syntaxe a význam prologovských programů. Operátory, aritmetika.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Řez, negace, řízení výpočtu. Seznamy.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Optimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Všechna řešení, predikáty nad termy, typy rovností. Technika a styl programování.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Průběžná písemná práce. Predikátová logika 1.řádu, modely.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Rezoluce, lineární rezoluce a Hornovy klauzule.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    SLD-rezoluce: popis a vlastnosti, Prolog, řez.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Semantiky. SLDNF rezoluce.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Splňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Labeling. Konzistenční algoritmy. Prohledavani v CSP.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Implementace Prologu, interpret Prologu, Warrenův abstraktní počítač.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.

    Osnova cvičení s průsvitkami

    Backtracking, unifikace
    Open
    Chapter contains:
    1
    Web
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Aritmetika, seznamy, řez
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Třídění, rozdílové seznamy
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Vstup/výstup, databázové operace, rozklad termu
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Logické programování s omezujícími podmínkami
    Open
    Chapter contains:
    1
    PDF
    2
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Všechna řešení, stromy, grafy
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Teacher recommends to study from 17/2/2007 to 17/2/2010.
    Previous
    Next