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

book

214 775 kníh na sklade ihneď k odoslaniu

wallet

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

store

Rezervácie v 60 kníhkupectvách


Hodnotenia (0)

0

Odporúčania