Ausverkauft, aber heiß begehrt!
Mehr zum Buch
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.
Buchkauf
Formální logika v umělé inteligenci, Alena Lukasová
- Sprache
- Erscheinungsdatum
- 2003
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Keiner hat bisher bewertet.
- Titel
- Formální logika v umělé inteligenci
- Sprache
- Tschechisch
- Autor*innen
- Alena Lukasová
- Verlag
- Computer Press
- Erscheinungsdatum
- 2003
- Einband
- Paperback
- Seitenzahl
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Reihe
- Schlagwörter
- Sachbücher, Lehrbücher, Wissenschaft
- Beschreibung
- 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.