Formální logika v umělé inteligenci bazar
Alena Lukasová
nehodnoceno
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.... celý text
Bazar (0)
Zatím zde není žádný nabídkový inzerát.
Když se přihlásite, můžete vložit poptávkový inzerát.
Další zajímavé inzeráty v bazaru z kategorie Učebnice a slovníky
Angličtina (nejen) pro samouky
100 Kč
Abeceda: nové s písankou
120 Kč
Fyzika pro gymnázia - Elektřina a magnetismus
40 Kč
Anatomie 3
180+60 pošta Kč
Autorovy další knížky
2003 | Formální logika v umělé inteligenci |
2019 | Formální logika a sémantický web |