Formální logika v umělé inteligenci
Učebnicová struktura textu, tj. stručný výklad, definice a příklady, zcela jasně odráží autorčin záměr nábídnout studentské veřejnosti standardní, ale přitom živý nástroj k výuce formální logiky. Ústředním tématem knihy je postihnutí vzájemného vztahu mezi oblastí rozvoje umělé inteligence a jazykem logiky, tj. v tomto případě … celý popis
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- ix, 269 s. : il. ; 23 cm
- Vydáno
-
Brno :
Computer Press,
2003
- Vydání
- Vyd. 1.
- Témata
- Bibliografie
- Obsahuje bibliografii a rejstřík
- ISBN
- 80-251-0023-5
| Cíl | Přístupnost | Odkaz | Zdroj odkazu |
|---|---|---|---|
| Digitální knihovna | DNNT: Dostupné pro registrované | Digitalizovaný dokument | Moravská zemská knihovna v Brně - Kramerius |
| Digitální knihovna | DNNT: Dostupné pro registrované | Digitalizovaný dokument | Národní digitální knihovna |