Can I read Formalisieren und Beweisen : Logik für Informatiker on EtoBox?

Formalisieren und Beweisen : Logik für Informatiker by Dirk Siefkes (auth.) is a nonfiction available to read on EtoBox.

What is Formalisieren und Beweisen : Logik für Informatiker about?

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 e

Who reads Formalisieren und Beweisen : Logik für Informatiker?

Author

Dirk Siefkes (auth.)

Publisher

Vieweg+Teubner Verlag

Published

1992

Language

DE

ISBN

9783528147570

Category

nonfiction

Subjects

Computer Science, Mathematics, Language Learning