Logic for Programmers: Wie Mathematik Software besser macht
Ich habe ein Buch geschrieben, das zeigt, wie Logik das Design und die Verifikation von Software verbessert. Ohne tiefes Mathematikwissen erlernen erfahrene Entwickler praktische Techniken, von der Vereinfachung von Bedingungen bis zur formellen Verifikation mit Dafny. Jeder Kapitel ist unabhängig und bietet konkrete Anwendungen für den Alltag.
In Python ist all([]) == True, weil True die Identität des Und-Operators ist und diese Eigenschaft für jede Liste erhalten bleiben muss.