Mathematik mit Kalkülen und Maschinen. (Logik und Grundlagen der Mathematik. Herausgegeben von Dieter Rödding. Band 20)
5 Angebote vergleichen

Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
used books,books, Mathematik MIT Kalkülen und Maschinen, 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 Beschaftigu.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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.184 S. 184S. 235 mmVersandfertig in 3-5 Tagen, Softcover.

Lieferung aus: Vereinigte Staaten von Amerika, E-Book zum download.
Mathematics, 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. eBook.

adamsbuch, [3833848].
Hardcover mit 184 Seiten, Stempel auf der letzten Innenseite, sonst keine weiteren Einträge. Leichter Papierabriß auf der Rückseite, durch Entfernen des Preisaufklebers, sonst guter Zustand.

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen