Logic in Computer Science und über 1,5 Millionen weitere Bücher verfügbar für Amazon Kindle. Erfahren Sie mehr
EUR 51,95
  • Alle Preisangaben inkl. MwSt.
Auf Lager.
Verkauf und Versand durch Amazon.
Geschenkverpackung verfügbar.
Menge:1
Logic in Computer Science... ist in Ihrem Einkaufwagen hinzugefügt worden
Ihren Artikel jetzt
eintauschen und
EUR 0,10 Gutschein erhalten.
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Anhören Wird wiedergegeben... Angehalten   Sie hören eine Probe der Audible-Audioausgabe.
Weitere Informationen
Dieses Bild anzeigen

Logic in Computer Science: Modelling and Reasoning about Systems (Englisch) Taschenbuch – 26. August 2004


Alle 4 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Amazon-Preis Neu ab Gebraucht ab
Kindle Edition
"Bitte wiederholen"
Gebundene Ausgabe
"Bitte wiederholen"
EUR 351,17
Taschenbuch
"Bitte wiederholen"
EUR 51,95
EUR 51,95 EUR 30,00
49 neu ab EUR 51,95 4 gebraucht ab EUR 30,00

Hinweise und Aktionen

  • Studienbücher: Ob neu oder gebraucht, alle wichtigen Bücher für Ihr Studium finden Sie im großen Studium Special. Natürlich portofrei.


Wird oft zusammen gekauft

Logic in Computer Science: Modelling and Reasoning about Systems + Datenbanksysteme: Eine Einführung
Preis für beide: EUR 91,90

Die ausgewählten Artikel zusammen kaufen

Kunden, die diesen Artikel gekauft haben, kauften auch

Jeder kann Kindle Bücher lesen — selbst ohne ein Kindle-Gerät — mit der KOSTENFREIEN Kindle App für Smartphones, Tablets und Computer.


Produktinformation

  • Taschenbuch: 442 Seiten
  • Verlag: Cambridge University Press; Auflage: 2 (26. August 2004)
  • Sprache: Englisch
  • ISBN-10: 052154310X
  • ISBN-13: 978-0521543101
  • Größe und/oder Gewicht: 17,4 x 2,1 x 24,7 cm
  • Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen  Alle Rezensionen anzeigen (2 Kundenrezensionen)
  • Amazon Bestseller-Rang: Nr. 91.988 in Fremdsprachige Bücher (Siehe Top 100 in Fremdsprachige Bücher)
  • Komplettes Inhaltsverzeichnis ansehen

Mehr über den Autor

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Produktbeschreibungen

Pressestimmen

'… an unusual, inspiring and remarkable book … one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH

'The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications.' Phinews

'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical …' Zentralblatt MATH

Über das Produkt

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Welche anderen Artikel kaufen Kunden, nachdem sie diesen Artikel angesehen haben?


In diesem Buch (Mehr dazu)
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis
Hier reinlesen und suchen:

Kundenrezensionen

5.0 von 5 Sternen
5 Sterne
2
4 Sterne
0
3 Sterne
0
2 Sterne
0
1 Sterne
0
Beide Kundenrezensionen anzeigen
Sagen Sie Ihre Meinung zu diesem Artikel

Die hilfreichsten Kundenrezensionen

Von Waldemar am 31. August 2011
Format: Taschenbuch
Ein sehr gutes Buch zum Thema Logik.
Ich selbst habe es als Hauptquelle in Master Seminar genutzt.
Meiner Meinung nach das beste Buch um Modal- und Multi-Modal-Logiken zu verstehen.

Nicht-Normale-Modal-Logiken werden nicht behandelt.

Sehr gut finde ich es den Weg über das Logik Engineering, also das gezielte Erstellen von Logiken, zu gehen.

Wer sich tiefer mit dem Thema befassen möchte wird andere Bücher brauchen. Wahrscheinlich auch solche die direkt auf die spezielle Modal-Logik ausgerichtet, die behandelt werden soll.
Wer jedoch eine Einführung in dieses Thema sucht wird meiner Meinung nach aktuell kein besseres Buch finden.
Kommentar War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback. Wenn diese Rezension unangemessen ist, informieren Sie uns bitte darüber.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen
5 von 10 Kunden fanden die folgende Rezension hilfreich Von Ein Kunde am 26. September 2005
Format: Taschenbuch
Eine wunderbare Einführung in die nicht unkomplexe Welt der Logik. Sehr locker geschrieben und mit vielen Beispielen die das Verständnis entscheidend erleichtern. Absolute Kaufempfehlung für Studenten die sich mit dieser Thematik etwas schwer tun.
Kommentar War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback. Wenn diese Rezension unangemessen ist, informieren Sie uns bitte darüber.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)

Amazon.com: 9 Rezensionen
15 von 15 Kunden fanden die folgende Rezension hilfreich
Not for undergrads, advanced textbook 28. Dezember 2003
Von Steve Uhlig - Veröffentlicht auf Amazon.com
Format: Taschenbuch
The coverage of this book is quite good for what concerns logic in computer science. However, using it as an introduction on logic for computer scientists is probably ambitious because the explanations are rather complicated for undergraduates. A first course on logic and another on AI would not hurt before getting into this one. Too many notions of computer science (syntax and semantics of programming languages, complexity) are needed to fully understand some topics, hence it is better that you already have a broad view of all aspects of computer science before reading this one. As an advanced course textbook to formal techniques in computer sciente on the other hand, this one would do the job.
11 von 12 Kunden fanden die folgende Rezension hilfreich
It's a decent book 4. Oktober 2000
Von Jose Berlin - Veröffentlicht auf Amazon.com
Format: Taschenbuch
A lot of good material is covered and in a relatively tight fashion. The presentation of logic is well done, but when getting into the BDDs, the explanations get a little complicated and I personally had to read it over several times before I could make sure I understood what was going on. This book also does not have anything on symmetry, so if that's what you're looking for, there are better books out there. However, this book can hold its own and I recommend it to anyone interested in learning the basics of model checking provided they can take handle some of the heavy duty reading.
8 von 10 Kunden fanden die folgende Rezension hilfreich
Great intro to logic 16. September 2000
Von Ein Kunde - Veröffentlicht auf Amazon.com
Format: Gebundene Ausgabe
This book is a good introduction to logic. It is highly readable, not dry. It explains logic in the language of humans, not arcane mathematics, yet it somehow is able to remain rigorous. This makes logic make sense, rather than it being an abstract intellectual pursuit detached from life and other topics.
Half the book is on logic, half on model checking. I've only read the logic part so far, so I cannot compare the model checking treatment to that in Clarke et al.'s "Model Checking."
The logic treatment is not specific to computer science (or at least did not seem to be so, for someone not a student of mathematics and logic), so in my opinion the title is a misnomer; perhaps a better title would be "Logic for People, and Model Checking Too."
3 von 4 Kunden fanden die folgende Rezension hilfreich
Great book, but only along with great instruction 21. Juli 2000
Von Ein Kunde - Veröffentlicht auf Amazon.com
Format: Gebundene Ausgabe
Having taken this class at Kansas State University under the author Michael Huth. Reading this book before lecture often left me a bit confused, but after the lectures it seemed to be brought together, but this is my personal experience, your milage may differ. The book has excellent examples and a great introduction to logic and this book, along with great instruction should help you understand better the logical foundations of computer science.
1 von 1 Kunden fanden die folgende Rezension hilfreich
A little hard to follow, but ok. 6. September 2013
Von Colin Smith - Veröffentlicht auf Amazon.com
Format: Taschenbuch Verifizierter Kauf
If I didn't have to buy this book for one of my subjects, I would never buy it. It is quite hard to follow at times. If I didn't have exposure to logic from before, I'd probably struggle with this book. But if you re-read things over, you do get it in the end. I wish the book explained things in more detail and in simpler ways. It seems the authors did not keep in mind that the readers are not as experienced in logic as they are. I also didn't like the fact that there's quite a bit of errata in the book, which can be quite confusing to a student.
Waren diese Rezensionen hilfreich? Wir wollen von Ihnen hören.