mathematik / logik  (623 Angebote unter 29.216.251 Artikeln)

Dieser Band enthält fotomechanische Nachdrucke klassischer Arbeiten von Giuseppe Peano zur Analysis und zur mathematischen Logik aus den Jahren 1886 bis 1899, denen für die Herausbildung der gegenw...

Inhal tsverzei chnis.- 1 -- Einleitung und Motivation.- 2 -- Unscharfe Mathematik.- 2.1 Unscharfe Mengen.- 2.2 Unscharfe Logik.- 2.3 Unscharfe Zahlen.- 2.4 Ausführliche Beispiele.- 3 -- Anwendung.-...

1 Einführung und mathematische Grundlagen.- 1.1 Einführung in die Fragestellung.- 1.2 Allgemeine mathematische Grundbegriffe.- 1.3 Berechenbarkeit.- 1.4 Erzeugungssysteme, Termmengen.- 2 Aussagenlo...

Logik, Mengen, Zahlen, Folgen, Reihen

The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which commemorated the discovery of the famous Russell Pa...

Logische Untersuchungen über die Grundlagen der Mathematik und ihrer Topologie im metrischen Raum.

1 Grundbegriffe der Prädikatenlogik.- 1.1 Syntax der Prädikatenlogik.- 1.2 Semantik der Prädikatenlogik.- 1.3 Normierung der Syntax: Gentzenformeln und die Schnittregel.- 1.4 Normierung der Semanti...

I: Das Kontinuum.- §1 Was sind die reellen Zahlen?.- §2 Sprache als ein Teil der Mathematik.- §3 Elementare Theorie der reellen Zahlen.- §4 Non-standard Analysis.- §5 Auswahlaxiom und Kontinuumhypo...

Weshalb wird ein so bedeutender Mathematiker wie Cauchy von Hegel kaum rezipiert? - Es erscheint als eine Verengung von Hegels Sichtfeld in die Entwicklung der mathematischen Grundbegriffe seiner Z...

Einfache Übungen mit Bildern ohne Texte, von Kindern selbst zu lösen zur Förderung des genauen Beobachtens, Vergleichens und Zuordnens. Die Kinder lernen mit diesen Heften, Sinnzusammenhänge zwisch...

David Kollosche geht der Frage nach, worin der gesellschaftliche Beitrag von gegenwärtigem Mathematikunterricht an deutschen Sekundarschulen besteht. Den normativen Vorgaben der mathematikdidaktisc...

I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: ...

0 Orientierung.- 0.1 Das Lösen linearer Gleichungssysteme, Gaußsches Verfahren.- 0.2 Standardveranschaulichung.- 0.3 Metrische Standardgrößen.- 1 Einige Grundstrukturen der Algebra.- 1.1 Der Gruppe...

»Die Rätsel erfordern nicht nur Logik oder nicht nur Mathematik - sie fordern auch eine gehörige Portion Kreativität. Sie sind nicht ganz ohne, meist nicht auf den ersten Blick zu lösen. Sie sind g...

I. Die definite Sprache I.- II. Formaler Aufbau der Syntax der Sprache I.- III. Die indefinite Sprache II.- IV. Allgemeine Syntax.- V. Philosophie und Syntax.- Literaturverzeichnis und Namenregister.