Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.
Sprache
Verlagsort
Verlagsgruppe
Pearson Education Limited
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
Höhe: 235 mm
Breite: 172 mm
Gewicht
ISBN-13
978-0-13-564139-2 (9780135641392)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Propositional calculus; predicate calculus; resolution and logic programming; temporal logic; formalization of programs.
