- Počet strán: 280
- Väzba: mäkká, brožovaná
- EAN: 9788025100233
- Jazyk: český
- ISBN: 8025100235
- Dátum vydania: 9. apríla 2006
- Vydavateľstvo : Computer Press
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.
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
- Dátum vydania: 9. apríla 2006
- Vydavateľstvo : Computer Press
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.
212 695 kníh na sklade ihneď k odoslaniu
Poštovné zadarmo pre nákupy od 39€
Rezervácie v 61 kníhkupectvách
Hodnotenia (0)
Produkt ešte nemá recenzie
Only registered users can write reviews. Please Sign in or create an account