Zur Startseite gehen
0,00 €*
Cover: 9783519005186 | Logik für Informatiker | Jürgen Dassow | Taschenbuch | Paperback
Dekorationsartikel gehören nicht zum Leistungsumfang.
Logik für Informatiker
Taschenbuch von Jürgen Dassow
Sprache: Deutsch

34,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen 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.
Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen 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.
Über den Autor
Prof. Dr. Jürgen Dassow, Universität Magdeburg
Zusammenfassung
Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen 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.
Inhaltsverzeichnis
1 Aussagenlogik.- 1.1 Aussagenlogische Ausdrücke.- 1.2 Entscheidbarkeitsfragen in der Aussagenlogik.- Übungsaufgaben.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Ausdrücke.- 2.2 Entscheidbarkeitsfragen in der Prädikatenlogik.- 2.3 Bemerkungen zur Logischen Programmierung.- Übungsaufgaben.- 3 Weitere Logiken.- 3.1 Logiken mit anderen Wertigkeiten.- 3.2 Zusätzliche Operatoren.- Übungsaufgaben.- A Grundlagen.- A.1 Mengen, Relationen, Graphen.- A.2 Wörter über einer Menge.- A.3 Mathematische Induktion.- A.4 Bereehenbarkeit und NP-Vollständigkeit.- B Lösungen ausgewählter Übungsaufgaben.- B.1 Zu Aufgaben des Kapitels 1.- B.2 Zu Aufgaben des Kapitels 2.- B.3 Zu Aufgaben des Kapitels 3.
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: 177 S.
ISBN-13: 9783519005186
ISBN-10: 3519005182
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Dassow, Jürgen
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Maße: 240 x 170 x 11 mm
Von/Mit: Jürgen Dassow
Erscheinungsdatum: 29.04.2005
Gewicht: 0,323 kg
Artikel-ID: 102425840
Über den Autor
Prof. Dr. Jürgen Dassow, Universität Magdeburg
Zusammenfassung
Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen 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.
Inhaltsverzeichnis
1 Aussagenlogik.- 1.1 Aussagenlogische Ausdrücke.- 1.2 Entscheidbarkeitsfragen in der Aussagenlogik.- Übungsaufgaben.- 2 Prädikatenlogik.- 2.1 Prädikatenlogische Ausdrücke.- 2.2 Entscheidbarkeitsfragen in der Prädikatenlogik.- 2.3 Bemerkungen zur Logischen Programmierung.- Übungsaufgaben.- 3 Weitere Logiken.- 3.1 Logiken mit anderen Wertigkeiten.- 3.2 Zusätzliche Operatoren.- Übungsaufgaben.- A Grundlagen.- A.1 Mengen, Relationen, Graphen.- A.2 Wörter über einer Menge.- A.3 Mathematische Induktion.- A.4 Bereehenbarkeit und NP-Vollständigkeit.- B Lösungen ausgewählter Übungsaufgaben.- B.1 Zu Aufgaben des Kapitels 1.- B.2 Zu Aufgaben des Kapitels 2.- B.3 Zu Aufgaben des Kapitels 3.
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: 177 S.
ISBN-13: 9783519005186
ISBN-10: 3519005182
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Dassow, Jürgen
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Maße: 240 x 170 x 11 mm
Von/Mit: Jürgen Dassow
Erscheinungsdatum: 29.04.2005
Gewicht: 0,323 kg
Artikel-ID: 102425840
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9789812835482 | THEORY OF INFORMATION (V1) | Mark Burgin | Buch | Englisch | 2009
THEORY OF INFORMATION (V1)
EAN: 9789812835482
Sprache: Englisch
Von/Mit: Mark Burgin

262,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783110001488 | Zur Grundlegung der Ontologie | Nicolai Hartmann | Buch | XX | Deutsch
Zur Grundlegung der Ontologie
EAN: 9783110001488
Sprache: Deutsch
Von/Mit: Nicolai Hartmann

109,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783519021452 | Kompendium Theoretische Informatik ¿ eine Ideensammlung | Ingo Wegener
Kompendium Theoretische Informatik ¿ eine Ideensammlung
EAN: 9783519021452
Sprache: Deutsch
Von/Mit: Ingo Wegener

37,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783319409122 | The Realization of Star Trek Technologies | Mark E. Lasbury | Buch
The Realization of Star Trek Technologies
The Science, Not Fiction, Behind Brain Implants, Plasma Shields, Quantum Computing, and More
EAN: 9783319409122
Sprache: Englisch
Von/Mit: Mark E. Lasbury

53,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783540662587 | Pi | Algorithmen, Computer, Arithmetik | Christoph Haenel (u. a.)
Pi
Algorithmen, Computer, Arithmetik
EAN: 9783540662587
Sprache: Deutsch
Von/Mit: Christoph Haenel (u. a.)

59,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783826074622 | Ovidius perennis - Unsterblicher Ovid | Kurt Roeske | Taschenbuch
Ovidius perennis - Unsterblicher Ovid
Verwandlungsgeschichten - Verwandelte Geschichten Texte, Bilder und Interpretationen von der Antike bis zu Peter...
EAN: 9783826074622
Sprache: Deutsch
Von/Mit: Kurt Roeske

19,80 €*

Lieferzeit 1-2 Werktage

Cover: 9780821802687 | Miranda, R: Algebraic Curves and Riemann Surfaces | Rick Miranda
Algebraic Curves and Riemann Surfaces
EAN: 9780821802687

116,36 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780691247649 | In Pursuit of Zeta-3 | Paul Nahin | Taschenbuch | Englisch | 2023
In Pursuit of Zeta-3
The World's Most Mysterious Unsolved Math Problem
EAN: 9780691247649
Sprache: Englisch
Von/Mit: Paul Nahin

25,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780262545648 | Computational Formalism | Art History and Machine Learning | Buch
Computational Formalism
Art History and Machine Learning
EAN: 9780262545648
Sprache: Englisch
Von/Mit: Amanda Wasielewski

51,15 €*

Lieferzeit 1-2 Wochen

Cover: 9781575860107 | Knuth, D: Digital Typography | Donald E. Knuth | Taschenbuch | 1998
Knuth, D: Digital Typography
EAN: 9781575860107

41,46 €*

Aktuell nicht verfügbar

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...