Questo è quello che aggiungi al carrello
Maggiori informazioni sul libro
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.
Acquisto del libro
Formální logika v umělé inteligenci, Alena Lukášová
- Lingua
- Pubblicato
- 2003
- Rilegatura
- (In brossura),
- Condizioni del libro
- In buone condizioni
- Prezzo
- 5,59 €
Metodi di pagamento
Ancora nessuna valutazione.
- Titolo
- Formální logika v umělé inteligenci
- Lingua
- Ceco
- Autori
- Alena Lukášová
- Editore
- Computer Press
- Pubblicato
- 2003
- Formato
- In brossura
- Pagine
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Serie
- Categoria
- Descrizione
- 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.