IB013 Logické programování I
-
IB013 Logické programování I
-
Nyní studovatPrů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í studovatOptimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.
-
Nyní studovatPredikáty nad termy. Technika a styl programování.
-
Nyní studovatPrůběžná písemná práce. Predikátová logika 1.řádu, modely.
-
Nyní studovatRezoluce, lineární rezoluce a Hornovy klauzule.
-
Nyní studovatSLD-rezoluce: popis a vlastnosti, Prolog, řez. Semantiky.
-
Nyní studovatSLDNF rezoluce.
-
Nyní studovatSplňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.
-
Nyní studovatLabeling. Konzistenční algoritmy.
-
Nyní studovatProhledáváni v CSP. Implementace Prologu: abstraktní interpret, reprezentace objektů, řízení výpočtu.
-
Nyní studovatInterpret Prologu. Parciální vyhodnocení, Warrenův abstraktní počítač.
-
Nyní studovatBacktracking, unifikace, aritmetika.
-
Nyní studovatSeznamy, řez
-
Nyní studovatVšechna řešení, třídění, rozdílové seznamy
-
Nyní studovatVstup/výstup, databázové operace, rozklad termu
-
Nyní studovatLogické programování s omezujícími podmínkami
-
Nyní studovatStromy, grafy
-
Průběžná písemná práce. Predikátová logika 1.řádu, modely.
-
IB013 Logické programování I
-
Nyní studovatPrů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í studovatOptimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.
-
Nyní studovatPredikáty nad termy. Technika a styl programování.
-
Nyní studovatPrůběžná písemná práce. Predikátová logika 1.řádu, modely.
-
Nyní studovatRezoluce, lineární rezoluce a Hornovy klauzule.
-
Nyní studovatSLD-rezoluce: popis a vlastnosti, Prolog, řez. Semantiky.
-
Nyní studovatSLDNF rezoluce.
-
Nyní studovatSplňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.
-
Nyní studovatLabeling. Konzistenční algoritmy.
-
Nyní studovatProhledáváni v CSP. Implementace Prologu: abstraktní interpret, reprezentace objektů, řízení výpočtu.
-
Nyní studovatInterpret Prologu. Parciální vyhodnocení, Warrenův abstraktní počítač.
-
Nyní studovatBacktracking, unifikace, aritmetika.
-
Nyní studovatSeznamy, řez
-
Nyní studovatVšechna řešení, třídění, rozdílové seznamy
-
Nyní studovatVstup/výstup, databázové operace, rozklad termu
-
Nyní studovatLogické programování s omezujícími podmínkami
-
Nyní studovatStromy, grafy
-