close
1.

図書
図書
1. Mathematical foundations of programming
Frank S. Beckman
出版情報: Reading, MA : Addison-Wesley, c1980  xviii, 443 p. ; 25 cm
シリーズ名: The systems programming series
所蔵情報: loading…
2.

図書
図書
2. Introduction to logic for systems modelling
by Václav Pinkava
出版情報: Cambridge, Mass. : Abacus Press, 1988  132 p. ; 25 cm
所蔵情報: loading…
3.

図書
図書
3. Logic, computers, and sets
Wang, Hao, 1921-
出版情報: New York : Chelsea Pub. Co, [1970]  x, 651 p ; 24 cm
所蔵情報: loading…
4.

図書
図書
4. Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2500
所蔵情報: loading…
5.

図書
図書
5. Elements of the theory of computation (: UK)
Harry R. Lewis, Christos H. Papadimitriou
出版情報: Englewood Cliffs, N.J. : Prentice-Hall , London : Prentice-Hall International, c1981  xiv, 466 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
目次情報: 続きを見る
Sets, Relations, and Languages / 1：
Finite Automata / 2：
Context-Free Languages / 3：
Turing Machines / 4：
Church's Thesis / 5：
Uncomputability / 6：
Computational Complexity / 7：
The Propositional Calculus / 8：
The Predicate Calculus / 9：
Sets, Relations, and Languages / 1：
Finite Automata / 2：
Context-Free Languages / 3：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼