Bücher Bücher Elektronik, Foto Elektronik, Foto Sport und Freizeit Sport und Freizeit
Drogerie und Bad Drogerie und Bad Haus, Garten, Küche Haus, Garten, Küche Spielzeug Spielzeug
Computerspiele Computerspiele Software Software Küchengeräte Küchengeräte
DVDs - Filme DVDs - Filme Lebensmittel Lebensmittel Musik-CDs Musik-CDs
Buch, Hörbücher
Fachbücher
Mathematik

Grundlagen 07

Logik
Mengenlehre
Modelltheorie
Zahlen
Reflexive Structures: An Introduction to Computability Theory - Luis E. Sanchis

Reflexive Structures: An Introduction to Computability Theory

Luis E. Sanchis

Gebundene Ausgabe


Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik - Oliver Bittel

Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik

Oliver Bittel

B, Broschiert


Mengen - Relationen - Funktionen: Eine anschauliche Einführung - Ingmar Lehmann

Mengen - Relationen - Funktionen: Eine anschauliche Einführung

Ingmar Lehmann

Taschenbuch


Philosophie der Mathematik - Roman Murawski

Philosophie der Mathematik

Roman Murawski

Taschenbuch


Broschiertes Buch
Dieses Werk gibt eine Einführung in philosophische Probleme und Hintergründe des mathematischen Denkens und Sprechens, Lehrens und Lernens. Es wendet sich an Lehrende und Studierende der Mathematik und Philosophie. Ausgangspunkt und immer wieder Bezugspunkt sind die reellen Zahlen. In pointierter Weise werden mathematische und philosophische Probleme und Fragen vermerkt, die sich auf dem Weg zu ihnen stellen. Ein umfangreicher Abriss von Auffassungen aus der Geschichte der Mathematik und Philosophie bis hin zu aktuellen Strömungen bildet den Hintergrund für ihre Diskussion. Kapitel über Mengenlehre, Logik und Axiomatik, über ungelöste und unlösbare Probleme und fundamentale Ergebnisse schließen sich an. Ein Rückblick schließt den Text ab. Die Erweiterung der zweiten Auflage betrifft im Kern drei Themen: Die Differenz zwischen Wahrheit und Beweisbarkeit, das philosophische Problem der Anwendbarkeit der Mathematik und den Begriff des Kontinuums. Sie führte zu einer Überarbeitung weiter Teile des Buches. Der Rückblick ist neu geschrieben. Die Autoren Thomas Bedürftig ( Leibniz Universität Hannover) und Roman Murawski ( Adam Mickiewicz Universität Poznan) sind Mathematiker mit den Forschungsgebieten Philosophie, Geschichte und Grundlagen der Mathematik, Mathematikdidaktik und mathematische Logik.

Monte Carlo-Algorithmen (Springer-Lehrbuch) (German Edition) - Thomas Müller-Gronbach

Monte Carlo-Algorithmen (Springer-Lehrbuch) (German Edition)

Thomas Müller-Gronbach

Taschenbuch


Ausgabe 2012 Ausrangiertes Bibliotheksexemplar

Numerische Verfahren der konvexen, nichtglatten Optimierung: Eine anwendungsorientierte Einführung (German Edition) - Walter Alt

Numerische Verfahren der konvexen, nichtglatten Optimierung: Eine anwendungsorientierte Einführung (German Edition)

Walter Alt

Taschenbuch


Eine anwendungsorientierte Einführung
Broschiertes Buch
Konvexe Optimierungsprobleme mit einer nichtglatten Zielfunktion treten in vielen Anwendungen auf, beispielsweise im Zusammenhang mit Penalty-Verfahren für differenzierbare Optimierungsprobleme, mit der Lagrange-Relaxation bei kombinatorischen Optimierungsproblemen oder bei der Strukturoptimierung von Stabwerken. Die wichtigsten numerischen Verfahren zur Lösung solcher Optimierungsprobleme sind Subgradienten- und Bundle-Verfahren. Das Buch gibt eine kompakte Einführung in die Grundlagen dieser Verfahren, die den Leser in die Lage versetzt, einfache Versionen der Verfahren selbst zu implementieren.

Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition) - Dirk Siefkes

Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)

Dirk Siefkes

Taschenbuch


Buch, Hörbücher, Kategorie Grundlagen, Weitere Seiten:
 1      2      3      4      5      6      7