Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
SoSe 2024
/
Sitemap
Studentisches Leben
Veranstaltungen
Hochschulstruktur
Räume und Gebäude
Personen
Sie sind hier:
Startseite
SAT: Propositionale Erfüllbarkeit und Mehr - Einzelansicht
Zurück
Funktionen:
Seiteninhalt:
Grunddaten
Zugeordnete Person
Studiengänge
Hochschulstruktur
Strukturbaum
Grunddaten
Veranstaltungsart
Proseminar
Langtext
Veranstaltungsnummer
95311
Kurztext
Semester
SoSe 2016
SWS
Erwartete Teilnehmer/-innen
Max. Teilnehmer/-innen
Turnus
Veranstaltungsanmeldung
Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links
https://www.mpi-inf.mpg.de/departments/automation-of-logic/teaching/summer-2016/sat-propositionale-erfuellbarkeit-und-mehr/
Sprache
Deutsch
Zugeordnete Person
Zugeordnete Person
Zuständigkeit
Weidenbach, Christoph , Univ.-Prof. Dr. rer. nat.
Studiengänge
Abschluss
Studiengang
Semester
Prüfungsversion
Kommentar
LP
BP
ECTS
Bachelor (KB)
Cybersicherheit
-
20141
5
5
Bachelor (KB)
Medieninformatik
-
20131
5
5
Zuordnung zu Einrichtungen
Informatik
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2016 , Aktuelles Semester: SoSe 2024
Impressum
Service & Support
Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen
nutzen Sie bitte unsere
zentrale Service-Kontaktestelle
.