Design Patterns F? Mathematische Beweise: Ein Leitfaden Insbesondere F? Informatiker (Paperback, 1. Aufl. 2017)

I: Einfache und komplexe Beweismuster.- Einleitung.- Vorbereitung: Arten des Schließens.- Vorbereitung: Schreibweisen der Logik.- Einfache Beweismuster.- Komplexe Beweismuster.- Vollstandige Induktion.- II: Transfinite Ordinalzahlen und transfinite Induktion.- Einleitung.- Vollstandige Induktion und Grenzwertbildung.- Transfinite Ordinalzahlen.- Transfinite Induktion.- Exkurs: mathematisches Arbeiten.- Anhang.- Literatur.- Index.