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 
Muster-Hochschule
Startseite    Anmelden    SoSe 2024      Umschalten in deutsche Sprache / Switch to english language      Sitemap

Automated Reasoning II - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Weiterführende Vorlesung Langtext
Veranstaltungsnummer 136354 Kurztext
Semester SoSe 2022 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links http://rg1-teaching.mpi-inf.mpg.de/autrea2-ss22/
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
Mo. 14:00 bis 16:00 woch Gebäude E1 4 - Seminarraum 0.24        
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 14:00 bis 16:00 woch Gebäude E1 4 - Seminarraum 0.24     Tutorial  
Gruppe :
 
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Waldmann, Uwe , Dr.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
Bachelor (KB) Mathematik und Informatik - 20201
Master (KB) Informatik - 20151
Bachelor (KB) Medieninformatik - 20131
LA Sekundarstufe I und II Informatik - 20121
Master (KB) Medieninformatik - 20131
Bachelor (KB) Informatik - 20151
Bachelor (KB) Mathematik und Informatik - 20161
Master (KB) Mathematik und Informatik - 20161
Master (KB) Embedded Systems - 20161
Bachelor (KB) Computer Science (engl.) - 20211
Master (KB) Medieninformatik - 20201
Bachelor (KB) Medieninformatik - 20201
Bachelor (KB) Informatik - 20201
LA Sekundarstufe I und II Informatik - 20201
Master (KB) Entrep. Cybersecurity - 20181
Zuordnung zu Einrichtungen
Informatik

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2022 , Aktuelles Semester: SoSe 2024