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.
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Maße
Höhe: 240 mm
Breite: 180 mm
Dicke: 25 mm
Gewicht
ISBN-13
978-0-13-770009-7 (9780137700097)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
The syntactic landscape; reduction; first-order logic; models; equational logic; resolution; the computable landscape.
