Modulverantwortlicher: Prof. Dr. Baier
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Advanced Logic |
4/2/0 |
Prof. Dr. Baier |
ThI |
Algebraische und logische Grundlagen der Informatik |
Modulverantwortlicher: Fakultät Informatik
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Component Based Software Engineering |
2/2/0 |
Prof. Dr. Aßmann |
SMT |
Softwaretechnologie |
| Foundations of Concurrent and Distributed Systems |
4/0/0 |
Prof. Dr. Fetzer |
SyA |
Systems Engineering |
| Internet and Web Applications |
2/2/0 |
Prof. Dr. Schill |
SyA |
Rechnernetze |
| Security and Cryptography II |
2/2/0 |
Dr. Köpsell |
SyA |
Datenschutz und Datensicherheit |
| Wireless Sensor Networks |
2/2/0 |
Prof. Dr. Schill, Dr. Dargie |
SyA |
Rechnernetze |
Modulverantwortlicher: Prof. Dr. Hölldobler
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im SS 2013 werden in diesem Modul keine Veranstaltungen angeboten.
Modulverantwortlicher: Dr. Schröder
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Semantic Search: Algorithms and Applications |
2/2/0 |
Prof. Schroeder |
BIOTEC |
|
| Deduction Systems |
1/1/0 |
Prof. Rudolph |
KI |
Computational Logic |
Modulverantwortlicher: N.N.
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Foundations of Semantic Web Technologies |
4/2/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
Wissensverarbeitung |
| Neural Symbolic Integration |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
Wissensverarbeitung |
| Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
Automatentheorie |
| Fuzzy Description Logic |
2/2/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
Automatentheorie |
Modulverantwortlicher: N.N.
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im SS 2013 werden in diesem Modul keine Veranstaltungen angeboten.
Modulverantwortlicher: Prof. Dr. Baier
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im SS 2013 werden in diesem Modul keine Veranstaltungen angeboten.
Modulverantwortlicher: Fakultät Informatik
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im SS 2013 werden in diesem Modul keine Veranstaltungen angeboten.
Modulverantwortlicher: Fakultät Informatik
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Project Group Semantic Search |
0/0/4 |
Prof. Schroeder |
BIOTEC |
|
| Project Group Computational Logic |
0/0/4 |
Prof. Rudolph |
KI |
Computational Logic |
| Project Group Knowledge Representation and Reasoning |
0/0/4 |
Prof. Dr. Hölldobler |
KI |
Wissensverarbeitung |
| Project Group Model Checking |
0/0/4 |
Dr. Klüppelholz |
ThI |
Algebraische und logische Grundlagen der Informatik |
| Project Group Theoretical Computer Science |
0/0/4 |
Dr. Penaloza |
ThI |
Automatentheorie |
Modulverantwortlicher: Fakultät Informatik
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
Wissensverarbeitung |
| Lab Course Modeling and Quantitative System Analysis |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
Algebraische und logische Grundlagen der Informatik |
| Seminar Model Checking |
0/2/0 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
Algebraische und logische Grundlagen der Informatik |
| Seminar Theoretical Computer Science |
0/2/0 |
Dr. Turhan |
ThI |
Automatentheorie |
Modulverantwortlicher: Prof. Dr. Hölldobler
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Foundations of Semantic Web Technologies |
4/2/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
Wissensverarbeitung |
| Neural Symbolic Integration |
2/2/0 |
Prof. Dr. Hölldobler |
KI |
Wissensverarbeitung |
| Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
Automatentheorie |
| Seminar Theoretical Computer Science |
0/2/0 |
Dr. Turhan |
ThI |
Automatentheorie |
Modulverantwortlicher: Prof. Dr. Baader
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
Automatentheorie |
| Fuzzy Description Logic |
2/2/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
Automatentheorie |
| Seminar Theoretical Computer Science |
0/2/0 |
Dr. Turhan |
ThI |
Automatentheorie |