Kursseite Startseite StartseiteNeuer Kurs

Formale Mathematik und Beweisassistenten | Zoonk

72. Formale Mathematik und Beweisassistenten

Formuliert Definitionen und Beweise in Beweisassistenten, sodass logische Lücken, versteckte Annahmen und fehlerhafte Abhängigkeiten maschinell erkannt werden.

Analysis und Lineare Algebra

Dieses Kapitel erstellen

Dieses Kapitel ist Teil des Kurses, wurde aber noch nicht erstellt. Erstelle es, um alle Lektionen zu sehen.

Kapitel erstellenNZurück zum KursEsc