Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

€ 44,45

+ 88 punten

Levertermijn 1 à 4 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

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.