Overview
- 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
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Einfache und komplexe Beweismuster
-
Transfinite Ordinalzahlen und transfinite Induktion
Keywords
- Äquivalenzbeweis
- Allbeweis
- Bauminduktion
- Diagonalisierung
- Existenzbeweis
- Fallunterscheidung
- Hilberts Hotel
- Implikationsbeweis
- Kontraposition
- Noethersche Induktion
- Ordinalzahlen
- Reduktion
- Widerlegung
- Widerspruch
- k-Induktion
- strukturelle Induktion
- transfinite Induktion
- vollständige Induktion
- Buch
- algorithm analysis and problem complexity
About this book
Authors and Affiliations
About the authors
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.
Bibliographic Information
Book Title: Design Patterns für mathematische Beweise
Book Subtitle: Ein Leitfaden insbesondere für Informatiker
Authors: Hans Jürgen Ohlbach, Norbert Eisinger
DOI: https://doi.org/10.1007/978-3-662-55652-8
Publisher: Springer Vieweg Berlin, Heidelberg
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer-Verlag GmbH Deutschland 2017
Softcover ISBN: 978-3-662-55651-1Published: 14 September 2017
eBook ISBN: 978-3-662-55652-8Published: 04 September 2017
Edition Number: 1
Number of Pages: XI, 184
Number of Illustrations: 2 b/w illustrations
Topics: Math Applications in Computer Science, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Symbolic and Algebraic Manipulation