9Hitze
6Antwort
Einen Beweis für einen Algorithmus schreiben
4Hitze
1Antwort
Wie kann ich beweisen, dass dieser binäre Suchalgorithmus korrekt ist, indem er die Logik verwendet?
3Hitze
1Antwort
Google APAC (CodeJam) Tiling-Algorithmus
1Hitze
1Antwort
Lösen Sie die Speicherverwaltungsprobleme, indem Sie die Programmkorrektheit wie mit coq?
11Hitze
1Antwort
Gibt es eine Möglichkeit, Eigenschaften über meine C++ - Programme zu beweisen?
-1Hitze
1Antwort
Welche Programmiersprache hat den spezifischen Zweck, gleichzeitige Algorithmen zu testen?
0Hitze
1Antwort
Wie schreibe ich den Begriff in Typ-Signatur für den Nachweis in Idris?