Épuisé, mais très demandé!
En savoir plus sur le livre
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.
Achat du livre
Formální logika v umělé inteligenci, Alena Lukášová
- Langue
- Année de publication
- 2003
- Reliure
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- Formální logika v umělé inteligenci
- Langue
- Tchèque
- Auteurs
- Alena Lukášová
- Éditeur
- Computer Press
- Publié
- 2003
- Format
- souple
- Pages
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Séries
- Catégories
- Mots clés
- Science
- Description
- 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.