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 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Finite model theory
Autor: Ebbinghaus, Heinz-Dieter
Rok: 1999
ISBN: 9783540287872
OKCZID: 110034077
Vydání: Second revised and enlarged
Citace (dle ČSN ISO 690):
EBBINGHAUS, Heinz-Dieter. Finite model theory. 2nd revised and enlarge ed. 1999. New York: Springer, 2006. xi, 360 s. Springer monographs in mathematics.
Anotace
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read ipendently. This second edition is a thoroughly revised and enlarged version of the original text.
Zdroj anotace: OKCZ - ANOTACE Z WEBU