Zentrale Lernplattform • LMU München

• Vorlesung: Mi. 08:00 bis 10:00 c.t., Geschw.-Scholl-Pl. 1 (M) - M 110 | Dozent Simon Stepper
  
• Übung: Di. 18:00 bis 20:00 c.t., Leopoldstr. 13, H2 - 2402 | Dozent: Dr. Johannes Sedlmeier
  

• Dr. jur. Johannes Sedlmeier
• Simon Stepper

• Anton Jukic auf der Fakultätswebsite
• Link zum LSF
• gemeinsamer Kurs Vorlesung und Übung
  

Der Kurs wird in Kombination mit der Vorlesung "Völkerrecht II" von Dr. Bücheler angeboten für Nebenfachstudierende der Rechtswissenschaften, die nach Belegung des Kurses im LSF die Zugangsdaten per Email erhalten.
Gast-Teilnehmer:innen sind jedoch willkommen - und melden sich bitte persönlich per Email bei Zoeckler@jura.uni-muenchen.de . (Allgemeine Informationen zur Veranstaltung sind eingestellt im Online-Vorlesungsverzeichnis LSF bei diesem Link )

• Zeit: Fr. 08:00 bis 10:00 c.t.
• Ort: Geschw.-Scholl-Pl. 1 (M) - M 109
• Dozent: Dr. Rahn

• Victor Struppler auf der Fakultätswebsite
• Link zum LSF
  

Das Aufbaumodul Völkerrecht "Internationale Menschenrechte" umfasst die Teilnahme an der Vorlesung „Internationaler und Europäischer Schutz der Menschenrechte“ von Prof. Ulrich Haltern und praktische Übungen bei Dr. Zöckler, für die Materialien in diesem Moodle-Kurs eingestellt werden. (Siehe auch die Kommentierung zur Lehrveranstaltung im Online-Vorlesungsverzeichnis).

Die Zugangsdaten für diesen Moodle-Kurs werden allen Studierenden,  die sich ordnungsgemäß zur Veranstaltung durch Belegen angemeldet haben, per EMail zugeschickt. Gast-Teilnehmer:innen sind willkommen und melden sich bitte direkt bei Zoeckler@jura.uni-muenchen.de .

Der Kurs wird in Kombination mit der Vorlesung "Menschenrechte" von Prof. Walter angeboten für Nebenfachstudierende der Rechtswissenschaften, die nach Belegung des Kurses im LSF die Zugangsdaten per Email erhalten.
Gast-Teilnehmer:innen sind jedoch willkommen - und melden sich bitte persönlich per Email bei Zoeckler@jura.uni-muenchen.de . (Allgemeine Informationen zur Veranstaltung sind eingestellt im Online-Vorlesungsverzeichnis LSF bei diesem Link )

Das Seminar findet in Form von digitaler Lehre statt.

Im Fokus der Veranstaltung steht die Rolle der Außenpolitik der Sowjetunion zunächst im europäischen, dann nach dem Zweiten Weltkrieg im weltpolitischen Kontext. Neben wichtigen Ereignissen wird, über den klassischen diplomatiegeschichtlichen Ansatz hinausgehend, gefragt nach Akteuren und relevanten politischen Institutionen. Schwerpunktmäßig sollen Rückwirkungen auf und Wechselwirkungen mit innenpolitischen Prozessen untersucht werden.

Die kritisch zu analysierenden historischen Quellentexte liefern diplomatische Akten und Editionen.

Die Übung richtet sich auch an Studierende ohne Vor- und osteuropäische Sprachkenntnisse.

Prüfungsformen im BA, MA, GSP und mod. LA: RE

Mi 12-14 M 209

Automated theorem proving is a subfield of mathematical logic that concerns itself with proving mathematical theorems fully automatically using computer programs. These programs are called automated theorem provers. They can be used as standalone programs to solve logic problems or in conjunction with interactive theorem provers (also called proof assistants) to discharge proof obligations that arise in interactive proofs.

In this course, we will review some of the main approaches to automated theorem proving. The course focuses on the theory of theorem proving. Stylistically, the course has a mathematical flavor (with definitions, lemmas, proofs, etc.).

The course is based on the materials from Dr. Uwe Waldmann’s courses Automated Reasoning I and Automated Reasoning II at Saarland University. We are grateful to him for letting us use his materials.

Please enroll yourself for the course using this key: ATP2526

Inhalt
Moderne Systeme - z.B. Roboter - agieren autonom: Sie treffen selbstständig Entscheidungen und passen Ihr Verhalten flexibel den aktuellen Umständen und Anforderungen an. In diesem Praktikum beschäftigen wir uns mit der Umsetzung autonomer Systeme. Wir implementieren Algorithmen zur adaptiven Planung, Optimierung und Koordination sowie Methoden zur Evaluation und Analyse autonomer Systeme. Eine Auswahl der behandelten Themen lautet:

• Decision Making in Autonomous Systems
• Planning and Reinforcement Learning
• Simulation and Approximation

Benötigte Vorkenntnisse: 
Programmierung mit Python. Praktische Erfahrung mit Machine Learning Bibliotheken (PyTorch o.ä.) sowie theoretische Vorkenntnisse über Machine Learning, Planning und Reinforcement Learning sind vorteilhaft. Vorkenntnisse mit Simulationsumgebungen wie Mujoco und Unity sind hilfreich.

Termine
Mi 14-16 Uhr c.t., Oettingenstr. 67, 131
Do 16-20 Uhr c.t., Oettingenstr. 67, 131
Beginn: 23.04.2025

Das Kandidat:innenkolloquium begleitet den Entstehungsprozess der Bachelor- bzw. Masterarbeit. Auch Studierende des Lehramts, die an einer Zulassungsarbeit in der Französischen, Spanischen, Rumänischen oder Portugiesischen Literaturwissenschaft arbeiten, sind eingeladen, an dem Kolloquium teilzunehmen. Das Kolloquium gibt Raum zur Präsentation und Diskussion der Thesen der Arbeit vor und mit einem Fachpublikum. Als Grundlage dient ein Thesenpapier, das ausgewählte Thesen vorstellt und allen Teilnehmer:innen eine Woche vor Beginn des Kolloquiums vorliegt.

Jede:r der Kandidat:innen ist zudem aufgerufen, sich an der Diskussion der Arbeit seiner_ihrer Kommiliton:innen zu beteiligen und so zu zeigen, dass sie_er in der Lage ist, sich in ein unbekanntes Thema einzudenken, es kritisch zu reflektieren und die daraus resultierenden Beobachtungen in einem fachlichen Dialog wiederzugeben.

Die Betreuer:innen werden zu den jeweiligen Sitzungen eingeladen. Die Teilnahme an allen Vorträgen ist verpflichtend. 

Vorgeschaltet sind dem Kolloquium drei Plenumssitzungen, die jeweils dienstags von 12 bis 14 Uhr stattfinden. Sie fokussieren zum einen Thesenbildung und Argumentation, zum anderen dienen sie dazu, Sie in der Einarbeitung in Ihren Untersuchungsgegenstand Text oder Film zu unterstützen und bei der Erstellung eines Thesenpapiers zum Kolloquium zu begleiten.

Im Anschluss an das Kolloquium sind weitere Sitzungen jeweils dienstags, 12-14 Uhr geplant, in denen Sie Basistechniken wissenschaftlichen Schreibens wie korrektes Zitieren und Bibliographieren auffrischen bzw. nach Bedarf in Einzelcoachings oder Arbeitsgruppen Probleme des Entstehungsprozesses diskutieren können.

Das Kolloquium selbst wird am Freitag, 9.11.2024 stattfinden. Bitte halten Sie sich diesen Tag in jedem Falle frei. Es sei vorsorglich angemerkt, dass Sie nur im Krankheitsfall (ärztl. Attest) von der Teilnahme entbunden werden können; Ihr Vortrag und die Diskussion werden dann in kleinerem Prüfer:innenkreis zu gegebener Zeit nachgeholt.

.

Das Seminar schließt an die Forschungsvorbereitung aus dem Wintersemester an.
Nachdem die Teilnehmenden in den Semesterferien ihre Forschungsprojekte
durchgeführt haben, geht es nun um die Auswertung der Forschungen. Zunächst
werden wir Vorgehen und Methoden der Auswertung besprechen, anschließend
werden die Forschungsergebnisse vor und zur Diskussion gestellt und in Form von
Forschungsberichten festgehalten.