Zur Startseite gehen
0,00 €*
Cover: 9783662556511 | Design Patterns für mathematische Beweise | Norbert Eisinger (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
Design Patterns für mathematische Beweise
Ein Leitfaden insbesondere für Informatiker
Taschenbuch von Norbert Eisinger (u. a.)
Sprache: Deutsch

37,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie hängen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu erörtern, indem sie verbreitete Beweismuster und anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie hängen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu erörtern, indem sie verbreitete Beweismuster und anhand von allgemein verständlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen.
Über den Autor

Professor Dr. Hans Jürgen Ohlbach: Nach seinem Studium der Physik und Mathematik an der Universität Mainz wechselte er in die Informatik und arbeitet auf dem Gebiet Künstliche Intelligenz und Automatisches Beweisen. Er promovierte1988 an der Technischen Universität Kaiserslautern zu einem Thema der nichtklassischen Logik. Anschließend war er für 5 Jahre stellvertretender Direktor am Max-Planck Institut für Informatik in Saarbrücken. Von 1996 an arbeitete er in London, zunächst am Imperial College, und dann am King's College, bis er im Jahr 2000 an das Institut für Informatik der Ludwig-Maximilians Universität in München berufen wurde.Dort war er über 10 Jahre als Studiendekan maßgeblich an der Einführung und Gestaltung der Bachelor- und Masterstudiengänge beteiligt.

Dr. Norbert Eisinger studierte Informatik (Diplom) an der Universität Karlsruhe und promovierte im Fachbereich Informatik der Universität Kaiserslautern. Nach einigen Jahren an einem industriellen Forschungszentrum arbeitete er seit 1993 als wissenschaftlicher Angestellter am Institut für Informatik der Universität München. Dort unterrichtete er unter Anderem Themen der theoretischen Informatik und sammelte dabei viel Erfahrung mit typischen Schwierigkeiten, die mathematische Themen bei vielen Studierenden verursachen.

Zusammenfassung
Design pattern (Kochrezepte) für die Strukturierung von mathematischen Beweisen
24 verschiedene Beweismuster
70 Illustrationsbeispiele aus dem Alltag, der Mathematik und der Informatik
Intuitive Einführung transfiniter Konzepte
Inhaltsverzeichnis
I: Einfache und komplexe Beweismuster.- Einleitung.- Vorbereitung: Arten des Schließens.- Vorbereitung: Schreibweisen der Logik.- Einfache Beweismuster.- Komplexe Beweismuster.- Vollständige Induktion.- II: Transfinite Ordinalzahlen und transfinite Induktion.- Einleitung.- Vollständige Induktion und Grenzwertbildung.- Transfinite Ordinalzahlen.- Transfinite Induktion.- Exkurs: mathematisches Arbeiten.- Anhang.- Literatur.- Index.
Details
Erscheinungsjahr: 2017
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xi
184 S.
2 s/w Illustr.
184 S. 2 Abb.
ISBN-13: 9783662556511
ISBN-10: 3662556510
Sprache: Deutsch
Herstellernummer: 978-3-662-55651-1
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Eisinger, Norbert
Ohlbach, Hans Jürgen
Auflage: 1. Aufl. 2017
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Maße: 240 x 168 x 11 mm
Von/Mit: Norbert Eisinger (u. a.)
Erscheinungsdatum: 14.09.2017
Gewicht: 0,339 kg
Artikel-ID: 109768893
Über den Autor

Professor Dr. Hans Jürgen Ohlbach: Nach seinem Studium der Physik und Mathematik an der Universität Mainz wechselte er in die Informatik und arbeitet auf dem Gebiet Künstliche Intelligenz und Automatisches Beweisen. Er promovierte1988 an der Technischen Universität Kaiserslautern zu einem Thema der nichtklassischen Logik. Anschließend war er für 5 Jahre stellvertretender Direktor am Max-Planck Institut für Informatik in Saarbrücken. Von 1996 an arbeitete er in London, zunächst am Imperial College, und dann am King's College, bis er im Jahr 2000 an das Institut für Informatik der Ludwig-Maximilians Universität in München berufen wurde.Dort war er über 10 Jahre als Studiendekan maßgeblich an der Einführung und Gestaltung der Bachelor- und Masterstudiengänge beteiligt.

Dr. Norbert Eisinger studierte Informatik (Diplom) an der Universität Karlsruhe und promovierte im Fachbereich Informatik der Universität Kaiserslautern. Nach einigen Jahren an einem industriellen Forschungszentrum arbeitete er seit 1993 als wissenschaftlicher Angestellter am Institut für Informatik der Universität München. Dort unterrichtete er unter Anderem Themen der theoretischen Informatik und sammelte dabei viel Erfahrung mit typischen Schwierigkeiten, die mathematische Themen bei vielen Studierenden verursachen.

Zusammenfassung
Design pattern (Kochrezepte) für die Strukturierung von mathematischen Beweisen
24 verschiedene Beweismuster
70 Illustrationsbeispiele aus dem Alltag, der Mathematik und der Informatik
Intuitive Einführung transfiniter Konzepte
Inhaltsverzeichnis
I: Einfache und komplexe Beweismuster.- Einleitung.- Vorbereitung: Arten des Schließens.- Vorbereitung: Schreibweisen der Logik.- Einfache Beweismuster.- Komplexe Beweismuster.- Vollständige Induktion.- II: Transfinite Ordinalzahlen und transfinite Induktion.- Einleitung.- Vollständige Induktion und Grenzwertbildung.- Transfinite Ordinalzahlen.- Transfinite Induktion.- Exkurs: mathematisches Arbeiten.- Anhang.- Literatur.- Index.
Details
Erscheinungsjahr: 2017
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xi
184 S.
2 s/w Illustr.
184 S. 2 Abb.
ISBN-13: 9783662556511
ISBN-10: 3662556510
Sprache: Deutsch
Herstellernummer: 978-3-662-55651-1
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Eisinger, Norbert
Ohlbach, Hans Jürgen
Auflage: 1. Aufl. 2017
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Maße: 240 x 168 x 11 mm
Von/Mit: Norbert Eisinger (u. a.)
Erscheinungsdatum: 14.09.2017
Gewicht: 0,339 kg
Artikel-ID: 109768893
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...