|
Ob neu oder gebraucht, alle wichtigen Bücher für Ihr Studium finden Sie im großen Studium Special. |
Wird oft zusammen gekauft
Kunden, die diesen Artikel gekauft haben, kauften auch
von Uwe Schöning
|
von Martin Kreuzer
|
Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra von Angelika Steger |
von Thomas Ottmann
|
von Gunter Saake
|
Produktinformation
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
Produktbeschreibungen
Kurzbeschreibung
Dieses Buch ist als Hilfsmittel für die Logikausbildung beim Informatikstudium konzipiert.
Es führt 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 für 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 Resolutionskalkül, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG.
Außerdem werden die für das Verständnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie.
Das Buch enthält über 100 Aufgaben mit Lösungshinweisen.
Es führt 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 für 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 Resolutionskalkül, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG.
Außerdem werden die für das Verständnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie.
Das Buch enthält über 100 Aufgaben mit Lösungshinweisen.
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.
Was kaufen Kunden, nachdem sie diesen Artikel angesehen haben?
 |
75% kaufen den auf dieser Seite vorgestellten Artikel: Logik für Informatiker (Sav Informatik) EUR 20,00 |
 |
17% kaufen Logik für Informatiker EUR 24,95 |
 |
4% kaufen Theoretische Informatik - kurz gefasst EUR 20,00 |
 |
2% kaufen Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra EUR 22,95 |
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).
|
Kundenrezensionen
|
Sagen Sie Ihre Meinung zu diesem Artikel:
|
|||||||||||||||
Die hilfreichsten Kundenrezensionen
Sagen Sie Ihre Meinung zu diesem Artikel: Eigene Rezension erstellen
|
|
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen. Meinungen austauschen. Neues erfahren.Aktive Diskussionen in ähnlichen Foren
|
Ä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?
Für Sie dokumentiert
(Was ist das?)|
Sobald Sie sich Produktseiten oder Suchergebnisse angesehen haben, finden Sie diese Seiten zu Ihrer Information hier aufgeführt. |
