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

COMPUTATION AS LOGIC

Rene LALEMENT
(translated by John Plaice)

Series: Prentice Hall international series in computer science

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

Bibliographic :

DESCRIPTION:

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.


Back Top Changed 20/01/1997. Comments: monika@cs.ioc.ee