Wyprzedane, ale poszukiwane!
Więcej o książce
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.
Zakup książki
Formální logika v umělé inteligenci, Alena Lukášová
- Język
- Rok wydania
- 2003
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Formální logika v umělé inteligenci
- Język
- czeski
- Autorzy
- Alena Lukášová
- Wydawca
- Computer Press
- Rok wydania
- 2003
- Oprawa
- miękka
- Liczba stron
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Seria
- Kategorie
- Tagi
- Podręczniki, Nauka
- Opis
- 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.