Frohe Weihnachten und wunderbare Buchmomente!

Bookbot
1/5

Formální logika v umělé inteligenci

Autoren

Mehr zum Buch

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.

Parameter

ISBN
9788025100233

Kategorien

Buchvariante

2003, paperback

Buchkauf

Wir benachrichtigen dich per E-Mail.