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
Suche nach Personen
Navigation ausblenden
Automated Reasoning II - Einzelansicht
Zurück
Funktionen:
Seiteninhalt:
Grunddaten
Termine
Zugeordnete Person
Studiengänge
Hochschulstruktur
Strukturbaum
Grunddaten
Veranstaltungsart
Weiterführende Vorlesung
Langtext
Veranstaltungsnummer
150305
Kurztext
Semester
SoSe 2024
SWS
Erwartete Teilnehmer/-innen
Max. Teilnehmer/-innen
Turnus
Veranstaltungsanmeldung
Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links
https://rg1-teaching.mpi-inf.mpg.de/autrea2-ss24/
Sprache
Englisch
Termine Gruppe:
Tag
Zeit
Turnus
Dauer
Raum
Raum-
plan
Lehrperson
Status
Bemerkung
fällt aus am
Max. Teilnehmer/-innen
Di.
12:00 bis 14:00
woch
Geb. E1 4, Raum 021 . Lecture
Mi.
16:00 bis 18:00
woch
Geb E1 4, Raum 021 - Tutorial
Gruppe :
vormerken
Zugeordnete Person
Zugeordnete Person
Zuständigkeit
Waldmann, Uwe , Dr.
Studiengänge
Abschluss
Studiengang
Semester
Prüfungsversion
Kommentar
LP
BP
ECTS
Master (KB)
Entrep. Cybersecurity
-
20181
6
6
LA Sekundarstufe I und II
Informatik
-
20201
6
6
Bachelor (KB)
Informatik
-
20201
6
6
Bachelor (KB)
Medieninformatik
-
20201
6
6
Master (KB)
Medieninformatik
-
20201
6
6
Bachelor (KB)
Computer Science (engl.)
-
20211
6
6
Master (KB)
Embedded Systems
-
20161
6
6
Master (KB)
Mathematik und Informatik
-
20161
6
6
Bachelor (KB)
Mathematik und Informatik
-
20161
6
6
Bachelor (KB)
Informatik
-
20151
6
6
Master (KB)
Medieninformatik
-
20131
6
6
LA Sekundarstufe I und II
Informatik
-
20121
6
6
Bachelor (KB)
Medieninformatik
-
20131
6
6
Master (KB)
Informatik
-
20151
6
6
Bachelor (KB)
Mathematik und Informatik
-
20201
6
6
Zuordnung zu Einrichtungen
Informatik
Strukturbaum
Die Veranstaltung wurde
26
mal im Vorlesungsverzeichnis SoSe 2024 gefunden:
Vorlesungsverzeichnis
Lehramt
Informatik (LAB, LAG, LS1, LS1+2)
Fachspezifische Bestimmungen 2022
Wahlpflichtbereich 2
- - - 1
Fachspezifische Bestimmungen 2012
Wahlpflichtbereich 2
- - - 2
Fachspezifische Bestimmungen 2020
Wahlpflichtbereich 3
- - - 3
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Medieninformatik
Master, StO 2013
Pflichtbereich aus dem Fachbereich Informatik oder Medieninformatik
Vertiefungsvorlesungen
- - - 4
Bachelor, StO 2013
Wahlpflichtbereich
Vertiefungsvorlesungen
- - - 5
Master, StO 2020
Vertiefungsvorlesungen (Wahlpflicht)
- - - 6
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 7
Studiengang Eingebettete Systeme/Embedded Systems
Master Embedded Systems
Vertiefungsvorlesungen
- - - 8
Studiengang Informatik
Master, StO 2015
Vertiefungsvorlesungen
- - - 9
Bachelor, StO 2015
Vertiefungsvorlesungen
- - - 10
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 11
Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity
Master Entrepreneurial Cybersecurity
Vertiefungsvorlesungen Informatik
- - - 12
Studiengang Bachelor Computer Science (English)
Vertiefungsvorlesungen (Wahlpflicht)
- - - 13
Mathematik
Master
Mathematik und Informatik / Mathematics and Computer Science
FR Informatik / Computer Science
Vertiefungsvorlesungen der Informatik
- - - 14
Bachelor
Mathematik und Informatik / Mathematics and Computer Science
FR Informatik / Computer Science
StO 2016
Vertiefungsvorlesungen der Informatik
- - - 15
StO 2021
Vertiefungsvorlesungen der Informatik
- - - 16
Master
Master (konsekutiv)
Medieninformatik
Master, StO 2013
Pflichtbereich aus dem Fachbereich Informatik oder Medieninformatik
Vertiefungsvorlesungen
- - - 17
Master, StO 2020
Vertiefungsvorlesungen (Wahlpflicht)
- - - 18
Embedded Systems
Vertiefungsvorlesungen
- - - 19
Informatik
Vertiefungsvorlesungen
- - - 20
Entrepreneurial Cybersecurity
Vertiefungsvorlesungen Informatik
- - - 21
Bachelor (inkl. Optionalbereich)
Medieninformatik
Bachelor, StO 2013
Wahlpflichtbereich
Vertiefungsvorlesungen
- - - 22
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 23
Computer Science (English)
Vertiefungsvorlesungen (Wahlpflicht)
- - - 24
Informatik (KB)
Bachelor, StO 2015
Vertiefungsvorlesungen
- - - 25
Bachelor, StO 2020
Vertiefungsvorlesungen
- - - 26
Impressum
Service & Support
Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen
nutzen Sie bitte unsere
zentrale Service-Kontaktestelle
.