Verwandte Artikel zu Logic for Computer Scientists (Modern Birkhäuser Classics)

Logic for Computer Scientists (Modern Birkhäuser Classics)

3,28 durchschnittliche Bewertung
( 18 Bewertungen bei Goodreads )
 
9780817647629: Logic for Computer Scientists (Modern Birkhäuser Classics)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 

Book by Schning Uwe

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Críticas:

"This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists.... Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline.... I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow.... This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level."   ―SIGACT News

"Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming."   ―Mathematical Reviews

"This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence."   ―Zentralblatt MATH

Reseña del editor:

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Versand: Gratis
Von Vereinigtes Königreich nach USA

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9780817634537: Logic for Computer Scientists: 8 (Progress in Computer Science and Applied Logic)

Vorgestellte Ausgabe

ISBN 10: 0817634533 ISBN 13: 9780817634537
Verlag: Birkhäuser, 1994
Hardcover

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

1.

Uwe Schoening
Verlag: BIRKHAUSER BOSTON INC, United States (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Paperback Anzahl: 10
Anbieter
The Book Depository
(London, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Paperback. Zustand: New. Language: English. Brand new Book. This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists. 1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989. Bestandsnummer des Verkäufers AAV9780817647629

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 54,35
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

2.

Uwe Sch?ning
Verlag: Birkh?user (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu PAP Anzahl: 15
Print-on-Demand
Anbieter
Paperbackshop-US
(Wood Dale, IL, USA)
Bewertung

Buchbeschreibung PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers LQ-9780817647629

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 57,84
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

3.

Schoning, Uwe
Verlag: Birkhäuser (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Softcover Anzahl: 5
Anbieter
GreatBookPrices
(Columbia, MD, USA)
Bewertung

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 5497454-n

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 55,79
Währung umrechnen

In den Warenkorb

Versand: EUR 2,22
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

4.

Schöning, Uwe
Verlag: Birkhäuser (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Softcover Anzahl: 1
Anbieter
GlassFrogBooks
(Hawthorne, CA, USA)
Bewertung

Buchbeschreibung Zustand: New. A+ Customer service! Satisfaction Guaranteed! Book is in NEW condition. Bestandsnummer des Verkäufers 0817647627-2-1

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 64,72
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

5.

Sch?ning, Uwe
Verlag: Birkh?user (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Softcover Anzahl: 1
Anbieter
GoldBooks
(Austin, TX, USA)
Bewertung

Buchbeschreibung Zustand: new. Bestandsnummer des Verkäufers think0817647627

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 64,45
Währung umrechnen

In den Warenkorb

Versand: EUR 3,36
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

6.

Schà ning, Uwe
Verlag: Birkhäuser (2017)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Paperback Anzahl: > 20
Print-on-Demand
Anbieter
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Paperback. Zustand: New. PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9780817647629_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 60,80
Währung umrechnen

In den Warenkorb

Versand: EUR 8,19
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

7.

Uwe Sch�ning
Verlag: Birkh�user 2008-11-01 (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Paperback Anzahl: 1
Anbieter
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-LSI-9780817647629

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 53,19
Währung umrechnen

In den Warenkorb

Versand: EUR 17,56
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

8.

Uwe Schoening
Verlag: Birkhauser Boston Inc, United States (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Paperback Anzahl: 10
Anbieter
Book Depository hard to find
(London, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Paperback. Zustand: New. Language: English. Brand new Book. This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists. 1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989. Bestandsnummer des Verkäufers BZV9780817647629

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 71,55
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

9.

Schoning, Uwe
Verlag: Birkhäuser (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Softcover Anzahl: 5
Anbieter
GreatBookPricesUK
(Castle Donington, DERBY, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 5497454-n

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 55,41
Währung umrechnen

In den Warenkorb

Versand: EUR 17,57
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

10.

Schöning, Uwe
Verlag: Birkhäuser (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Soft Cover Anzahl: 1
Print-on-Demand
Anbieter
booksXpress
(Freehold, NJ, USA)
Bewertung

Buchbeschreibung Soft Cover. Zustand: new. This item is printed on demand. Bestandsnummer des Verkäufers 9780817647629

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 74,29
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen