IB013 Logické programování I
Mgr. Matěj Čuhel
IB013 Logické programování I
Mgr. Matěj Čuhel
IB013 Logické programování I
Info
Předmět
Období
jaro 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
    • Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
    https://is.muni.cz/auth/el/1433/jaro2007/IB013/op/organizace.PDF
  • Elektronicky dostupné materiály k jednotlivým částem přednášky
    • Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
    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
    • Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
    https://is.muni.cz/auth/el/1433/jaro2007/IB013/op/prubezna_pisemka.pdf
    Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
    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.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Řez, negace, řízení výpočtu. Seznamy.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Optimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Všechna řešení, predikáty nad termy, typy rovností. Technika a styl programování.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Průběžná písemná práce. Predikátová logika 1.řádu, modely.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Rezoluce, lineární rezoluce a Hornovy klauzule.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    SLD-rezoluce: popis a vlastnosti, Prolog, řez.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Semantiky. SLDNF rezoluce.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Splňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Labeling. Konzistenční algoritmy. Prohledavani v CSP.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Implementace Prologu, interpret Prologu, Warrenův abstraktní počítač.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.

    Osnova cvičení s průsvitkami

    Backtracking, unifikace
    Přejít
    Kapitola obsahuje:
    1
    Web
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Aritmetika, seznamy, řez
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Třídění, rozdílové seznamy
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Vstup/výstup, databázové operace, rozklad termu
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Logické programování s omezujícími podmínkami
    Přejít
    Kapitola obsahuje:
    1
    PDF
    2
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Všechna řešení, stromy, grafy
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Učitel doporučuje studovat od 17. 2. 2007 do 17. 2. 2010.
    Předchozí
    Následující