Artículos relacionados a Mathematical Logic for Computer Science (Prentice-hall...

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science) - Tapa blanda

Ben-Ari, M.

 
9780135641392: Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

Sinopsis

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.

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

Reseña del editor

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.

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