Computation As Logic (Prentice Hall International Series in Computer Science) - Tapa dura

Lalement

 
9780137700097: Computation As Logic (Prentice Hall International Series in Computer Science)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.