Fashion Sale Öle & Betriebsstoffe für Ihr Auto Jetzt informieren calendarGirl Prime Photos Sony Learn More saison Hier klicken Fire Shop Kindle PrimeMusic Lego Summer Sale 16

Kundenrezensionen

3,7 von 5 Sternen15
3,7 von 5 Sternen
Format: Taschenbuch|Ändern
Preis:20,00 €+ Kostenfreie Lieferung mit Amazon Prime
Ihre Bewertung(Löschen)Ihre Bewertung


Derzeit tritt ein Problem beim Filtern der Rezensionen auf. Bitte versuchen Sie es später noch einmal.

am 21. Oktober 2013
Dieses Buch erklärt (in meinen Augen) verständlich das Thema Logik für Informatiker.
Zum Selbststudium ist das Buch zwar nur bedingt geeignet, da das Wissen kompakt (aber auf keinen Fall unverständlich) zusammengefasst ist,
aber als Begleit- und Nachschlagwerk zu Vorlesungen o.Ä. ist dieses Buch auf jeden Fall zu empfehlen.

Ein kleines Manko ist eventuell noch, dass im hinteren Teil des Buches zwar Hinweise zur Lösung der Aufgaben im Buch gegeben werden, eine vollständige Lösung aber offen bleibt.

Das Buch bekommt von mir also 4 Sterne, da es fürs Selbststudium eher wenig geeignet ist, aber das Thema dennoch sehr gut abdeckt.
0Kommentar|2 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 14. Januar 2000
Das Buch ist für einen Einsteiger schwer verständlich, ist aber dennoch das einzige Buch, welches die Inhalte der informatischen Logik komplett abdeckt, ohne dabei den Leser mit mathematischen Details zu überfrachten. Ein Wehrmutstropfen ist, daß keine kompletten Lösungen zu den Aufgaben im Buch angegeben werden. So weiß der Leser nie, ob seine Lösungsversuche richtig sind. Und Logik lernt man nun mal NUR durch Übungsaufgaben.
0Kommentar|14 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 3. Juni 2003
Das Buch setzt Vorkenntnisse in der Logik voraus. Nur schon das Layout des Buches ist Katastrophal. Die wirklich wichtigen Definitionen sind nicht hervorgehoben. Formelerklärungen werden nicht abgeschlossen und verweisen dauernd auf spätere Teile im Buch. Die engültige Lösung der Übungsaufgaben findet man zwar im Anhang, sucht aber vergeblich nach dem Lösungsweg. Man hat das Gefühl, das Buch wurde mit wenig Liebe geschrieben. Übungsaufgaben erstrecken sich über das ganze Kapitel und nicht erst am Ende des Theoriestoffes. Ewiges Blättern für das Auffinden einer Übungsaufgabe ist vorausprogrammiert.
Ich kann dieses Buch in keiner Hinsicht empfehlen!! Schade nur dass es zu diesem Thema so wenig Literatur gibt und man fast keine Ausweichmöglichkeiten hat.
0Kommentar|29 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 25. Dezember 2013
Für meine Vorlesungen in Softwaretechnik habe ich dieses Buch beschafft. Es entspricht dem Vorlesungsinhalt an der Uni Stuttgart und ist soweit sehr gut nutzbar. Der Preis könnte günstiger sein.
0Kommentar|Eine Person fand diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 11. Januar 2004
Uwe Schöning bietet mit "Logik für Informatik" eine Einführung in die formale Logik. Dabei konzentriert er sich vor allem auf Bereiche, die für die theoretische Informatik von Nutzen sind: In der Aussagenlogik behandelt er zusätzlich zu den wichtigsten Grundlagen die Themen Äquivalenz und Normalformen, Hornformen, den Endlichkeitssatz sowie die nützliche Methode der Resolution.
Weiterhin beschäftigt sich das Buch zum Thema Prädikatenlogik mit Normalformen, Unentscheidbarkeit, der Herbrand-Theorie sowie die Anwendung der Resolution in der Prädikatenlogik. In einem weiteren Kapitel beleuchtet Schöning diverse Aspekte der Logik-Programmierung: Neben der Erzeugung von Antworten erläutert er Hornklauseln, Auswertungsstrategien sowie die Programmiersprache PROLOG als ein Beispiel, wie die hier vorgestellten Konzepte der Logik in der Programmierung umgesetzt werden können.
Das Buch ist gut verständlich, ausgesprochen angenehm zu lesen und übersichtlich strukturiert. Der Aufbau ist derart, dass sich das Buch sowohl als Lehrbuch zum Selbststudium als auch als Nachschlagewerk eignet. Das mit dem Satzsystem LaTeX gesetzte Lay-out ist sauber und übersichtlich. Zusätzlich bietet Schöning zu allen Kapiteln gut motivierte Übungsaufgaben inklusive Lösungshinweisen, aber keine fertigen Lösungen. Sehr empfehlenswert.
0Kommentar|6 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 4. Juli 2002
Der Autor schafft es gut auf den ca 200 Seiten die wichtigsten Gebiete der Logik abzudeckten, die ein Informatikstudent benötigt. An der Uni Stuttgart ist dieses Buch eines der Standartwerke, besonders im Hinblick auf die Theoretische Informatik Prüfung. Hier erweisen sich auf die Übungsaufgaben als gute Möglichkeit das gelernte zu vertiefen und zu überprüfen.
0Kommentar|4 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 27. März 2010
Erstmal find ich einige Rezensionen hier sehr merkwürdig. Kommentare wie "für Anfänger zu schwer" sind mMn völlig fehl am Platz. Es steht schon in der Beschreibung des Buches, dass es als Hilfsmittel zum Informatikstudium konzipiert ist ergo nur in Verbindung mit einer Vorlesung erst richtig Sinn macht.

Und diesen Job macht es sehr gut. Ich kann dieses Buch nur jedem weiterempfehlen der sich im Studium mit diesem Stoff herumschlagen muss. Es ist unter Garantie eines der wenigen Bücher die es schaffen diesen komplexen Stoff mit so vergleichsweise wenig mathematischen Fachchinesisch rüber zu bringen. Als Ergänzung für das Skript und zur Vorlesung ist es bisher unschlagbar.
0Kommentar|Eine Person fand diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 26. Juli 2000
Schöning gibt eine gute Einführung und einen weiten Überblick über die Grundlagen der Logik für die Informatik. Dieses Buch ist gut systematisch aufgebaut und für Studierende der Informatik gut verständlich. Mathematische Grundlagen werden beim Leser bei dieser Materie vorausgesetzt. Aus meiner Sicht ist dieses Buch ein Muß für jeden, der sich mit logischem Schliessen und artverwandten Themen in der Informatik beschäftigt. Aus meiner Sicht eines der wenigen sehr guten deutschsprachigen Bücher zum Thema. Bei der nächsten Auflage hoffen wir auf die Lösungen zu den Aufgaben. ;-)
0Kommentar|4 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 19. Februar 2004
Wer Richtung Künstliche Intelligenz oder Theoretische Informatik gehen will, kommt an diesem Buch nicht vorbei. Der Autor nimmt die Logik für den Informatik auseinander und zeigt Normalformen, Resolution, ...
Das Buch geht sogar soweit das es bis zur PROLOG-Programmierung geht.
Das Buch ist nicht unbedingt leicht zu lesen und auch keine Lekture für unterwegs oder übers Wochenende.
Die Aufgaben sind auch manchmal etwas überdimensioniert (Erstellen eines Pascal-Compilers).
11 Kommentar|5 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden
am 7. Februar 2001
Präzise wird hier auf die verschiedenen Bestandteile der Logik eingegangen - der Autor verliert sich glücklicherweise nicht in komplizierten Beweisen. In der Neuauflage befindet sich auch endlich ein Lösungsteil im Anhang.
0Kommentar|8 Personen fanden diese Informationen hilfreich. War diese Rezension für Sie hilfreich?JaNeinMissbrauch melden