• Počet strán: 280
  • Väzba: mäkká, brožovaná
  • EAN: 9788025100233
  • Jazyk: český
  • ISBN: 8025100235

Formální logika v umělé inteligenci

Alena Lukasová

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.
  • Počet strán: 280
  • Väzba: mäkká, brožovaná
  • EAN: 9788025100233
  • Jazyk: český
  • ISBN: 8025100235

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.

menej

Kniha

212 695 kníh na sklade ihneď k odoslaniu

wallet

Poštovné zadarmo pre nákupy od 39€

store

Rezervácie v 61 kníhkupectvách


Hodnotenia (0)

Produkt ešte nemá recenzie

Only registered users can write reviews. Please or create an account