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 
Hochschul-Informations-System eG
Startseite    Anmelden    WiSe 2020/21      Umschalten in deutsche Sprache / Switch to english language      Sitemap

Automated Reasoning - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung / Übung Langtext
Veranstaltungsnummer 126730 Kurztext
Semester WiSe 2020/21 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/winter-2020/2021/automated-reasoning
Sprache englisch
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Turnus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 10:00 bis 12:00 woch von 04.11.2020        online  
Einzeltermine anzeigen
iCalendar Export für Outlook
Do. 12:00 bis 14:00 woch von 05.11.2020        online  
Gruppe :
 
 


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) Mathematik und Informatik - 20201 99 9
LA Sekundarstufe I und II Informatik - 20201 9 9
LA beruf.Schulen Informatik - 20201 9 9
Master (KB) Medieninformatik - 20201 9 9
Bachelor (KB) Medieninformatik - 20201 9 9
Bachelor (KB) Informatik - 20201 9 9
Master (KB) Entrep. Cybersecurity - 20181 9 9
Bachelor (KB) Informatik - 2006 9 9
Master (KB) Informatik - 2006 9 9
Bachelor (KB) Medieninformatik - 20101 9 9
Bachelor (KB) Medieninformatik - 20131 9 9
Master (KB) Medieninformatik - 20131 9 9
Bachelor (KB) Comp.-Komm-Tech - 20071 9 9
Master (KB) Comp.-Komm-Tech - 20071 9 9
LA beruf.Schulen Informatik - 20121 9 9
LA Sekundarstufe I und II Informatik - 20121 9 9
Bachelor (KB) Informatik - 20151 9 9
Master (KB) Informatik - 20151 9 9
Bachelor (KB) Mathematik und Informatik - 20161 9 9
Master (KB) Mathematik und Informatik - 20161 9 9
Master (KB) Embedded Systems - 20161 9 9
Master (KB) Data Science and AI - 20191 9 9
Bachelor (KB) Data Science and AI - 20191 9 9
Zuordnung zu Einrichtungen
Informatik

Strukturbaum
Die Veranstaltung wurde 33 mal im Vorlesungsverzeichnis WiSe 2020/21 gefunden:
Die Überschrift 3. Informatik aufklappen 3. Informatik  - - - 1
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 3
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 4
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 10
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 11
Die Überschrift Stammvorlesungen DSAI aufklappen Stammvorlesungen DSAI  - - - 12
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 13
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 14
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 16
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 17
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 19
Die Überschrift Stammvorlesungen DSAI aufklappen Stammvorlesungen DSAI  - - - 22
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 24
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 25
Die Überschrift Stammvorlesungen aufklappen Stammvorlesungen  - - - 26
Die Überschrift 3. Informatik aufklappen 3. Informatik  - - - 31
Die Überschrift Wahlpflichtbereich 2 aufklappen Wahlpflichtbereich 2  - - - 32
Die Überschrift Wahlpflichtbereich 3 aufklappen Wahlpflichtbereich 3  - - - 33