|
|
Aufgaben
Wir freuen uns über Menschen, die dieses Projekt unterstützen möchten. Zu dem geplanten weiteren Vorgehen siehe unter Planung. Über eine generelle Mitarbeit hinaus können wir Hilfe für die folgenden Aufgaben gebrauchen. Auch Hinweise auf Schwachstellen, Fehler und sonstige Informationen sind willkommen.
| Lektor gesucht |
Zur Zeit arbeiten wir an einem Skript über axiomatische Mengenlehre. Hilfe in jeder Form ist willkommen. |
| Test des Prototypen |
Der Prototyp wurde zwar schon vielfach getestet, aber wir sind vielleicht ein wenig voreingenommen... |
| Englische Web-Seiten |
Die englischen Web-Seiten bedürfen dringend der sprachlichen Überarbeitung. |
| Ergänzung der prädikatenlogischen QEDEQ-Module |
Es fehlen noch einige prädikatenlogische Sätze. Wer mag sich an einem neuen QEDEQ-Modul versuchen und beweist mit dem Prototypen zum Beispiel den folgenden Satz:
Exists x (phi(x) v psi(x)) <-> Exists x (phi(x)) v Exists x (phi(x))
|
Für Hinweise oder bei Interesse bitte Kontakt aufnehmen mit: Michael Meyling <mime@qedeq.org>.
|
