| ||||||||||||||||||
 Gutschein erhalten
Tauschen Sie jetzt Logik für Informatiker gegen einen Amazon-Gutschein in Höhe von EUR 2,40 ein - einlösbar für Tausende von Artikeln bei Amazon.de. Entdecken Sie mehr eintauschbare Bücher im Bücher Trade-In Shop. Bitte beachten Sie die Teilnahmebedingungen.
|
Wird oft zusammen gekauft
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 Buch ist als Hilfsmittel fr die Logikausbildung beim Informatikstudium konzipiert.
Es fhrt in die Begriffe und Methoden der formalen Logik ein. Die Materialauswhl orientiert sich dabei an der Anwendbarkeit in der Informatik. Aussagenlogik und die darauf aufbauende Pr„dikatenlogik werden behandelt. Damit soll ein Verst„ndnis fr moderne Anwendungen der Logik in der Informatik vermittelt werden. Solche Anwendungen sind z.B. Resolution, automatisches Beweisen und Logik-programmierung.
Ein Schwerpunkt der Darstellung ist der Resolutionskalkl, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG.
Au˜erdem werden die fr das Verst„ndnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie.
Das Buch enth„lt ber 100 Aufgaben mit L÷sungshinweisen. -- Dieser Text bezieht sich auf eine vergriffene oder nicht verfügbare Ausgabe dieses Titels.
Es fhrt in die Begriffe und Methoden der formalen Logik ein. Die Materialauswhl orientiert sich dabei an der Anwendbarkeit in der Informatik. Aussagenlogik und die darauf aufbauende Pr„dikatenlogik werden behandelt. Damit soll ein Verst„ndnis fr moderne Anwendungen der Logik in der Informatik vermittelt werden. Solche Anwendungen sind z.B. Resolution, automatisches Beweisen und Logik-programmierung.
Ein Schwerpunkt der Darstellung ist der Resolutionskalkl, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG.
Au˜erdem werden die fr das Verst„ndnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie.
Das Buch enth„lt ber 100 Aufgaben mit L÷sungshinweisen. -- 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)
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
|
Sagen Sie Ihre Meinung zu diesem Artikel:
|
||||||||||||||||||||||
|
Die hilfreichsten Kundenrezensionen
12 von 13 Kunden fanden die folgende Rezension hilfreich:
3.0 von 5 Sternen
Brauchbar, aber mit Schwächen,
Von Ein Kunde
Rezension bezieht sich auf: Logik für Informatiker (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.
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen
25 von 31 Kunden fanden die folgende Rezension hilfreich:
2.0 von 5 Sternen
Schlecht für Selbststudium,
Von Ein Kunde
Rezension bezieht sich auf: Logik für Informatiker (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. Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen
1 von 1 Kunden fanden die folgende Rezension hilfreich:
5.0 von 5 Sternen
Tolles Buch,
Rezension bezieht sich auf: Logik für Informatiker (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. Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen
Sagen Sie Ihre Meinung zu diesem Artikel: Eigene Rezension erstellen
|
Die neuesten Kundenrezensionen |
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?
|
