Angebote zu "Logik" (61 Treffer)

Logik für Informatiker
€ 34.99 *
ggf. zzgl. Versand

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation vonProgrammen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz.Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
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: Feb 14, 2019
Zum Angebot
Logik für Informatiker - Jürgen Dassow
€ 0.73 *
zzgl. € 3.99 Versand
Anbieter: trade-a-game
Stand: Feb 16, 2019
Zum Angebot
Logik für Informatiker - Martin Kreuzer
€ 27.99 *
zzgl. € 3.99 Versand
Anbieter: reBuy.de
Stand: Feb 12, 2019
Zum Angebot
Logik für Informatiker - Uwe Schöning
€ 4.49 *
zzgl. € 3.99 Versand
Anbieter: reBuy.de
Stand: Jan 16, 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: Dec 19, 2018
Zum Angebot
Logik für Informatiker als Buch von Uwe Schöning
€ 20.00 *
ggf. zzgl. Versand

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

Anbieter: Hugendubel.de
Stand: Jan 9, 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: Feb 14, 2019
Zum Angebot
Logik für Informatiker (Sav Informatik) - Uwe S...
€ 5.29 *
zzgl. € 3.99 Versand
Anbieter: reBuy.de
Stand: Feb 12, 2019
Zum Angebot
Logik für Informatiker als Buch von Bernhard He...
€ 32.99 *
ggf. zzgl. Versand

Logik für Informatiker:Eine Einführung Leitfäden und Monographien der Informatik Bernhard Heinemann, Thomas Ottman

Anbieter: Hugendubel.de
Stand: Dec 19, 2018
Zum Angebot