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 |
|---|
| Náhledy |
|---|
      |