Donald W. Loveland's Books

Three Views of Logic

Mathematics, Philosophy, and Computer Science

By: Donald W. Loveland,Richard Hodel,S. G. Sterrett

Write a review Read reviews Take a Quiz Solve Book Puzzle

Three Views of Logic

Mathematics, Philosophy, and Computer Science

By: Donald W. Loveland,Richard Hodel,S. G. Sterrett

The first interdisciplinary textbook to introduce students to three critical areas in applied logic Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

339

Publisher

Princeton University Press

Published Date

ISBN 10

140084875X

ISBN 13

9781400848751

The Art of Computer Programming

Seminumerical Algorithms, Volume 2

By: Donald E. Knuth

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Art of Computer Programming

Seminumerical Algorithms, Volume 2

By: Donald E. Knuth

The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming. –Byte, September 1995 I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line-up. –Charles Long If you think you're a really good programmer... read [Knuth's] Art of Computer Programming... You should definitely send me a resume if you can read the whole thing. –Bill Gates It's always a pleasure when a problem is hard enough that you have to get the Knuths off the shelf. I find that merely opening one has a very useful terrorizing effect on computers. –Jonathan Laventhol The second volume offers a complete introduction to the field of seminumerical algorithms, with separate chapters on random numbers and arithmetic. The book summarizes the major paradigms and basic theory of such algorithms, thereby providing a comprehensive interface between computer programming and numerical analysis. Particularly noteworthy in this third edition is Knuth's new treatment of random number generators, and his discussion of calculations with formal power series. Ebook (PDF version) produced by Mathematical Sciences Publishers (MSP),http://msp.org

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

1092

Publisher

Addison-Wesley Professional

Published Date

ISBN 10

0321635760

ISBN 13

9780321635761

Mechanizing Proof

Computing, Risk, and Trust

By: Donald MacKenzie

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mechanizing Proof

Computing, Risk, and Trust

By: Donald MacKenzie

Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof—the need to predict the behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

448

Publisher

MIT Press

Published Date

ISBN 10

0262632950

ISBN 13

9780262632959

Book's by Donald W. Loveland

Three Views of Logic

Three Views of Logic

The Art of Computer Programming

The Art of Computer Programming

Mechanizing Proof

Mechanizing Proof

Username

Password

Username

Password

Password again

Birthday

Email