@@ -39,14 +39,14 @@ If we need to do it via zoom, we will use the following room:
...
@@ -39,14 +39,14 @@ If we need to do it via zoom, we will use the following room:
* meeting ID: 934 2482 0605
* meeting ID: 934 2482 0605
* password: 027214
* password: 027214
###### Topics
##### Topics
In WS24/25 we will not have free selection, but we will schedule coordinated groups of
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):
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
-[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)
-[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)
-[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
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
contents. We prefer to make coordinated groups of talks, starting in the order given
