책 이미지
eBook 미리보기
책 정보
· 제목 : Elements of Finite Model Theory (Hardcover, 2004)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783540212027
· 쪽수 : 318쪽
· 출판일 : 2004-07-02
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783540212027
· 쪽수 : 318쪽
· 출판일 : 2004-07-02
목차
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.
