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