Formální logika v umělé inteligenci
Vydání: Computer Press 2003 | Jazyk: čeština | Signatura: L 11346
Učební texty ke studiu formální logiky se zaměřením na využití v oblasti informatiky.
Podrobnosti tohoto vydání
Obsah
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.
Popis | |
---|---|
Čtenářská kategorie | kniha |
Záhlaví | LUKASOVÁ, Alena |
Název | Formální logika v umělé inteligenci |
Autor | Alena Lukasová |
Vydání | Vyd. 1 |
Měřítko | |
Místo vydání | Brno |
Země vydání | Česko |
Nakladatel | Computer Press |
Rok vydání | 2003 |
Rozsah | 269 s. |
Durata | |
Vybavení | obr., tab. |
Rozměry | 23 cm |
Počet stran | 269 |
Doprovodný materiál | |
Poznámka | |
ISBN | 80-251-0023-5 |
Cena | 199 |
Obsahová char. "OCH" | L5a |
Obsah OCHu | Logika všeobecně. Základy logiky. Pojem. Soud. Výpověď. Závěry. Zákony logiky. Formální logika. |
Lístek
MARC |
---|