Agotado
Más información sobre el 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.
Compra de libros
Formální logika v umělé inteligenci, Alena Lukášová
- Idioma
- Publicado en
- 2003
- product-detail.submit-box.info.binding
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Formální logika v umělé inteligenci
- Idioma
- Checo
- Autores
- Alena Lukášová
- Editorial
- Computer Press
- Publicado en
- 2003
- Formato
- Tapa blanda
- Páginas
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Serie
- Etiquetas
- No ficción, Libros de texto, Ciencia
- Descripción
- 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.