Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
IB013 Logické programování I
Interaktivní osnova
IB013 Logické programování I
OBSAH
IB013 Logické programování I
Nyní studovat
Doplňující materiály
Nyní studovat
Průsvitky z celé přednášky a cvičení
Nyní studovat
Úvod do Prologu, syntaxe a význam prologovských programů.Operátory, aritmetika, typy rovností.
Nyní studovat
Řez, negace, řízení výpočtu. Seznamy.
Nyní studovat
Optimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.
Nyní studovat
Predikáty nad termy, technika a styl programování.
Nyní studovat
Průběžná písemná práce. Rezoluce.
Nyní studovat
Lineární rezoluce, SLD-rezoluce a Prolog.
Nyní studovat
Semantiky, SLD rezoluce v Prologu.
Nyní studovat
Splňování podmínek, od LP k CLP. CLP(FD): základní typy omezení
Nyní studovat
CLP(FD): prohledávání. Konzistenční algoritmy.
Nyní studovat
Konzisteční algoritmy II. Prohledávání v CSP.
Nyní studovat
Implementace Prologu.
Nyní studovat
Backtracking, unifikace, aritmetika.
Nyní studovat
Seznamy, řez
Nyní studovat
Vstup/výstup, databázové operace, rozklad termu
Nyní studovat
Všechna řešení, třídění, rozdílové seznamy
Nyní studovat
Logické programování s omezujícími podmínkami
Prohlédnout vše
Doplňující materiály
Doplňkový materiál: Predikátová logika - shrnutí (PDF)
Doplňkový materiál: Predikátová logika - shrnutí (Postscritpt)
Předchozí
Následující
IB013 Logické programování I
Nyní studovat
Doplňující materiály
Nyní studovat
Průsvitky z celé přednášky a cvičení
Nyní studovat
Úvod do Prologu, syntaxe a význam prologovských programů.Operátory, aritmetika, typy rovností.
Nyní studovat
Řez, negace, řízení výpočtu. Seznamy.
Nyní studovat
Optimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.
Nyní studovat
Predikáty nad termy, technika a styl programování.
Nyní studovat
Průběžná písemná práce. Rezoluce.
Nyní studovat
Lineární rezoluce, SLD-rezoluce a Prolog.
Nyní studovat
Semantiky, SLD rezoluce v Prologu.
Nyní studovat
Splňování podmínek, od LP k CLP. CLP(FD): základní typy omezení
Nyní studovat
CLP(FD): prohledávání. Konzistenční algoritmy.
Nyní studovat
Konzisteční algoritmy II. Prohledávání v CSP.
Nyní studovat
Implementace Prologu.
Nyní studovat
Backtracking, unifikace, aritmetika.
Nyní studovat
Seznamy, řez
Nyní studovat
Vstup/výstup, databázové operace, rozklad termu
Nyní studovat
Všechna řešení, třídění, rozdílové seznamy
Nyní studovat
Logické programování s omezujícími podmínkami
Operace
Prohlédnout vše