Articoli correlati a A First Course in Formal Logic and Its Applications...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Dowsing R D RaywardSmith V J Walter Colin D
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreAlfred Waller Ltd
- Data di pubblicazione1986
- ISBN 10 0632013087
- ISBN 13 9780632013081
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine272
- Contatto del produttorenon disponibile
Risultati della ricerca per A First Course in Formal Logic and Its Applications...
Foto dell'editore
First Course in Formal Logic
Editore:
Wiley & Sons, Incorporated, John, 1808
ISBN 10: 0632013087
ISBN 13: 9780632013081
Antico o usato
Brossura
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. Codice articolo 50392291-20
Quantità: 1 disponibili
Foto dell'editore
First Course in Formal Logic and Its Applications in Computer Science
Editore:
McGraw-Hill Education - Europe, United Kingdom, Oxford, 1986
ISBN 10: 0632013087
ISBN 13: 9780632013081
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR001028542
Quantità: 1 disponibili
Foto dell'editore
First Course in Formal Logic and Its Applications in Computer Science
Editore:
Alfred Waller Ltd 01/10/1986, 1986
ISBN 10: 0632013087
ISBN 13: 9780632013081
Antico o usato
Brossura
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Codice articolo 7719-9780632013081
Quantità: 2 disponibili
Foto dell'editore
First Course in Formal Logic and Its Applications in Computer Science
Editore:
Alfred Waller Ltd 01/10/1986, 1986
ISBN 10: 0632013087
ISBN 13: 9780632013081
Antico o usato
Brossura
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Codice articolo 6545-9780632013081
Quantità: 2 disponibili
Immagini fornite dal venditore
First Course in Formal Logic and Its Applications in Computer Science - Computer Science Texts
Editore:
Alfred Waller Ltd, Henley, 1994
ISBN 10: 0632013087
ISBN 13: 9780632013081
Antico o usato
Soft cover
Prima edizione
Da: CURIO, Grimsby, N. E. Lincolnshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: 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). Codice articolo ABE-1530253101225
Quantità: 1 disponibili