Computation As Logic

Name: Computation As Logic
Brand: Recyclivre
Author: . Lalement
ISBN: 9780137700097

. Lalement

01/05/1993
Prentice Hall

NC (0 avis)

Couverture de Computation As Logic par . Lalement

Résumé

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.