ENGLISH

Computation as logic

By John Plaice , Rene Lalement

Book information

Publisher
Prentice Hall
Year
1993
ISBN
0-13-770009-1, 9780137700097
Language
english
Format
DJVU
Filesize
3 MB (2971285 bytes)
Series
Prentice Hall International Series in Computer Science
Pages
399\399
Library
kolxoz
DPI
400
Time added
2015-12-12 14:00:00

Description

Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity

Similar books