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. 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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼