Schlagwort Mathematik / Logik – alle Bücher, Seite 2

Andreas Müller
Automaten und Sprachen: Theoretische Informatik für die Praxis

Dieses Lehrbuch entwickelt die theoretischen Grundlagen der Informatik mit möglichst direktem Anwendungsbezug: Es versteht die theoretische Informatik als einen Werkzeugkasten, der es Softwareingenieuren …

lieferbar innerhalb 2-3 Wochen

Buch

Sandra Müller
Faszination Unendlichkeit

Vielfalt der Mathematik

Jeder kennt sie, sie ist immer da, aber nie so richtig - die Unendlichkeit. Aber was meinen wir eigentlich, wenn wir sagen, dass etwas unendlich groß ist? Gibt es nur die eine Unendlichkeit oder zwei oder…

Erscheint bald

Buch

Christy Needham,
Big Fat Notebook - Alles, was du für Geometrie brauchst

Keine Lust auf Geometrie? Damit ist jetzt Schluss.So bekommst Du den Schulstoff von der 7. bis zur 10. Klasse in den Griff! Mit Definitionen, Lerntipps, Übungsseiten, Lösungen und Doodles. Für bessere Not…

sofort lieferbar

Buch

Jacopo Parravicini
The Foundations of Experimental Physics

Standard STEM courses, for all of their value, do not tend to include systematic lectures or treatment about the nature of the scientific method. This book aims to provide a wide reflection on the general…

lieferbar innerhalb 2-3 Wochen

Buch

Jörg Resag
Risse im Fundament

Woher wissen wir was wahr ist? Wofür brauchen wir mathematische Beweise? Was hat es mit Gödels berühmten Unvollständigkeitssätzen auf sich? In diesem Sachbuch tauchen wir ein in die Aussagekraft mathemati…

lieferbar innerhalb 2-3 Wochen

Buch

Aeneas Rooch,
Die Entdeckung der Unendlichkeit

Was ist die Unendlichkeit? Gibt es verschiedene Unendlichkeiten? Vielleicht sogar in unterschiedlichen Größen? Wächst die Unendlichkeit immer weiter und ist niemals abgeschlossen? Oder gibt es auch eine U…

lieferbar ab 11.2.2026.

Buch

Volker Scheidemann
Mathematik, wirklich für Informatiker:innen

Dieses Lehrbuch für das Grundstudium soll angehende Informatikerinnen und Informatiker dazu inspirieren, mathematische Methoden mit Begeisterung anzuwenden, um bessere Lösungen für die Herausforderungen z…

lieferbar ab 1.6.2026.

Buch

Susanne Schindler-Tschirner, Werner Schindler
Mathematische Geschichten für begabte Grundschülerinnen und Grundschüler

.- 1 Einführung..- 2 Wie alles began..- 3 Musterlösung zu Kapitel 2..- Teil I Aufgaben..- 4 Bunte Mathematik..- 5 Schon wieder Aufgaben ohne Lösung..- 6 Gefährliches Spiel gegen einen Drachen..- 7 Revanch…

lieferbar innerhalb 2-3 Wochen

Buch

Susanne Schindler-Tschirner, Werner Schindler
Mathematische Geschichten für begabte Schülerinnen und Schüler in der Unterstufe

essentials

Entdecken und fördern Sie mit diesem inspirierenden und praxisnahen Buch das Potenzial mathematisch begabter Schülerinnen und Schüler in den Klassenstufen 5 bis 7! Sorgfältig ausgearbeitete Lerneinheiten …

lieferbar ab 12.4.2026.

Buch

Susanne Tepel
Logik trifft Logos

Praktische Theologie heute - Band 210

Mathematik als ungewohnte Inspirationsquelle für Theologie: Das Buch entwickelt aus der Unterscheidungslogik der "Gesetze der Form" (George Spencer-Brown) und soziologischen Diagnosen zur "…

lieferbar ab 28.2.2026.

Buch

George Tourlakis
Axiomatic Set Theory

Synthesis Lectures on Mathematics & Statistics

This book discusses set theory as the foundation and language of all mathematics and how axiomatic set theory benefits from advances in logic. Chapters are written to be accessible and formative for major…

lieferbar ab 4.4.2026.

Buch

Thomas Unnerstall
Unsere Zukunft wird gut (sehr wahrscheinlich)

Hat die Geschichte des Menschen eine Richtung, ein Ziel -- oder ist sie nur ein ewiges Auf und Ab von Kulturen, Regierungen, Gesellschaftssystemen, Wirtschaftsformen, Meinungen? Ist sie also von Gesetzmäß…

lieferbar ab 15.4.2026.

Buch

Alfred North Whitehead, Bertrand Russell,
Principia Mathematica

suhrkamp taschenbücher wissenschaft - Band 593

Anknüpfend an die Cantorsche Mengenlehre und aufbauend auf Freges überlegungen zur Beweistheorie sowie Peanos Symbolismus, gelang es in den Principia Mathematica erstmals, weite Bereiche der Mathematik au…

sofort lieferbar

Buch

Anja Wrede,
Tüfteln und Knobeln mit Dominosteinen. 30 Karten mit kniffligen Rätseln für Kinder

Denk- und Legespiele für Kinder

Rätselaufgaben für kluge Kids: Mit Dominosteinen Logik und Zahlenverständnis übenEin Haus, eine Spirale oder andere geometrische Figuren aus Dominos nachlegen und dabei die Punkte auf den Steinen beachten…

lieferbar innerhalb 1-2 Wochen

Sonstige Artikel

Tanya Zakowich
50 Mathe-Tricks

Verblüffende Zahlenhacks für neugierige erwachsene und mutige Schülerinnen und Schüler! In diesem genialen Buch findest du über 50 unglaubliche Methoden, wie du mit Zahlen jonglieren kannst, um Gleichunge…

lieferbar ab 15.4.2026.

Buch

Big Fat Notebook - Alles, was du für Mathe brauchst

"Locker und anschaulich aufbereitet. Ein aufwendig gestaltetes Mathe-Nachschlagewerk, das es auch für Eltern einfacher macht, sich in die Thematik einzuarbeiten." Berliner Morgenpost"Locker…

sofort lieferbar

Buch

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1894-1917

Volume 2 focuses on notes for lectures on the foundations of the mathematical sciences held by Hilbert in the period 1894-1917. They document Hilbert's first engagement with 'impossibility' proofs; his ea…

Erscheint bald

Buch

Logische Denkrätsel. Ab 10 Jahren

Rätsel, Spaß, Spiele

Kreuzworträtsel, Logicals, Buchstaben- und Zahlen-Rätsel laden Kinder ab 10 Jahren ein, logisches Denken auf spielerische Weise zu trainieren. Würfel zählen, Streichhölzer legen, Zahlenreihen erkennen geh…

lieferbar innerhalb 1-2 Wochen

Buch

Metainferences in Substructural Logics

Synthese Library - Band 528

This book provides a comprehensive overview of different logics from a metainferential standpoint. It starts with a metainferential presentation of Classical Logic, and then moves onto other systems where…

lieferbar innerhalb einer Woche

Buch

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch