Dirk Siefkes: Formalisieren und Beweisen

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

Cover: 9783528147570 | Formalisieren und Beweisen | Logik für Informatiker | Dirk Siefkes

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

69,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

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schließlich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an", schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik für Informatiker durchzuführen. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Sätze. " Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logelei, die Offene Prädikatenlogik mit dem Architektenbeispiel und die volle Prädikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich fürs Verstehen sind. Deswegen sieht man beim Blättern so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tätigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollständigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Inhaltsverzeichnis

Einführung.- 1A Formeln schreiben und benutzen.- 1B Allgemeingültige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2A Situationen strukturieren und durch Formeln beschreiben.- 2B Mit Formeln und Strukturen umgehen.- 2C Strukturieren, Formalisieren, Axiomatisieren.- 2D Ableiten.- 3A Quantorenformeln.- 3B Finitisieren und mechanisieren.- 3C Geometrie und Zahlen axiomatisieren.- 3D Stärken und Schwächen.- Anhang Unvollständiger Dialog über Vollständigkeit.- Die Lehrveranstaltung Logik für Informatiker.- Verzeichnisse.- Personenverzeichnis.- Begriffsverzeichnis.- Symbolverzeichnis.

Erscheinungsjahr:	1992
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	280
Reihe:	Lehrbuch Informatik
Inhalt:	259 S. 8 s/w Illustr. 259 S. 8 Abb.
ISBN-13:	9783528147570
ISBN-10:	3528147571
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Siefkes, Dirk
Auflage:	2. Aufl. 1992
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag Lehrbuch Informatik
Maße:	244 x 170 x 16 mm
Von/Mit:	Dirk Siefkes
Erscheinungsdatum:	01.01.1992
Gewicht:	0,488 kg

Ähnliche Produkte