Verwandte Artikel zu Logic for Computer Science (International Computer...
Reseña del editor
An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagPearson Education Limited
- Erscheinungsdatum1990
- ISBN 10 0201416433
- ISBN 13 9780201416435
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten368
Suchergebnisse für Logic for Computer Science (International Computer...
Beispielbild für diese ISBN
Logic for Computer Science (International Computer Science Series)
Verlag:
Addison-Wesley (edition ), 1990
ISBN 10: 0201416433
ISBN 13: 9780201416435
Gebraucht
Paperback
Anbieter: BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Bestandsnummer des Verkäufers 0201416433-11-1
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science
Verlag:
Addison Wesley Publishing Company, 1990
ISBN 10: 0201416433
ISBN 13: 9780201416435
Gebraucht
Paperback
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1. Bestandsnummer des Verkäufers G0201416433I3N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science
Verlag:
Addison Wesley Publishing Company, 1990
ISBN 10: 0201416433
ISBN 13: 9780201416435
Gebraucht
Paperback
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1. Bestandsnummer des Verkäufers G0201416433I3N00
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic for Computer Science (International Computer Science Series)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Bestandsnummer des Verkäufers wbs5361144348
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-576-034
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science (International Computer Science Series)
Verlag:
Pearson Education (US), United States, Boston, 1990
ISBN 10: 0201416433
ISBN 13: 9780201416435
Gebraucht
Paperback
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bestandsnummer des Verkäufers GOR003170520
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-731-918
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science (International Computer Science Series)
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Good. Good. book. Bestandsnummer des Verkäufers D8S0-3-M-0201416433-6
Anzahl: 1 verfügbar