Sinopsis
Mathematical logic is a fundamental tool in computer science which has wide and significant applications. Recently, there has been a move towards using logic as a programming language and the considerable interest in Prolog can be seen as a step in this direction. Although formal logic is clearly a fundamental part of any degree programme, most of the current texts are designed for third year undergraduate or postgraduate mathematicians. This text is designed specifically for undergraduates and, together with "A First Course in Formal Language Theory" and "A First Course in Computability", both by V. J. Rayward-Smith, it covers the important theory which should be in any computer science degree course.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Mathematical logic is a fundamental tool in computer science which has wide and significant applications. Recently, there has been a move towards using logic as a programming language and the considerable interest in Prolog can be seen as a step in this direction. Although formal logic is clearly a fundamental part of any degree programme, most of the current texts are designed for third year undergraduate or postgraduate mathematicians. This text is designed specifically for undergraduates and, together with "A First Course in Formal Language Theory" and "A First Course in Computability", both by V. J. Rayward-Smith, it covers the important theory which should be in any computer science degree course.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para First Course in Formal Logic and Its Applications in...
Imagen del vendedor
First Course in Formal Logic and Its Applications in Computer Science - Computer Science Texts
Publicado por
Alfred Waller Ltd, Henley, 1994
ISBN 10: 0632013087
ISBN 13: 9780632013081
Antiguo o usado
Soft cover
Original o primera edición
Librería: CURIO, Cleethorpes, North East Lincolnshire, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Soft cover. Condición: Very Good. No Jacket. 1st Edition. First Edition / Second Print (first printed 1986). Paperback copy, no dustjacket as issued. 265pp. Diagrams throughout. Not library copy, no inscriptions, no creasing to spine. (13/7). Nº de ref. del artículo: ABE-1530253101225
Comprar usado
EUR 47,64
Envío por EUR 34,69
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles