Udvidet returret til d. 31. januar 2025

Formalisieren und Beweisen

Bag om Formalisieren und Beweisen

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein­ leitung zu seinem Buch Geist und Natur1 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 schlieBlich aus: Dabei flillt 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 for Informatiker durchzufiihren. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Satze. " Deswegen beginnt jeder Tell dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfuhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf­ logeiei, die Offene Pradikatenlogik mit dem Architektenbeispiel und die volle Priidikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich furs Verstehen sind. Deswegen sieht man beim Blattem 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, Tlitigkeiten, und nicht Logik und I nformatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstandigkeit, logische Theorie, Axiomensystem Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Vis mere
  • Sprog:
  • Tysk
  • ISBN:
  • 9783528047573
  • Indbinding:
  • Paperback
  • Sideantal:
  • 259
  • Udgivet:
  • 1. januar 1990
  • Udgave:
  • 1990
  • Størrelse:
  • 172x244x19 mm.
  • Vægt:
  • 488 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 21. november 2024

Beskrivelse af Formalisieren und Beweisen

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein­ leitung zu seinem Buch Geist und Natur1 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 schlieBlich aus: Dabei flillt 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 for Informatiker durchzufiihren. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Satze. " Deswegen beginnt jeder Tell dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfuhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf­ logeiei, die Offene Pradikatenlogik mit dem Architektenbeispiel und die volle Priidikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich furs Verstehen sind. Deswegen sieht man beim Blattem 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, Tlitigkeiten, und nicht Logik und I nformatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstandigkeit, logische Theorie, Axiomensystem Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Brugerbedømmelser af Formalisieren und Beweisen



Find lignende bøger
Bogen Formalisieren und Beweisen findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.