-
Tipp für Studenten
Ein Jahr Prime kostenlos und einen 20% erhöhten Eintauschwert auf Trade-In erhalten alle Studenten die bei Amazon Student angemeldet sind.
| ||||||||||||||||||
Hinweise und Aktionen
Produktinformation
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
Ist der Verkauf dieses Produkts für Sie nicht akzeptabel? |
Mehr über den Autor
Entdecken Sie Bücher, lesen Sie über Autoren und mehr
› Besuchen Sie die Seite von Uwe Schöning auf Amazon
› Besuchen Sie die Seite von Uwe Schöning auf Amazon
Produktbeschreibungen
Kurzbeschreibung
Dieses gut im Markt eingeführte Standardwerk konzentriert sich auf die für Informatiker wesentlichen Teile der Logik. Es steht auf der Empfehlungsliste vieler Hochschuldozenten und wird teilweise als Skript zur Vorlesung verwendet. Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. So gelingt dem Autor eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik.
-- Dieser Text bezieht sich auf eine vergriffene oder nicht verfügbare Ausgabe dieses Titels.
Klappentext
Dieser Band führt in Begriffe und Methoden der formalen Logik ein, wobei die Auswahl des Materials an Informatik Anwendungen orientiert ist. Die
Behandlung der Aussagenlogik und darauf aufbauend der Prädikatenlogik erfolgt mit dem Ziel, den Grundstock zu legen für das Verständnis moderner Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung. In der vorliegenden vierten Auflage wurden die Übungsaufgaben und Lösungshinweise ergänzt.
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm. -- Dieser Text bezieht sich auf eine vergriffene oder nicht verfügbare Ausgabe dieses Titels.
Welche anderen Artikel kaufen Kunden, nachdem sie diesen Artikel angesehen haben?
In diesem Buch
(Mehr dazu)
Nach einer anderen Ausgabe dieses Buches suchen.
Nach einer anderen Ausgabe dieses Buches suchen.
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Vorgeschlagene Tags zu ähnlichen Produkten(Was ist das?)Setzen Sie den ersten relevanten Tag hinzu (ein Schlüsselwort, das mit diesem Produkt in engem Zusammenhang steht).
|
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
Die hilfreichsten Kundenrezensionen
12 von 13 Kunden fanden die folgende Rezension hilfreich
Format:Taschenbuch
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.
25 von 31 Kunden fanden die folgende Rezension hilfreich
Format:Taschenbuch
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.
1 von 1 Kunden fanden die folgende Rezension hilfreich
Format:Taschenbuch
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.
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.
Die neuesten Kundenrezensionen
Finger Weg, sehr schlechtes Buch
Ich habe es versucht mit diesem Buch Logik zu lernen, hat leider nicht geklapt. Das Buch ist sehr schlecht. Lesen Sie weiter...
Vor 8 Monaten von DAVID veröffentlicht
Kurz und bündig - wenig anschaulich
Prinzipiell ist dieses Buch sehr gut. Nur an einigen Stellen wird nicht anschaulich genug erklärt, so dass man am besten ein zweites Buch verwendet um solche Passagen besser... Lesen Sie weiter...
Veröffentlicht am 7. Mai 2010 von P. Marcus
Gut verständlicher Einstieg
Das Buch ist ein guter Einstieg in die Logik für Informatiker und sicherlich sinnvoll für das Grundstudium.
Es ist gut gegliedert und leicht verständlich!
Es ist gut gegliedert und leicht verständlich!
Am 26. Oktober 2005 veröffentlicht
Ein Buch für Hardcorefans der theoretischen Informatik
Wer Richtung Künstliche Intelligenz oder Theoretische Informatik gehen will, kommt an diesem Buch nicht vorbei. Lesen Sie weiter...
Veröffentlicht am 19. Februar 2004 von Jan Derer
Eine gute Investition für Informatikstudierende
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... Lesen Sie weiter...
Veröffentlicht am 11. Januar 2004 von Oliver Klee
gutes Logik buch zum lernen auf Klaussuren
Der Autor schafft es gut auf den ca 200 Seiten die wichtigsten Gebiete der Logik abzudeckten, die ein Informatikstudent benötigt. Lesen Sie weiter...
Veröffentlicht am 4. Juli 2002 von A. Stoerzbach
Sehr schlechtes Buch für Grundlagen
In diesem Buch mag wohl schon auf Logik eingegangen werden, jedoch absolut nicht verständlich für den Anfänger. Lesen Sie weiter...
Am 27. April 2001 veröffentlicht
In der Kürze liegt die Würze
Präzise wird hier auf die verschiedenen Bestandteile der Logik eingegangen - der Autor verliert sich glücklicherweise nicht in komplizierten Beweisen. Lesen Sie weiter...
Am 7. Februar 2001 veröffentlicht
Wichtiges Grundlagenbuch für Informatiker
Schöning gibt eine gute Einführung und einen weiten Überblick über die Grundlagen der Logik für die Informatik. Lesen Sie weiter...
Veröffentlicht am 26. Juli 2000 von kcr@tzi.de
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
