close
1.

図書
図書
1. The science of programming (: U.S. : hardcover - : Ger. : softcover)
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：
2.

図書
図書
2. Inside computer understanding : five programs plus miniatures
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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼