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
Studentisches Leben      Veranstaltungen      Hochschulstruktur      Räume und Gebäude      Personen     
Sie sind hier: Startseite

Automated Reasoning II - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Weiterführende Vorlesung Langtext
Veranstaltungsnummer 123614 Kurztext
Semester SoSe 2020 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links https://rg1-teaching.mpi-inf.mpg.de/autrea2-ss20/
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 ausblenden
iCalendar Export für Outlook 		Mo. 16:00 bis 18:00 woch       Geb. E1 4, Raum 021  
Einzeltermine:
  • 06.04.2020
  • 13.04.2020
  • 20.04.2020
  • 27.04.2020
  • 04.05.2020
  • 11.05.2020
  • 18.05.2020
  • 25.05.2020
  • 01.06.2020
  • 08.06.2020
  • 15.06.2020
  • 22.06.2020
  • 29.06.2020
  • 06.07.2020
  • 13.07.2020
Gruppe :
 
 


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

An online operation is being prepared. A link to the lecture website will be added as soon as it is available.

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