Jürgen Dassow: Logik für Informatiker | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9783519005186 | Logik für Informatiker | Jürgen Dassow | Taschenbuch | 177 S. | 2005

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

34,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Beschreibung

Das Buch behandelt 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 Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert.

Das Buch behandelt 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 Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle für die Informatik wichtige weitere Logiken werden ebenfalls intensiv 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
Seiten:	176
Inhalt:	177 S.
ISBN-13:	9783519005186
ISBN-10:	3519005182
Sprache:	Deutsch
Herstellernummer:	978-3-519-00518-6
Autor:	Dassow, Jürgen
Hersteller:	Vieweg+Teubner Vieweg+Teubner Verlag
Abbildungen:	177 S.
Maße:	240 x 171 x 15 mm
Von/Mit:	Jürgen Dassow
Erscheinungsdatum:	29.04.2005
Gewicht:	0,32 kg

preigu-id: 102425840

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
Seiten:	176
Inhalt:	177 S.
ISBN-13:	9783519005186
ISBN-10:	3519005182
Sprache:	Deutsch
Herstellernummer:	978-3-519-00518-6
Autor:	Dassow, Jürgen
Hersteller:	Vieweg+Teubner Vieweg+Teubner Verlag
Abbildungen:	177 S.
Maße:	240 x 171 x 15 mm
Von/Mit:	Jürgen Dassow
Erscheinungsdatum:	29.04.2005
Gewicht:	0,32 kg

preigu-id: 102425840

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9780395929681 | The Mathematical Experience | Philip J. Davis (u. a.) | Taschenbuch

The Mathematical Experience

EAN: 9780395929681

Sprache: Englisch

Von/Mit: Philip J. Davis (u. a.)

26,90 €*

Lieferzeit 4-7 Werktage

Buch

Cover: 9783127404814 | Schnittpunkt 8. Mathematik für Realschulen. Nordrhein-Westfalen | Buch

Schnittpunkt 8. Mathematik für Realschulen. Nordrhein-Westfalen

EAN: 9783127404814

Sprache: Deutsch

Maße: 267 x 202 x 18 mm

32,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783637026940 | Informatik Band 2 - Natur und Technik: Internet und Algorithmen -...

Informatik Band 2 - Natur und Technik: Internet und Algorithmen - Gymnasium Bayern

EAN: 9783637026940

Sprache: Deutsch

Von/Mit: Albert Wiedemann

Maße: 261 x 192 x 15 mm

23,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783064000148 | Schlüssel zur Mathematik 5. Schuljahr - Differenzierende Ausgabe...

Schlüssel zur Mathematik 5. Schuljahr - Differenzierende Ausgabe Mittelschule Sachsen - Arbeitsheft mit Lösungsbeileger

EAN: 9783064000148

Sprache: Deutsch

Maße: 297 x 210 x 15 mm

10,99 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781593279790 | Write Great Code, Volume 3: Engineering Software | Randall Hyde | Buch

Write Great Code, Volume 3: Engineering Software

EAN: 9781593279790

Sprache: Englisch

Von/Mit: Randall Hyde

50,50 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9783662592458 | Computerphysik | Einführung, Beispiele und Anwendungen | Gerlach

Einführung, Beispiele und Anwendungen

EAN: 9783662592458

Sprache: Deutsch

Von/Mit: Stefan Gerlach

37,99 €*

Lieferzeit 4-7 Werktage

Buch

Cover: 9781951204037 | A Programmer's Guide to Computer Science | William M Springer II

A Programmer's Guide to Computer Science

A virtual degree for the self-taught developer

EAN: 9781951204037

Sprache: Englisch

Von/Mit: William M Springer II

57,40 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9781352010275 | Engineering Mathematics | K.A. Stroud (u. a.) | Taschenbuch | 1180 S.

Engineering Mathematics

EAN: 9781352010275

Sprache: Englisch

Von/Mit: Dexter J. Booth (u. a.)

74,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783127311464 | Informatik 2 (Tabellenkalkulationssysteme, Datenbanken,...

Informatik 2 (Tabellenkalkulationssysteme, Datenbanken, Objektorientierte Programmierung, Datenschutz).Lösungen...

EAN: 9783127311464

Sprache: Deutsch

Maße: 292 x 205 x 8 mm

20,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781803234151 | Learn Blender Simulations the Right Way | Stephen Pearson | Buch

Learn Blender Simulations the Right Way

Create attractive and realistic animations with Mantaflow, rigid and soft bodies, and Dynamic Paint

EAN: 9781803234151

Sprache: Englisch

Von/Mit: Stephen Pearson

82,40 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9798218313302 | DMN Method and Style | 3rd edition, with DMN Cookbook | Bruce Silver

DMN Method and Style

3rd edition, with DMN Cookbook

EAN: 9798218313302

Sprache: Englisch

Von/Mit: Bruce Silver

53,95 €*

Lieferzeit 1-2 Wochen