TY - BOOK ID - 1499250 TI - Elements of finite model theory PY - 2004 SN - 3540212027 3642059481 3662070030 PB - Berlin ; New York : Springer, DB - UniCat KW - Computer science KW - Model theory. KW - 681.3*F4 KW - 681.3*F1 KW - 681.3*H2 KW - 681.3*F3 KW - Logic, Symbolic and mathematical KW - Mathematical logic and formal languages (Theory of computation) KW - Computation by abstract devices KW - Database management: security; integrity; protection--See also {?681.5*E5} KW - Logics and meanings of programs (Theory of computation) KW - Model theory KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} KW - 681.3*F1 Computation by abstract devices KW - 681.3*F4 Mathematical logic and formal languages (Theory of computation) KW - Mathematical logic. KW - Computers. KW - Algorithms. KW - Database management. KW - Mathematical Logic and Foundations. KW - Mathematical Logic and Formal Languages. KW - Computation by Abstract Devices. KW - Algorithm Analysis and Problem Complexity. KW - Database Management. KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Algorism KW - Algebra KW - Arithmetic KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Foundations KW - Informatique KW - Computer science. KW - Logique mathématique KW - Théorie des modèles UR - https://www.unicat.be/uniCat?func=search&query=sysid:1499250 AB - This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraïssé games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory. This book can be used both as an introduction to the subject, suitable for a one- or two-semester graduate course, or as reference for researchers who apply techniques from logic in computer science. ER -