Facebook Twitter Pinterest <Einbetten>
  • Alle Preisangaben inkl. USt
Auf Lager.
Verkauf und Versand durch Amazon. Geschenkverpackung verfügbar.
Logic in Computer Science... ist in Ihrem Einkaufwagen hinzugefügt worden

Lieferort:
Um Adressen zu sehen, bitte
Oder
Bitte tragen Sie eine deutsche PLZ ein.
Oder
+ EUR 3,00 Versandkosten
Gebraucht: Wie neu | Details
Zustand: Gebraucht: Wie neu
Kommentar: Like New Paperback/Softcover Book, International Economy Edition. Author , Content & Edition is same as Listed edition. Satisfaction Guaranteed .ISBN AND COVER MAY BE CHANGED. The access code or CD may be not available with this book. Guaranteed Super Fast Delivery
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Hörprobe Wird gespielt... Angehalten   Sie hören eine Hörprobe des Audible Hörbuch-Downloads.
Mehr erfahren
Alle 2 Bilder anzeigen

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

5.0 von 5 Sternen 2 Kundenrezensionen

Alle 4 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Preis
Neu ab Gebraucht ab
Kindle Edition
"Bitte wiederholen"
Gebundene Ausgabe
"Bitte wiederholen"
EUR 90,00
Taschenbuch
"Bitte wiederholen"
EUR 65,26
EUR 52,92 EUR 27,25
55 neu ab EUR 52,92 8 gebraucht ab EUR 27,25
click to open popover

Es wird kein Kindle Gerät benötigt. Laden Sie eine der kostenlosen Kindle Apps herunter und beginnen Sie, Kindle-Bücher auf Ihrem Smartphone, Tablet und Computer zu lesen.

  • Apple
  • Android
  • Windows Phone

Geben Sie Ihre Mobiltelefonnummer ein, um die kostenfreie App zu beziehen.

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


Produktinformation

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.

Alle Produktbeschreibungen

Kundenrezensionen

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

Top-Kundenrezensionen

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.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen
Missbrauch melden
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 5 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen
Missbrauch melden

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta) (Kann Kundenrezensionen aus dem "Early Reviewer Rewards"-Programm beinhalten)

Amazon.com: 4.2 von 5 Sternen 11 Rezensionen
3 von 3 Kunden fanden die folgende Rezension hilfreich
4.0 von 5 Sternen Not easy, but worth it! 15. Juli 2015
Von silverKey - Veröffentlicht auf Amazon.com
Format: Taschenbuch Verifizierter Kauf
I would say prior introduction to logic would definitely help.

This is a good book. The subject matter isn't easy, but I feel the explanations are clear and not overtly verbose. This may not be what you want to hear, but read it slowly, thoroughly, and repeatedly and you will definitely get your moneys worth. This is the second book on logic I've read, but conceptually has definitely had a bigger impact on my reasoning and day to day thinking. I've been surprised at the places this way of thinking has come out.
3 von 4 Kunden fanden die folgende Rezension hilfreich
3.0 von 5 Sternen 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.
5.0 von 5 Sternen Great introduction to logic 14. September 2013
Von Eric Emrick - Veröffentlicht auf Amazon.com
Format: Taschenbuch Verifizierter Kauf
This text offers a great introduction to computational logic. Even if this is not your course's text, I highly recommend considering this book to augment your material. It is extremely approachable.
0 von 3 Kunden fanden die folgende Rezension hilfreich
5.0 von 5 Sternen He liked it. 29. Juni 2014
Von Zoe - Veröffentlicht auf Amazon.com
Format: Taschenbuch Verifizierter Kauf
Gift for son. He liked it.
18 von 18 Kunden fanden die folgende Rezension hilfreich
5.0 von 5 Sternen 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.
Waren diese Rezensionen hilfreich? Wir wollen von Ihnen hören.