Number of the records: 1
Formální logika v umělé inteligenci
Lukasová, Alena, 1936- - Author
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čkyTitle statement Formální logika v umělé inteligenci / Alena Lukasová Main entry-name Lukasová, Alena, 1936- (Author) Edition statement Vyd. 1. Issue data Brno : Computer Press, 2003 Phys.des. ix, 269 s. : il. ; 23 cm ISBN 80-251-0023-5 Kč 199,00 National bibl. num. cnb001290614 Note K DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings formální logika * výroková logika * predikátová logika * znalostní systémy Form, Genre příručky Conspect 16 - Logika UDC 004.82 , 164 , 164.1 , 164.2 , (035) Country Česko Language čeština Document kind BOOKS 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 PrazeLoading…
Number of the records: 1