Bearbeiten von „KIF430:Arbeitskreise

Aus KIF
Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden. Ein eigenes Benutzerkonto hat eine ganze Reihe von Vorteilen.

Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.

Aktuelle Version Dein Text
Zeile 484: Zeile 484:


{{Ak Spalte 430
{{Ak Spalte 430
| name=Theorem Proving, Type Theory and Logic
| name=Theorem Proving, Type Theory & Logic
| beschreibung=Wir reden über Beweisassistenten (Agda, Coq, Idris...), (Homotopy) Type Theory, Den Curry-Howard-Isomorphismus, Mengenlehre, Konstruktive Logik, Beweisbarkeit und all diese guten Dinge. Wolltet ihr schon immer mal ein Programm schreiben und einen mathematischen Satz damit beweisen? Wir zeigen, wie's geht!
| beschreibung=Wir reden über Beweisassistenten (Agda, Coq, Idris...), (Homotopy) Type Theory, Den Curry-Howard-Isomorphismus, Mengenlehre, Konstruktive Logik, Beweisbarkeit und all diese guten Dinge. Wolltet ihr schon immer mal ein Programm schreiben und einen mathematischen Satz damit beweisen? Wir zeigen, wie's geht!
| wieviele=Alle, die nach FP 1&2 noch nicht genug haben.
| wieviele=Alle, die nach FP 1&2 noch nicht genug haben.
Bitte kopiere keine Webseiten, die nicht deine eigenen sind, benutze keine urheberrechtlich geschützten Werke ohne Erlaubnis des Urhebers!
Du gibst uns hiermit deine Zusage, dass du den Text selbst verfasst hast, dass der Text Allgemeingut (public domain) ist oder dass der Urheber seine Zustimmung gegeben hat. Falls dieser Text bereits woanders veröffentlicht wurde, weise bitte auf der Diskussionsseite darauf hin. Bitte beachte, dass alle KIF-Beiträge automatisch unter der „Namensnennung-Weitergabe unter gleichen Bedingungen 2.5 “ stehen (siehe KIF:Urheberrechte für Einzelheiten). Falls du nicht möchtest, dass deine Arbeit hier von anderen verändert und verbreitet wird, dann klicke nicht auf „Seite speichern“.
Abbrechen Bearbeitungshilfe (wird in einem neuen Fenster geöffnet)

Folgende Vorlagen werden auf dieser Seite verwendet: