Verwandte Artikel zu Logic for Computer Scientists (Modern Birkhauser Classics)

Logic for Computer Scientists (Modern Birkhauser Classics) - Softcover

 
9780817647629: Logic for Computer Scientists (Modern Birkhauser Classics)

Inhaltsangabe

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.

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

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

Von der hinteren Coverseite

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

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

  • VerlagBirkhäuser
  • Erscheinungsdatum2008
  • ISBN 10 0817647627
  • ISBN 13 9780817647629
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten180
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Befriedigend
Missing dust jacket; Pages can...
Diesen Artikel anzeigen

EUR 4,60 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

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: Birkhauser Boston Inc, 1994
Hardcover

Suchergebnisse für Logic for Computer Scientists (Modern Birkhauser Classics)

Beispielbild für diese ISBN

Schà ning, Uwe
Verlag: Birkhauser, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Gebraucht Paperback

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.7. Bestandsnummer des Verkäufers G0817647627I3N01

Verkäufer kontaktieren

Gebraucht kaufen

EUR 8,10
Währung umrechnen
Versand: EUR 4,60
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Schà ning, Uwe
Verlag: Birkhäuser, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Gebraucht paperback

Anbieter: Books From California, Simi Valley, CA, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

paperback. Zustand: Good. Bestandsnummer des Verkäufers mon0003636261

Verkäufer kontaktieren

Gebraucht kaufen

EUR 4,13
Währung umrechnen
Versand: EUR 12,69
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Uwe Schöning
Verlag: Birkhäuser Boston, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A more affordable softcover edition of a classic textGives a good introduction to logic for those with a computer science concentrationReplete with illustrative examples and exercisesUseful as a companion text to an undergraduate com. Bestandsnummer des Verkäufers 5975886

Verkäufer kontaktieren

Neu kaufen

EUR 55,78
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Sch�ning, Uwe
Verlag: Birkh�user, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Gebraucht Softcover

Anbieter: Bulrushed Books, Moscow, ID, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Acceptable. LIGHTNING FAST SHIPPING! Binding and pages have been heavily repaired and reinforced with tape, has tape and stickers on the cover, as well as marks and notes on the pages. Definitely not pretty, but it's a working copy at a great price that ships fast. ~ Book does NOT contain an access code or CD. ~. Bestandsnummer des Verkäufers #84E-00003

Verkäufer kontaktieren

Gebraucht kaufen

EUR 4,10
Währung umrechnen
Versand: EUR 52,51
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Schoning, Uwe
Verlag: Birkhäuser, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Gebraucht Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Bestandsnummer des Verkäufers 5497454-5

Verkäufer kontaktieren

Gebraucht kaufen

EUR 43,52
Währung umrechnen
Versand: EUR 17,49
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Uwe Schöning
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this book: Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 180 pp. Englisch. Bestandsnummer des Verkäufers 9780817647629

Verkäufer kontaktieren

Neu kaufen

EUR 64,19
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Uwe Schöning
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 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. 180 pp. Englisch. Bestandsnummer des Verkäufers 9780817647629

Verkäufer kontaktieren

Neu kaufen

EUR 64,19
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Uwe Schöning
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this book: Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible. Bestandsnummer des Verkäufers 9780817647629

Verkäufer kontaktieren

Neu kaufen

EUR 67,57
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Schà ning, Uwe
Verlag: Birkhäuser, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Paperback

Anbieter: Toscana Books, AUSTIN, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Bestandsnummer des Verkäufers Scanned0817647627

Verkäufer kontaktieren

Neu kaufen

EUR 48,35
Währung umrechnen
Versand: EUR 26,25
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Uwe Sch?ning
Verlag: Springer, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 180. Bestandsnummer des Verkäufers 26300308

Verkäufer kontaktieren

Neu kaufen

EUR 68,68
Währung umrechnen
Versand: EUR 7,88
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Es gibt 15 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen