A First Course in Formal Logic and Its Applications in Computers Science - Couverture souple

Dowsing, R. D.; Etc.; Rayward-Smith, V.J; Walter, C.D

 
9780632013081: A First Course in Formal Logic and Its Applications in Computers Science
Couverture souple
ISBN 10 : 0632013087 ISBN 13 : 9780632013081
Editeur : Alfred Waller Ltd, 1986

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Alfred Waller Ltd
Date d'édition
1986
Langue
anglais
ISBN 10 
0632013087
ISBN 13 
9780632013081
Reliure
Broché
Nombre de pages
272
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780632016129: First Course in Formal Logic and Its Applications in Computer Science

Edition présentée

ISBN 10 :  0632016124 ISBN 13 :  9780632016129
Editeur : Blackwell Science Ltd, 1986
Couverture rigide