diff --git a/courses/swuv.md b/courses/swuv.md index b1404d8cecbb89a7a1affcdc3ea57fb74624dd20..a6933bbedc90ed1e935825e3d293e060e03510eb 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -39,14 +39,14 @@ If we need to do it via zoom, we will use the following room: * meeting ID: 934 2482 0605 * password: 027214 -###### Topics +##### Topics In WS24/25 we will not have free selection, but we will schedule coordinated groups of talks based on three handbooks (listed from easy to harder): -1. [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the - FAU network -2. [Harrison: Handbook of practical Logic](Harrison_handbook-of-practical-logic.pdf) -3. [Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf) + +- [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the FAU network +- [Harrison: Handbook of practical Logic](Harrison_handbook-of-practical-logic.pdf) +- [Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf) Students can choose consecutive sections/chapters of about 15-20 pages and report on the contents. We prefer to make coordinated groups of talks, starting in the order given