Vorlesungsverzeichnis
« Fakultät Informatik / Computational Logic (PO von 2004)
Lehrfächer
Keine Veranstaltung gefunden
Academic Skills in Computer Science
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Advanced Logics
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Conditional Reasoning
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Database Theory
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Deduction Systems
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Foundations for Machine Learning
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Foundations of Concurrent and Distributed Systems
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Hauptseminar Theoretical Computer Science
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
ICCL - Kolloquium
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Knowledge Representation and Reasoning
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Komplexpraktikum Systemnahe Programmierung
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Lab Course Modeling and Automated Verification
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logical Modeling
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Logic-based Ontology Engineering
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Machine Learning 2
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Problem Solving and Search in AI
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
SAT-Solving
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Security and Cryptography II
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Semantic Computing
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Semantic Search: Algorithms and Applications
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Seminar Existential Rules
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.
Inhalt der Veranstaltung:
Details zur Einschreibung:
Leistung zum Bestehen:
Zielgruppe:
Empfohlene Literatur:
Hinweis:
Lehrbeauftragte:
Seminar Selected Topics in Logic and Verification
![loading-circle](/de.jexam.web.v5/style/images/ajax-loader-big.gif;jsessionid=7397F105B9EC879D9A56CD8D795D96BC)
Keine Informationen vorhanden.
Überprüfe deine Internetverbindung.