Angebote zu "Logik" (68 Treffer)

Logik für Informatiker
20,00 € *
ggf. zzgl. Versand

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.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

Anbieter: buecher.de
Stand: 23.05.2019
Zum Angebot
Logik für Informatiker - Martin Kreuzer
7,99 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 25.05.2019
Zum Angebot
Logik für Informatiker - Jürgen Dassow
15,29 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 25.05.2019
Zum Angebot
Logik für Informatiker - Uwe Schöning
5,49 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 24.05.2019
Zum Angebot
Logik für Informatiker - Jürgen Dassow
1,85 € *
zzgl. 3,99 € Versand
Anbieter: trade-a-game
Stand: 24.05.2019
Zum Angebot
Logik und Logikprogrammierung 1
29,80 € *
ggf. zzgl. Versand

Die zweibändig angelegte Neuausgabe des bewährten Standardwerks, das sich insbesondere an Studienanfänger/innen der Informatik und benachbarter Disziplinen richtet, bietet eine Einführung in die grundlegenden Techniken und Methoden der formalen Logik und in die Möglichkeiten der Logikprogrammierung am Beispiel der Programmiersprache PROLOG. Der Schwerpunkt des ersten Bandes, der die theoretischen Grundlagen präsentiert, liegt neben der Darstellung von Syntax und Semantik der Aussagen- und der Prädikatenlogik auf der Entwicklung von automatisierten Beweisverfahren (Resolutions- und Tableauverfahren, Konnektionsmethode, Hilbert-Systeme u.a.) sowie dem sog. Kalkül des natürlichen Schließens, der zahlreiche auch in der Mathematik verwendete Beweistechniken vermittelt. Die Logik-Programmiersprache PROLOG wird zunächst informell eingeführt, um in diesem Rahmen die Spezifizierung und Prüfung von Algorithmen zu ermöglichen. Im Schlussteil wird dann der Übergang vom automatischen Beweisen zum Programmieren in PROLOG vollzogen und eine formale Semantik für die deklarativen Anteile von PROLOG vorgestellt. Der zweite Band ist als Übungsband konzipiert und bietet eine Vielzahl von Aufgaben samt Musterlösungen, die eine vertiefende Einarbeitung in die in Band 1 dargestellten Methoden ermöglichen. Inhaltsverzeichnis: Formalisierung - Kalkülbildung - Mechanisierung - Algorithmierung der Logik - Deduktionssysteme - Logikprogrammierung am Beispiel PROLOG: Einfache Daten; Variablenumbenennung; Komplexe Daten; Der Cut - Aussagenlogik: Syntax; Semantik; Aquivalenz und Normalformen; Beweisverfahren - Prädikatenlogik: Syntax; Substitutionen; Semantik; Aquivalenz und Normalformen; Unifikation; Beweisverfahren; Eigenschaften - Grundlagen der Logikprogrammierung: Definite Programme; Normale Programme - Ausblick

Anbieter: buecher.de
Stand: 23.05.2019
Zum Angebot
Logik für Informatiker als Buch von Uwe Schöning
20,00 € *
ggf. zzgl. Versand

Logik für Informatiker:5. A Uwe Schöning

Anbieter: Hugendubel.de
Stand: 13.05.2019
Zum Angebot
Logik für Informatiker als Buch von Jürgen Dassow
34,99 € *
ggf. zzgl. Versand

Logik für Informatiker:Auflage 2005 Jürgen Dassow

Anbieter: Hugendubel.de
Stand: 13.05.2019
Zum Angebot
Logik für Informatiker (Sav Informatik) - Uwe S...
5,99 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 25.05.2019
Zum Angebot