Miláčik čitateľov je práve vypredaný
Viac 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.
Nákup knihy
Formální logika v umělé inteligenci, Alena Lukasová
- Jazyk
- Rok vydania
- 2003
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
- Titul
- Formální logika v umělé inteligenci
- Jazyk
- česky
- Autori
- Alena Lukasová
- Vydavateľ
- Computer Press
- Rok vydania
- 2003
- Väzba
- mäkká
- Počet strán
- 280
- ISBN10
- 8025100235
- ISBN13
- 9788025100233
- Série
- Štítky
- Náučná literatúra, Učebnice, Veda
- Anotácia
- 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.