Logika: Neformální výklad základů formální logiky
- 108 stránek
- 4 hodiny čtení
Petr Jirků Knihy
Kapitoly z kognitivní vědy
- 104 stránek
- 4 hodiny čtení
Logické programování I. Programovací jazyk Prolog
- 192 stránek
- 7 hodin čtení
Formální logika : neformální výklad základů formální logiky
- 161 stránek
- 6 hodin čtení
Programování v jazyku Prolog
- 251 stránek
- 9 hodin čtení
Příručka seznamuje s novým jazykem pro logické programování, který je určen pro databázové a expertní systémy, pro reprezentaci a zpracování znalostí.
