Bookbot

Formální logika v umělé inteligenci

Parámetros

  • 280 páginas
  • 10 horas de lectura

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.

Actualmente hay del libro Formální logika v umělé inteligenci (2003) en stock.

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),
Estado del libro
Bueno
Precio
26,99 €

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña