Allgemeine Frage: Beweis der Korrektheit – Community https://www.einstieg-informatik.de/community/forums/topic/194/allgemeine-frage-beweis-der-korrektheit/view/post_id/1007
Hallo, angenommen ich habe für eine Aufgabe einen Algorithmus, welcher von Mathematikern entwickelt wurde und schon seit langem bekannt ist. Außerdem hat dieser Algorithmus Eigenschaften, welcher für die Aufgabenstellung essenziell sind. Muss ich nun in der Dokumentation diese Eigenschaft mathematisch nachweisen, oder reicht es, zu sagen, dass diese Eigenschaft schon bewiesen wurde? Kann ich einfach einen Verweis auf eine Online Quelle machen, wo diese und andere Eigenschaften bewiesen wurde? Grüße, Jan
Warum das Rad neu erfinden?