Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2897955 obálek a 875375 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Formální logika v umělé inteligenci

Autor: Lukasová, Alena
Rok: 2003
ISBN: 9788025100233
NKP-CNB: cnb001290614
OCLC Number: (OCoLC)56848957
OKCZID: 110016436

Citace (dle ČSN ISO 690):
LUKASOVÁ, Alena. Formální logika v umělé inteligenci. Vyd. 1. Brno: Computer Press, 2003. ix, 269 s.


Digitální objekty

Moravská zemská knihovna v Brně (dostupné pouze v této knihovně)
Národní digitální knihovna (dostupné pouze v této knihovně)



Anotace

Upravit anotaci
 

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



Dostupné zdroje

Městská knihovna v Praze
Můj antikvariát
Československá bibliografická databáze
KNIHCENTRUM.cz


Přidat komentář a hodnocení

Od: (127.0.0...)