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 ...
Read More
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.
Read Less
Add this copy of Formalisieren Und Beweisen: Logik Für Informatiker to cart. $56.35, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1990 by Vieweg+teubner Verlag.
Add this copy of Formalisieren Und Beweisen: Logik Für Informatiker to cart. $63.44, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1990 by Vieweg+teubner Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 262 p. Contains: Unspecified. Lehrbuch Informatik. Language: German-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Formalisieren Und Beweisen: Logik Für Informatiker to cart. $70.44, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1992 by Vieweg+teubner Verlag.
Add this copy of Formalisieren Und Beweisen: Logik Für Informatiker to cart. $78.61, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1992 by Vieweg+teubner Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 259 p. Contains: Illustrations, black & white. Lehrbuch Informatik. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Formalisieren Und Beweisen: Logik Für Informatiker to cart. $92.46, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1990 by Vieweg+Teubner Verlag.
