Subject Area: CS Basics (Logics, Discrete Mathematics) in CIDEC Library.

COMPUTATION AS LOGIC

Series: Prentice Hall international series in computer science

Publisher : Prentice Hall - Paris : Masson ; Hemel, Hempstead ; Englewood Cliffs, NJ

Bibliographic :

• Paperback
• ISBN: 0-13-770009-1
• August, 1993, © 1993
• xi, 387 p. : ill. ; 24 cm
• Dewey No.: 005.1 20

• Logic programming. * Functional programming (Computer science) * Logic, Symbolic and mathematical.
• Logic Programming

Logic plays an important role in the two areas of computer science; reduction and resolution, respectively associated with functional programming and logic programming.

KEY BENEFIT: This book illustrates that logic is not only a language in which to accurately state facts or knowledge (as in Artificial Intelligence) but also that programming itself is a logical activity.

CONTENTS:

Includes bibliographical references (p. 370-377) and index.