Design Patterns für mathematische Beweise Ein Leitfaden insbesondere für Informatiker
Anschließend war er stellvertretender Direktor am Max-Planck Institut für Informatik in Saarbrücken und arbeitete in London am Imperial College und am King's College, bis er an das Institut für Informatik der Ludwig-Maximilians Universität in München berufen wurde. Dort war er als Studiendekan...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | German |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2017, 2017
|
Edition: | 1st ed. 2017 |
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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