Angebote zu "Logik" (62 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: 13.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: 13.05.2019
Zum Angebot
Logik für Informatiker - Martin Kreuzer
6,99 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 22.05.2019
Zum Angebot
Logik für Informatiker - Uwe Schöning
5,49 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 22.05.2019
Zum Angebot
Logik für Informatiker - Jürgen Dassow
15,79 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 22.05.2019
Zum Angebot
Logik für Informatiker - Jürgen Dassow
1,46 € *
zzgl. 3,99 € Versand
Anbieter: trade-a-game
Stand: 22.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
Informatik
44,99 € *
ggf. zzgl. Versand

Das Buch ist eine unkonventionelle, auf intuitives Verständnis ausgerichtete Einführung in die theoretischen Grundlagen der praktischen Aspekte der Informatik. Dabei geht es nicht ausschließlich um die Entwicklung von Software. Beim Leser werden keine besonderen Vorkenntnisse vorausgesetzt. Es werden etwa Informationstheorie, Codierungstheorie, Zahlendarstellung und Numerik, Boolesche Algebra, Fuzzy-Logik sowie Quanten-Computer behandelt, wobei gewährleistet bleibt, dass leicht verständlich wird, wie auf diesem theoretischen Unterbau die praktische Realisierung eines Computers sowohl in Hardware als auch in Software erfolgen kann. Für die fünfte Auflage wurde das Buch komplett überarbeitet und auf den neuesten Stand gebracht.

Anbieter: buecher.de
Stand: 13.05.2019
Zum Angebot