» » The Deductive Foundations of Computer Programming

Download The Deductive Foundations of Computer Programming fb2

by Richard Waldinger,Zohar Manna

Richard_Waldinger Zohar_Manna Hardware_and_DIY English
  • ISBN: 0201548860
  • Category: Technology
  • Author: Richard Waldinger,Zohar Manna
  • Subcategory: Hardware & DIY
  • Other formats: azw mobi rtf docx
  • Language: English
  • Publisher: Addison-Wesley Professional; 1 edition (March 10, 1993)
  • Pages: 736 pages
  • FB2 size: 1912 kb
  • EPUB size: 1919 kb
  • Rating: 4.7
  • Votes: 545
Download The Deductive Foundations of Computer Programming fb2
Download FB2 Download EPUB

The Deductive Foundations. has been added to your Cart. The book is also full of exercises and problems. I do recommend this book for students of Computer Science and Mathematics who want to start learning about automated deductive systems and axiomatic theories.

The Deductive Foundations. 8 people found this helpful.

The Deductive Foundations of Computer Programming a One-Volume Version of" the Logical Basis for Computer Programming". Z Manna, R Waldinger. Reasoning about programs. RJ Waldinger, KN Levitt. Artificial Intelligence 5 (3), 235-316, 1974.

The book addresses itself to computer scientists in particular by presenting a "machine-oriented " resolution-based proof system based on "deductive tableaux" (DT's), and by including ax-iomatic theories for such concepts as pairs, tuples (. lists), trees, and several types of sorting. The DT system is not used in constructing proofs within the axiomatic theories. The book is a one-volume version of the earlier two-volume The Logical Basis for Compute r Programming

Department of Computer Science, The University of North Texas. This note discusses some implications of allowing programs to inspect their continuations.

Department of Computer Science, The University of North Texas. Published in: · Newsletter. ACM SIGACT News Homepage archive. Volume 25 Issue 2, June 1994 Pages 26-27 ACM New York, NY, USA table of contents doi 10. Powered by. The ACM Digital Library is published by the Association for Computing Machinery.

The Deductive Foundations of Computer Programming a One-Volume Version of "the Logical Basis for Computer . All rights reserved by The PhilPapers Foundation. Page generated Sat Dec 7 22:21:47 2019 on pp1.

The Deductive Foundations of Computer Programming a One-Volume Version of "the Logical Basis for Computer Programming". Zohar Manna & Richard Waldinger - 1993. Lectures on the Logic of Computer Programming. Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214. Foundations of Logic Programming. J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289. A Method of Programming. Edsger Wybe Dijkstra, W. H. Feijen & Joke Sterringa - 1988.

Addison-Wesley Publishing Company, Reading, Mass. et. 1985, xii + 618 p. anna Zohar and Waldinger Richard. MannaZohar and WaldingerRichard. The logical basis for computer programming. Volume I. Deductive reasoning. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass. 1985, xii + 618 pp.

Manna . Waldinger R. (1985) Deduction with relation matching. eds) Foundations of Software Technology and Theoretical Computer Science.

Manna and R. Waldinger, Deductive synthesis of the unification algorithm, Science of Computer Programming, Vol. 1, 1981, pp. 5–48. CrossRefGoogle Scholar. Z. Manna and R. Waldinger, Special relations in program-synthetic deduction, Technical Report, Computer Science Department, Stanford University, Stanford, Calif. Manna and Waldinger Manna . Lecture Notes in Computer Science, vol 206.


Reviews about The Deductive Foundations of Computer Programming (2):
ME
This book is a good introductory catalog of automated reasoning concepts and methods. But I believe that programmers who are going to write automated reasoning systems should augment their computer knowledge (of logic) by learning a full- blown (serial, not tree) logical notation for both 1st and 2nd order predicate calculus.
Solving the inference problem is NP-Complete, and computational cycles explode as the number of premisses increase. Automated methods of solving the inference problem are often O(n^2) and often infeasible, for "real-world" problems. Most programmers don't have a broad enough horizon in formal logic to quickly recognize WHEN a certain automated technique will be useful.
I suggest a symbolic logic text such as Copi's Symbolic Logic, 5th ed., and then aggressively read about optimizing methods which are currently being developed (ex. Optimization Methods for Logical Inference, Chandru et alia).
However, as an introduction, the reviewed book is excellent.
Fordrekelv
I really liked this book. It is full of examples, and the explanations are clear and concise. The book guides you through predicate logic and first order logic and procedures for automated deductive systems for them. No previous knowledge is assumed. The book is also full of exercises and problems.
I do recommend this book for students of Computer Science and Mathematics who want to start learning about automated deductive systems and axiomatic theories.

Related to The Deductive Foundations of Computer Programming fb2 books: