<電子ブック>
Finite Model Theory : Second Edition / by Heinz-Dieter Ebbinghaus, Jörg Flum
(Springer Monographs in Mathematics. ISSN:21969922)
版 | 2nd ed. 1995. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1995 |
本文言語 | 英語 |
大きさ | XIII, 362 p : online resource |
著者標目 | *Ebbinghaus, Heinz-Dieter author Flum, Jörg author SpringerLink (Online service) |
件 名 | LCSH:Mathematical logic LCSH:Machine theory FREE:Mathematical Logic and Foundations FREE:Formal Languages and Automata Theory |
一般注記 | Preliminaries -- The Ehrenfeucht-Fraïssé Method -- More on Games -- 0-1 Laws -- Satisfiability in the Finite -- Finite Automata and Logic: A Microcosm of Finite Model Theory -- Descriptive Complexity Theory -- Logics with Fixed-Point Operators -- Logic Programs -- Optimization Problems -- Logics for PTIME -- Quantifiers and Logical Reductions Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of formalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, settheoretic, . . . ) properties of its models on the other hand. As it turned out, first-order language (we mostly speak of first-order logic) became the most prominent language in this respect, the reason being that it obeys some fundamental principles such as the compactness theorem and the completeness theorem. These principles are valuable modeltheoretic tools and, at the same time, reflect the expressive weakness of first-order logic. This weakness is the breeding ground for the freedomwhich modeltheoretic methods rest upon. By compactness, any first-order axiom system either has only finite models of limited cardinality or has infinite models. The first case is trivial because finitely many finite structures can explicitly be described by a first-order sentence. As model theory usually considers all models of an axiom system, modeltheorists were thus led to the second case, that is, to infinite structures. In fact, classical model theory of first-order logic and its generalizations to stronger languages live in the realm of the infinite HTTP:URL=https://doi.org/10.1007/3-540-28788-4 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540287889 |
|
電子リソース |
|
EB00234411 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA8.9-10.3 DC23:511.3 |
書誌ID | 4000107883 |
ISBN | 9783540287889 |
類似資料
この資料の利用統計
このページへのアクセス回数:8回
※2017年9月4日以降