Formální logika v umělé inteligenci

To chci

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ě reprezentací znalostí formálně logickými prostředky. … celý popis

Podrobná bibliografie

Hlavní autor

Alena Lukasová, 1936-

Typ dokumentu

Knihy

Fyzický popis

269 s. : il. ; 22 cm

Vydáno

Brno : Computer Press, 2003

Vydání

Vyd. 1

Témata

formální logika > umělá inteligence > učebnice vysokých škol

Bibliografie

Obsahuje bibliografii a rejstřík.

ISBN

80-251-0023-5