Uitverkocht
Meer over het boek
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.
Een boek kopen
Formální logika v umělé inteligenci, Alena Lukášová
- Taal
- Jaar van publicatie
- 2003
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.
- Titel
- Formální logika v umělé inteligenci
- Taal
- Tsjechisch
- Auteurs
- Alena Lukášová
- Uitgever
- Computer Press
- Jaar van publicatie
- 2003
- Formaat
- Paperback
- Aantal pagina's
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Reeks
- Tags
- Non-fictie, Studieboeken, Wetenschap
- Aantekening
- 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.