Logic for Computer Scientists (Modern Birkhäuser Classics)

3,14 durchschnittliche Bewertung
( 14 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: EUR 5,69
Von Vereinigtes Königreich nach USA

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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

Beste Suchergebnisse bei AbeBooks

1.

Uwe Schöning
Verlag: Birkhäuser Boston 2008-01-11, Boston, [Mass.] (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu paperback Anzahl: > 20
Anbieter
Blackwell's
(Oxford, OX, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Birkhäuser Boston 2008-01-11, Boston, [Mass.], 2008. paperback. Zustand: New. Bestandsnummer des Verkäufers 9780817647629

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

Neu kaufen
EUR 48,63
Währung umrechnen

In den Warenkorb

Versand: EUR 5,69
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

2.

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

Buchbeschreibung Birkhäuser, 2017. 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 62,29
Währung umrechnen

In den Warenkorb

Versand: EUR 3,41
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

3.

Uwe Schöning
Verlag: Birkhäuser (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Paperback Anzahl: 1
Anbieter
Ergodebooks
(RICHMOND, TX, USA)
Bewertung

Buchbeschreibung Birkhäuser, 2008. Paperback. Zustand: New. Bestandsnummer des Verkäufers DADAX0817647627

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

Neu kaufen
EUR 64,87
Währung umrechnen

In den Warenkorb

Versand: EUR 3,65
Innerhalb USA
Versandziele, Kosten & Dauer

4.

Schöning, Uwe
Verlag: Brand: Birkhäuser (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Paperback Anzahl: 1
Anbieter
Book Deals
(Lewiston, NY, USA)
Bewertung

Buchbeschreibung Brand: Birkhäuser, 2008. Paperback. Zustand: BRAND NEW. Bestandsnummer des Verkäufers 0817647627_abe_bn

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

Neu kaufen
EUR 68,62
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer

5.

Uwe Schöning
Verlag: Birkhäuser Boston Jan 2008 (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Taschenbuch Anzahl: 1
Anbieter
Rheinberg-Buch
(Bergisch Gladbach, Deutschland)
Bewertung

Buchbeschreibung Birkhäuser Boston Jan 2008, 2008. Taschenbuch. Zustand: Neu. Neuware - 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. 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. 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 180 pp. Englisch. Bestandsnummer des Verkäufers 9780817647629

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

Neu kaufen
EUR 53,49
Währung umrechnen

In den Warenkorb

Versand: EUR 17,13
Von Deutschland nach USA
Versandziele, Kosten & Dauer

6.

Uwe Schöning
Verlag: Birkhäuser Boston Jan 2008 (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Taschenbuch Anzahl: 1
Anbieter
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Deutschland)
Bewertung

Buchbeschreibung Birkhäuser Boston Jan 2008, 2008. Taschenbuch. Zustand: Neu. Neuware - 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. 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. 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 180 pp. Englisch. Bestandsnummer des Verkäufers 9780817647629

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

Neu kaufen
EUR 53,49
Währung umrechnen

In den Warenkorb

Versand: EUR 17,13
Von Deutschland nach USA
Versandziele, Kosten & Dauer

7.

Schöning, Uwe
Verlag: Birkhäuser (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Softcover Anzahl: 1
Anbieter
Irish Booksellers
(Portland, ME, USA)
Bewertung

Buchbeschreibung Birkhäuser, 2008. Zustand: New. book. Bestandsnummer des Verkäufers M0817647627

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

Neu kaufen
EUR 73,52
Währung umrechnen

In den Warenkorb

Versand: EUR 4,37
Innerhalb USA
Versandziele, Kosten & Dauer

8.

Uwe Sch?ning
Verlag: Birkh?user (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Books2Anywhere
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Birkh?user, 2008. PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. 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 53,12
Währung umrechnen

In den Warenkorb

Versand: EUR 34,20
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

9.

Uwe Schöning
Verlag: Birkhäuser Boston Jan 2008 (2008)
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Taschenbuch Anzahl: 1
Print-on-Demand
Anbieter
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung

Buchbeschreibung Birkhäuser Boston Jan 2008, 2008. Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Neuware - 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. 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. 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 180 pp. Englisch. Bestandsnummer des Verkäufers 9780817647629

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

Neu kaufen
EUR 58,84
Währung umrechnen

In den Warenkorb

Versand: EUR 34,50
Von Deutschland nach USA
Versandziele, Kosten & Dauer

10.

Schöning, Uwe
Verlag: Birkhäuser
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu PAPERBACK Anzahl: > 20
Anbieter
Russell Books
(Victoria, BC, Kanada)
Bewertung

Buchbeschreibung Birkhäuser. PAPERBACK. Zustand: New. 0817647627 Special order direct from the distributor. Bestandsnummer des Verkäufers ING9780817647629

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

Neu kaufen
EUR 89,07
Währung umrechnen

In den Warenkorb

Versand: EUR 6,40
Von Kanada nach USA
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen