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.
- Vydáno
-
Brno :
Computer Press,
2003
- Vydání
- Vyd. 1.
- Témata
- logika > formální logika > výroková logika > predikátová logika > klauzulární logika > formální > dedukce > logické > důsledky > umělá > inteligence > počítače > znalostní > systémy
- Bibliografie
- Obsahuje bibliografii a rejstřík
- ISBN
- 80-251-0023-5