Mathematik mit Kalkülen und Maschinen
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Calculi nannten die Romer die Steinchen, mit denen sie auf dem Rechenbrett (lat. abacus) rechneten. Von diesem Wort ist das Wort ,,Kalktil" abgeleitet. Ein Beispiel fiir Kalktile sind die Logikkalktile. Das sind Regelsysteme zur formalen Umformung von Sprachpartikeln mit dem Ziel, logische Beweise zu formalisieren und auf kombinatorische Umformungen zuriickzufiihren. Allgemein sind Kalktile Regelsysteme zur rein formalen Umformung von Zeichenreihen. Diese brauchen nicht nur lineare Worte iiber einem Alphabet zu sein, es kann sich auch urn Muster in der Ebene oder im Raum handeln, die nach Regeln umge formt werden. FaBt man Spielregeln fiir Brettspiele (Legespiele) als Kalkiile auf, ist man der urspriinglichen Wortbedeutung wieder sehr nahe gekommen. Unter (Rechen)Maschinen stellt man sich Apparate zur automatischen Verarbeitung von Informationen vor. Dabei soli der Dbergang von einem Zustand in einen neuen nach festen Regeln (Programmen) verlaufen. In diesem Sinne stellen theoretische Modelle von Rechenmaschinen spezielle Kalkiile dar. Dieses Buch soli einen Einblick in ein Gebiet der mathematischen Grundlagenforschung geben, das sich mit dem kombinatorischen Hintergrund der Mathematik beschaftigt. Es sollen verschiedene Ansatze aufgezeigt werden, den intuitiven Begriff "Rechnen" mathe matisch zu prazisieren. Die Worte ,,Maschine" und "Kalkiil" (Regelsystem) bezeichnen dabei zwei Akzente, unter denen die intuitiven Vorstellungen prazisiert werden sollen. Bei der Beschaftigung mit Kalktilen und Maschinen geht es deshalb nicht urn die Behandlung verschiedener Gebiete, sondem urn die Untersuchung verwandter Theorien unter ver schiedenen Aspekten. von Cohors-Fresenborg, Elmar
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- hardcover
- 737 Seiten
- Erschienen 2014
- Wiley-VCH
- Hardcover
- 120 Seiten
- Erschienen 2020
- Persen Verlag in der AAP Le...
- Hardcover
- 88 Seiten
- Erschienen 2021
- Auer Verlag in der AAP Lehr...
- Hardcover
- 72 Seiten
- Erschienen 2015
- Auer Verlag in der AAP Lehr...
- Hardcover
- 510 Seiten
- Erschienen 2018
- De Gruyter
- Hardcover
- 560 Seiten
- Erschienen 2021
- Cornelsen Lernhilfen
- Hardcover
- 356 Seiten
- Erschienen 2005
- Oldenbourg Wissenschaftsverlag
- Hardcover
- 376 Seiten
- Erschienen 2018
- Cornelsen Verlag
- Hardcover
- 400 Seiten
- Erschienen 2007
- Cornelsen Verlag
- Hardcover
- 784 Seiten
- Erschienen 1995
- Cornelsen Lernhilfen
- Hardcover
- 504 Seiten
- Erschienen 2021
- Carl Hanser Verlag GmbH & C...
- Hardcover
- 304 Seiten
- Erschienen 2021
- Buchner, C.C.
- Hardcover
- 96 Seiten
- Erschienen 2009
- Merkur Rinteln
- ring_bound -
- Erschienen 2012
- Naumann Göbel
- hardcover
- 737 Seiten
- Erschienen 2014
- Wiley-VCH
- Hardcover
- 120 Seiten
- Erschienen 2020
- Persen Verlag in der AAP Le...