Formalisieren und Beweisen.pdf

Formalisieren und Beweisen

Dirk Siefkes

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.

Formalisieren und Beweisen - Logik für Informatiker | Dirk ...

3.13 MB DATEIGRÖSSE
9783528147570 ISBN
Formalisieren und Beweisen.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im www.kauf-gebrauchtes.de Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofya Voigtuh

Formalisieren und Beweisen: Logik für Informatiker Lehrbuch Informatik: Amazon.es: Dirk Siefkes: Libros en idiomas extranjeros. Saltar al contenido principal. Prueba Prime Todos los departamentos. Ir Buscar Hola, Identifícate Cuenta y listas Identifícate Cuenta y listas Formalisieren Und Beweisen: Logik Fur Informatiker ...

avatar
Mattio Müllers

Formalisieren Und Beweisen: Logik Fur Informatiker ...

avatar
Noels Schulzen

(d)Formalisieren Sie die folgenden Konstruktionen der Alltagssprache, indem Sie geeignete Aussagen und Aussageformen de nieren und diese mit Hilfe der Ihnen zur Verf ugung stehenden logischen Verkn upfungen miteinander in Beziehung setzen. (i)Ist es heiˇ, so schmilzt das Eis, es sei denn, ich besitze einen Eisschrank.

avatar
Jason Leghmann

Definition, Rechtschreibung, Synonyme und Grammatik von 'formalisieren' auf Duden online nachschlagen. Wörterbuch der deutschen Sprache.

avatar
Jessica Kolhmann

Bei reBuy Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) - Dirk Siefkes, . gebraucht kaufen und bis zu 50% sparen gegenüber Neukauf. Geprüfte Qualität und 36 Monate Garantie. In Bücher stöbern!