Elements of finite model theory/ Libkin,Leonid
Material type:
TextPublication details: Berlin: Springer, c2004Description: xiv, 315 pISBN: 3540212027DDC classification: 510
Contents:
1 Introduction.- 2 Preliminaries.- 3 Ehrenfeucht-Fraisse Games.- 4 Locality and Winning Games.- 5 Ordered Structures.- 6 Complexity of First-Order Logic.- 7 Monadic Second-Order Logic and Automata.- 8 Logics with Counting.- 9 Turing Machines and Finite Models.- 10 Fixed Point Logics and Complexity Classes.- 11 Finite Variable Logics.- 12 Zero-One Laws.- 13 Embedded Finite Models.- 14 Other Applications of Finite Model Theory.- References.- List of Notation.- Name Index.
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
General Books
|
Central Library, Sikkim University General Book Section | 510 LIB/E (Browse shelf(Opens below)) | Available | P31281 |
Total holds: 0
Browsing Central Library, Sikkim University shelves, Shelving location: General Book Section Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 510 KAP/M Mathematical Modelling | 510 LAI/T Transient Chaos/ | 510 LAR/P Problem-solving through problems/ | 510 LIB/E Elements of finite model theory/ | 510 LIC/R Regular and chaotic dynamics/ | 510 LIN/I Introdyction to coding theory/ | 510 LUP/M Mathematical optimization and economic analysis/ |
1 Introduction.- 2 Preliminaries.- 3 Ehrenfeucht-Fraisse Games.- 4 Locality and Winning Games.- 5 Ordered Structures.- 6 Complexity of First-Order Logic.- 7 Monadic Second-Order Logic and Automata.- 8 Logics with Counting.- 9 Turing Machines and Finite Models.- 10 Fixed Point Logics and Complexity Classes.- 11 Finite Variable Logics.- 12 Zero-One Laws.- 13 Embedded Finite Models.- 14 Other Applications of Finite Model Theory.- References.- List of Notation.- Name Index.
There are no comments on this title.