Formální logika v umělé inteligenci
Doprava zdarma
nad 700 Kč
Vyzvednutí v centru Liberce
Osobní odběr
Související produkty
Detailní popis produktu
Reprezentace znalostí prostředky formální logiky dnes představuje nezbytný teoretický základ umělé inteligence. V knize jsou vysvětleny a dokumentovány pojmy od syntaxe, sémantiky, přes formalizaci až k tvorbě a odvozování ze znalostních bází. Poznáte též základní jazyky pro reprezentaci znalostí: jazyk výrokové predikátové a klauzulární logiky, který představuje přechod k jazyku PROLOG logického programování. Určeno především studentům informatiky a filozofie.
Doplňkové parametry
| Kategorie: | Matematika |
|---|---|
| Autor: | Alena Lukasová |
| Název: | Formální logika v umělé inteligenci |
| Rok vydání: | 2003 |
| Počet stran: | 269 s. |
| Vazba: | brožovaná |
| Stav: | dobrý |
| Nakladatel: | Computer Press |
| Číslo vydání: | 1 |
| Místo vydání: | Brno |
| ISBN: | 80-251-0023-5 |
| Poznámka: | |
| Kód produktu: | 11462955 |
Hodnocení produktu
Buďte první, kdo napíše příspěvek k této položce.
Diskuze
Buďte první, kdo napíše příspěvek k této položce.