By Leonid Libkin
The booklet is an creation to finite version concept that stresses laptop technological know-how origins of the realm. as well as proposing the most suggestions for studying logics over finite types, the publication offers largely with functions in databases, complexity idea, and formal languages, in addition to different branches of desktop technology. It covers Ehrenfeucht-Fraïssé video games, locality-based suggestions, complexity research of logics, together with the fundamentals of descriptive complexity, second-order common sense and its fragments, connections with finite automata, mounted aspect logics, finite variable logics, zero-one legislation, embedded finite types, and offers a quick journey of lately chanced on purposes of finite version theory.
This e-book can be utilized either as an advent to the topic, compatible for a one- or two-semester graduate direction, or as reference for researchers who observe strategies from common sense in laptop science.
Table of contents: 1. creation — 2. Preliminaries — three. Ehrenfeucht-Fraisse video games — four. Locality and profitable video games — five. Ordered constructions — 6. Complexity of First-Order good judgment — 7. Monadic Second-Order good judgment and Automata — eight. Logics with Counting — nine. Turing Machines and Finite versions — 10. mounted aspect Logics and Complexity periods — eleven. Finite variable logics — 12. Zero-one legislation — thirteen. Embedded Finite versions — 14. different functions of finite version thought