Formální logika v umělé inteligenci
ilustračné foto

číslo produktu:59944

rezervuj

Formální logika v umělé inteligenci

Alena Lukasová

Rok vydania: 2003

Vydavateľ: Computer Press

Kniha je momentálne nedostupná.

V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.

O knihe:

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.

Podrobnosti o titule (výrobné údaje):

Vydavateľstvo: Computer Press

Rok vydania: 2003

Vydanie: 1

Počet strán: 270

Formát: 168 x 225

ISBN: 80-251-0023-5

(8025100235)

EAN: 9788025100233

Väzba: mäkká, bez prebalu

Orientačná váha: 443 g

Jazyk: cs