close
1.

図書

図書
D.E. Knuth著 ; 渋谷政昭訳
出版情報: 東京 : サイエンス社, 1981.10  8, 259p ; 22cm
シリーズ名: The art of computer programming ; 3 . 準数値算法||ジュンスウチ サンポウ
所蔵情報: loading…
2.

図書

図書
J.L.ファルツ著 ; 間野浩太郎監訳
出版情報: 東京 : マグロウヒル好学社, 1981.1  xii, 449p ; 22cm
所蔵情報: loading…
3.

図書

図書
中西正和著
出版情報: 東京 : 近代科学社, 1981.1  ix, 233p ; 22cm
シリーズ名: コンピュータサイエンス大学講座 ; 1
所蔵情報: loading…
4.

図書

図書
J.D. ウルマン著 ; 浦昭二, 益田隆司訳
出版情報: 東京 : 培風館, 1981.9  viii, 389p ; 22cm
シリーズ名: 情報処理シリーズ ; 1
所蔵情報: loading…
5.

図書

図書
A. Bundy編 ; 長尾真監訳
出版情報: 東京 : 近代科学社, 1981.12  iv, 302p ; 21cm
所蔵情報: loading…
6.

図書

図書
David Gries
出版情報: New York : Springer-Verlag, c1981  xiii, 366 p. ; 24 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
目次情報: 続きを見る
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
A Natural Deduction System / 3:
Predicates / 4:
Notations and Conventions for Arrays / 5:
Using Assertions to Document Programs / 6:
The Semantics of a Small Language / Part 2:
The Predicate Transformer wp / 7:
The Commands Skip, Abort and Composition / 8:
The Assignment Command / 9:
The Alternative Command / 10:
Procedure Call / 12:
The Iterative Command / 11:
The Development of Programs / Part 3:
Introduction / 13:
Programming as a Goal-Oriented Activity / 14:
Developing Loops From Invariants and Bounds / 15:
Developing Invariants / 16:
Notes on Bound Functions / 17:
Using Iteration Instead of Recursion / 18:
Efficiency Considerations / 19:
Two Larger Examples of Program Development / 20:
Inverting Programs / 21:
Notes on Documentation / 22:
Historical / 23:
Notes
Appendix 1-4
Answers to Exercises
References
Index
Why Use Logic? Why Prove Programs Correct? / Part 0:
Propositions / Part 1:
Reasoning Using Equivalence Transformations / 2:
7.

図書

図書
edited by Roger C. Schank, Christopher K. Riesbeck
出版情報: Hillsdale, N.J. : Lawrence Erlbaum Associates, 1981  xii, 386 p. ; 24 cm
シリーズ名: The Artificial intelligence series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Our Approach to Artificial Intelligence / 1:
The Theory Behind the Programs: Conceptual Dependency / 2:
The Theory Behind the Programs: a Theory of Context / 3:
Lisp / 4:
Sam / 5:
Micro Sam / 6:
Pam / 7:
Micro Pam / 8:
Tale-Spin / 9:
Micro Tale-Spin / 10:
Politics / 11:
Micro Politics / 12:
Conceptual Analysis of Natural Language / 13:
Micro Eli / 14:
Bibliography
Author Index
Preface
Our Approach to Artificial Intelligence / 1:
The Theory Behind the Programs: Conceptual Dependency / 2:
8.

図書

図書
中田育男著
出版情報: 東京 : 産業図書, 1981.9  viii, 278p ; 22cm
シリーズ名: コンピューターサイエンス・ライブラリー
所蔵情報: loading…
9.

図書

図書
R. バード著 ; 土居範久訳
出版情報: 東京 : 培風館, 1981.12  vi, 252p ; 22cm
シリーズ名: 情報処理シリーズ ; 3
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼