Programmieren = Beweisen

Eine Eigenschaft X gilt für alle natürlichen Zahlen gdw.

ein Programm, das ein Gegenbeispiel sucht, terminiert nicht :

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen