Počet záznamů: 1  

Formální logika v umělé inteligenci


  1.  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
    Formální logika v umělé inteligenci
    Údaje o názvuFormální logika v umělé inteligenci / Alena Lukasová
    Záhlaví-jméno Lukasová, Alena, 1936- (Autor)
    Údaje o vydáníVyd. 1.
    Vyd.údajeBrno : Computer Press, 2003
    Fyz.popisix, 269 s. : il. ; 23 cm
    ISBN80-251-0023-5 Kč 199,00
    Číslo nár. bibl.cnb001290614
    PoznámkyK DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ
    Poznámky o skryté bibliografii a rejstřícíchObsahuje 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
    Konspekt16 - Logika
    MDT 004.82 , 164 , 164.1 , 164.2 , (035)
    Země vyd.Česko
    Jazyk dok.čeština
    Druh dok.KNIHY
    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ě reprezentací znalostí formálně logickými prostředky. Zdroj anotace: Městská knihovna v Praze
    Načítání…

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.