Suchresultate — 14 Artikel gefunden.
Abonnieren Sie einen stets aktuellen RSS-Feed aus diesen Suchresultaten
- Abschlussklausur
- Klausur
- 19.10. - Diskussion über eine Modifikation des CND-Kalküls
- CND ist ein Kalkül für natürliches Schließen in klassischer Logik, der auch als Typisierungsystem für Terme des \lambda\mu-Kalküls dient. Eine konstruktive ...
- 02.11. Nuria Brede: lambda-mu-PRL - Klassisches Schließen in der konstruktiven Typentheorie
- Im Vortrag stelle ich einen Ansatz zur Integration des $\lambda\mu$-Kalküls in die konstruktive Typentheorie des Beweisassistenten Nuprl vor...
- 09.11. Nuria Brede: lambda-mu-PRL - Klassisches Schließen in der konstruktiven Typentheorie - II
- Im Vortrag stelle ich einen Ansatz zur Integration des $\lambda\mu$-Kalküls in die konstruktive Typentheorie des Beweisassistenten Nuprl vor...
- 16.11. Kirstin Peters, TU Berlin: Über die Ausdrucksstärke des pi-Kalküls
- Palamidessi bewies am Beispiel von Leader Election in symmetrischen Netzwerken, dass der pi-Kalkül mit mixed choice ausdrucksstärker ist als der pi-Kalkül mit ...
- 30.11. Nuria Brede: lambda-mu-PRL - Klassisches Schließen in der konstruktiven Typentheorie - III
- Im Vortrag stelle ich einen Ansatz zur Integration des $\lambda\mu$-Kalküls in die konstruktive Typentheorie des Beweisassistenten Nuprl vor...
- 11.01. Christoph Kreitz: Global search theory revisited
- Im gleichnamigen Preprint von 2010 formuliert Douglas Smith die Theorie der Globalsuch-Algorithmen unter Benutzung der Galoisverbindung von Lösungsmengen und ...
- 25.01. Fred Freitas: A Connection Method for Reasoning with the Description Logic ALC
- Prof. Frederico Luiz Gonçalves de Freitas Informatics Center - Federal Universidade of Pernambuco (CIn - UFPE), Recife, Brazil On a sabbathical leave at the ...
- 01.02. Christoph Kreitz: Global search theory revisited II
- Im gleichnamigen Preprint von 2010 formuliert Douglas Smith die Theorie der Globalsuch-Algorithmen unter Benutzung der Galoisverbindung von Lösungsmengen und ...
- 08.02. Thomas Raths: Die QMLTP-Library v1.0
- "Quantified Modal Logic Theorem Proving" (QMLTP)-Library v1.0 - Sammlung von Problemen für Theorembeweiser in modaler Prädikatenlogik.
- 07.03. Carsten Baum: Grundlagen homomorpher Kryptosysteme
- Für manche Anwendungszwecke ist es notwendig, mit verschlüsselten Daten zu rechnen. Dazu definiert man Kryptosysteme, welche homomorph bezüglich ...
- Auftaktveranstaltung
- Erstes Treffen zum Projekt, Fr., 15.4., 14:00-15:30 Uhr, Raum 3.04.2.14
- Einführung in Prolog im Praktikum
- Martin Gebser
