Počet záznamů: 1
Formální logika v umělé inteligenci
kniha
Lukasová, Alena, 1936- - Autor
Vyd. 1. - Brno : Computer Press, 2003 - ix, 269 s. : il. ; 23 cm
ISBN 80-251-0023-5
formální logika výroková logika predikátová logika znalostní systémy
příručkyÚdaje o názvu Formální logika v umělé inteligenci / Alena Lukasová Záhlaví-jméno Lukasová, Alena, 1936- (Autor) Údaje o vydání Vyd. 1. Vyd.údaje Brno : Computer Press, 2003 Fyz.popis ix, 269 s. : il. ; 23 cm ISBN 80-251-0023-5 Kč 199,00 Číslo nár. bibl. cnb001290614 Poznámky K DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla formální logika * výroková logika * predikátová logika * znalostní systémy Forma, žánr příručky Konspekt 16 - Logika MDT 004.82 , 164 , 164.1 , 164.2 , (035) Země vyd. Česko Jazyk dok. čeština Druh dok. KNIHY 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. Zdroj anotace: Městská knihovna v PrazeNačítání…
Počet záznamů: 1