From dfb41660eae760fab2d193e28c166f402fa07579 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Wed, 29 Apr 2020 17:08:59 +0200 Subject: [PATCH] more --- courses/swuv.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 4f77e59..e44d851 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -60,10 +60,9 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart | OpenMath & SCSCP | [[1]](http://openmath.github.io/standard) | recht einfach | | | LF-Einführung ||relativ einfach, aber Logik-lastig| | | | MitM Foundation | | Formalisierung | | | -| The Curry-Howard Isomorphism | abstrakte Logic, aber nicht so schwer|| +| The Curry-Howard Isomorphism || abstrakte Logic, aber nicht so schwer|| | Argumentation Logics | verschiedene Themen|| -| Distributed Ontology Language | Semantic Web meeds Theory Graphs|| -| Theory Graphs and Viewer | |einfach |Marcel Rupprecht | | +| Distributed Ontology Language || Semantic Web needs Theory Graphs|| | Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | | | MathLang| Kamareddine | | | | Formula Parsing | Ginev M.Sc. | relativ einfach | | @@ -73,7 +72,7 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart | LF + Interection Types | | fortgeschritten| | | McAllister-Foundation || mit Voldemort's Theorem (schwer) ||| | Functional programming with bananas, lenses, envelopes and barbed wire| [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming| -|"Formal Semantics of Programming Languages" (Mosses)| || +|"Formal Semantics of Programming Languages"| (Mosses)|| | Overview of the ACL2 language and system | | | Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung) -- GitLab