책 이미지
eBook 미리보기
책 정보
· 제목 : Finite Model Theory: Second Edition (Hardcover, 2, Revised)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540287872
· 쪽수 : 360쪽
· 출판일 : 2005-10-06
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9783540287872
· 쪽수 : 360쪽
· 출판일 : 2005-10-06
목차
Preliminaries.- The Ehrenfeucht-Fraisse 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.
