IB013 Logické programování I
-
IB013 Logické programování I
-
Study nowPrůsvitky z celé přednášky a cvičení
-
Study nowÚvod do Prologu, syntaxe a význam prologovských programů. Operátory, aritmetika, typy rovností.
-
Study nowŘez, negace, řízení výpočtu. Seznamy.
-
Study nowOptimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.
-
Study nowPredikáty nad termy. Technika a styl programování.
-
Study nowPrůběžná písemná práce. Predikátová logika 1.řádu, modely.
-
Study nowRezoluce, lineární rezoluce a Hornovy klauzule.
-
Study nowSLD-rezoluce: popis a vlastnosti, Prolog, řez. Semantiky.
-
Study nowSLDNF rezoluce.
-
Study nowSplňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.
-
Study nowLabeling. Konzistenční algoritmy.
-
Study nowProhledáváni v CSP. Implementace Prologu: abstraktní interpret, reprezentace objektů, řízení výpočtu.
-
Study nowInterpret Prologu. Parciální vyhodnocení, Warrenův abstraktní počítač.
-
Study nowBacktracking, unifikace, aritmetika.
-
Study nowSeznamy, řez
-
Study nowVšechna řešení, třídění, rozdílové seznamy
-
Study nowVstup/výstup, databázové operace, rozklad termu
-
Study nowLogické programování s omezujícími podmínkami
-
Study nowStromy, grafy
-
Seznamy, řez
Cvičení 02 (PDF)
Materiály včetně řešení
Cvičení 02 (Postscript)
Materiály včetně řešení
-
IB013 Logické programování I
-
Study nowPrůsvitky z celé přednášky a cvičení
-
Study nowÚvod do Prologu, syntaxe a význam prologovských programů. Operátory, aritmetika, typy rovností.
-
Study nowŘez, negace, řízení výpočtu. Seznamy.
-
Study nowOptimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.
-
Study nowPredikáty nad termy. Technika a styl programování.
-
Study nowPrůběžná písemná práce. Predikátová logika 1.řádu, modely.
-
Study nowRezoluce, lineární rezoluce a Hornovy klauzule.
-
Study nowSLD-rezoluce: popis a vlastnosti, Prolog, řez. Semantiky.
-
Study nowSLDNF rezoluce.
-
Study nowSplňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.
-
Study nowLabeling. Konzistenční algoritmy.
-
Study nowProhledáváni v CSP. Implementace Prologu: abstraktní interpret, reprezentace objektů, řízení výpočtu.
-
Study nowInterpret Prologu. Parciální vyhodnocení, Warrenův abstraktní počítač.
-
Study nowBacktracking, unifikace, aritmetika.
-
Study nowSeznamy, řez
-
Study nowVšechna řešení, třídění, rozdílové seznamy
-
Study nowVstup/výstup, databázové operace, rozklad termu
-
Study nowLogické programování s omezujícími podmínkami
-
Study nowStromy, grafy
-