Bookbot

Formální logika v umělé inteligenci

Parameters

  • 280bladzijden
  • 10 uur lezen

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.

We hebben in totaal boeken Formální logika v umělé inteligenci (2003) op voorraad.

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),
Staat van het boek
Goed
Prijs
€ 26,99

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief