Moodle UDE

This is the mock Exam for the Ling1 exam. Both lectures are included.

You can use this exam to practice for the real exam and test your knowledge. It is designed to give you an impression of what the real exam looks like and some feedback on your current preparation level.

Keep in mind that this is a shorter version of the real exam. However, the time limit is adjusted accordingly. If you manage to do all task in the mock exam within the time given, you should also have enough time during the real exam.

Modellbildung und Regelung Fernpraktikum ist eine Pflichtveranstaltung im dritten Semester. Sie dient der Vertiefung des Verständnisses der Vorlesungen "Modelling and Simulation of Dynamic Systems" und „Zustandsregelung“. Mit Hilfe der Software MATLAB/SIMULINK sollen die Studierenden an Themen und Beispielen der Modellbildung und Analyse und Synthese von Regelkreisen arbeiten.

Das Thema Migration wird in fast allen Bereichen der politischen Philosophie diskutiert. Wir finden migrationsspezifische Ansätze in der nationalen und globalen Gerechtigkeitstheorie, in der Demokratietheorie und im Rahmen rechtstheoretischer Überlegungen: Die Bedingungen von Bürgerschaft, nationalen Grenzen und Bewegungsfreiheit werden neu verhandelt und Migrant*innen werden nicht nur als Personen mit Pflichten (z.B. die vermeintliche Pflicht, Grenzen nicht zu überschreiten oder die vermeintliche Pflicht, sich bestmöglich an die Aufnahmegesellschaft anzupassen etc.), sondern vor allem auch als Rechtsträger*innen herausgestellt (das Recht auf [globale] Bewegungsfreiheit, das Recht, einen Asylantrag zu stellen, das Recht auf den Zugang zu einem fairen Verfahren etc.).

Migrationsfragen sind also längst im Bereich der Menschenrechtstheorien und der globalen Gerechtigkeitstheorien angekommen. Erstaunlicherweise setzt jedoch die Demokratietheorie in den meisten Fällen auf ihr altbewährtes Prinzip: Demokratische Fragen (nach Zugehörigkeit, der Legitimität von Institutionen und politischer Verfahren) werden weiterhin im nationalstaatlichen Rahmen verhandelt oder aber in ein Verhältnis zu ihm gedacht. Auch kosmopolitische Denker*innen behandeln Herausforderungen, die sich mit Blick auf Migration und Demokratie ergeben, weiterhin im nationalstaatlichen Kontext – auch wenn sie immerhin fordern diesen zu transnationalisieren (z.B. die Parlamente) oder Legitimitätsbedingungen auch an eine „Außenperspektive“ zu knüpfen.

In diesem Seminar wird es vor allem darum gehen, transnationale Demokratietheorien kennenzulernen und diese auf ihre Tauglichkeit für migrations- und fluchtspezifische Fragen zu prüfen. Am Ende des Semesters steht die Entwicklung unterschiedlicher Szenarien, welche jeweils die Stärken und Schwächen der einzelnen Ansätze darstellen. Normativer Ausgangspunkt für diese Bewertungen ist Immanuel Kants Schrift „Zum ewigen Frieden“, die zu Beginn des Seminars gelesen und besprochen wird – hier sollen Legitimitätsanforderungen gefunden und diskutiert werden, die bei Kant zur Anwendung kommen, wenn es um das Verhältnis zwischen Gesellschaften geht.

Inhalt und Lernziele

Nebenläufige Systeme - von denen verteilte Systeme ein Spezialfall sind - können von einem Benutzer oder Programmierer oft nur schwer überschaut werden. Bereits relativ kleine Systeme, die aus mehreren interagierenden Komponenten bestehen, können ein sehr komplexes Verhalten haben. Außerdem stößt man auf Phänomene und Probleme (Deadlocks, wechselseitiger Ausschluß), die bei sequentiellen Systemen in dieser Form nicht auftreten können. Daher werden in dieser Vorlesung entsprechende Modellierungstechniken und Analysemethoden vermittelt, die zum besseren Verständnis solcher Systeme führen. Es werden voraussichtlich folgende Themen behandelt:

• Transitionssysteme
• Verhaltensäquivalenzen: Sprachäquivalenz, Bisimulation
• Prozesskalküle - CCS
• Petri-Netze (Partialordnungstechniken)
• Graphtransformationssysteme

Inhalt und Lernziele

Nebenläufige Systeme - von denen verteilte Systeme ein Spezialfall sind - können von einem Benutzer oder Programmierer oft nur schwer überschaut werden. Bereits relativ kleine Systeme, die aus mehreren interagierenden Komponenten bestehen, können ein sehr komplexes Verhalten haben. Außerdem stößt man auf Phänomene und Probleme (Deadlocks, wechselseitiger Ausschluß), die bei sequentiellen Systemen in dieser Form nicht auftreten können. Daher werden in dieser Vorlesung entsprechende Modellierungstechniken und Analysemethoden vermittelt, die zum besseren Verständnis solcher Systeme führen. Es werden voraussichtlich folgende Themen behandelt:

• Transitionssysteme
• Verhaltensäquivalenzen: Sprachäquivalenz, Bisimulation
• Prozesskalküle - CCS
• Petri-Netze (Partialordnungstechniken)
• Graphtransformationssysteme