
Lehr-Moodle der Universität Duisburg-Essen
Suchergebnisse: 3733
- verantwortliche Lehrperson: Jessica Schwittek
Das Seminar vermittelt einen detaillierten Einblick in die Theorien und Ansätze zu den Disziplinen Semantik und kontrastive Pragmatik. Im Seminar werden semantische Relationen anhand konkreter Textbeispielen und diesbezügliche Fragestellungen aus den Bereichen Wort-, Satz- und Textsemantik erarbeitet. Zudem wird der Inhalt konkreter sprachlicher Äußerungen analysiert, Beispiele für die Kommunikation aus verschiedenen gesellschaftlichen Bereichen werden zur Veranschaulichung der vermittelten theoretisch-begrifflichen und methodischen Grundlagen herangezogen. Des Weiteren werden interkulturelle und mehrsprachige Kommunikation im Hinblick auf pragma-linguistische Aspekte kontrastiv analysiert und diskutiert.
- verantwortliche Lehrperson: Ekin Sen
Das Seminar vermittelt einen detaillierten Einblick in die Theorien und Ansätze zu den Disziplinen Semantik und kontrastive Pragmatik. Im Seminar werden semantische Relationen anhand konkreter Textbeispielen und diesbezügliche Fragestellungen aus den Bereichen Wort-, Satz- und Textsemantik erarbeitet. Zudem wird der Inhalt konkreter sprachlicher Äußerungen analysiert, Beispiele für die Kommunikation aus verschiedenen gesellschaftlichen Bereichen werden zur Veranschaulichung der vermittelten theoretisch-begrifflichen und methodischen Grundlagen herangezogen. Des Weiteren werden interkulturelle und mehrsprachige Kommunikation im Hinblick auf pragma-linguistische Aspekte kontrastiv analysiert und diskutiert.
- verantwortliche Lehrperson: Nurten Kum
BA Lehramt Sonderpädagogische Förderung FSP Sprache, 3. Semester
- verantwortliche Lehrperson: Tanja Ulrich


- verantwortliche Lehrperson: Hendrik Brune

- verantwortliche Lehrperson: Hendrik Brune
- verantwortliche Lehrperson: Marco Lhotak

- verantwortliche Lehrperson: Hendrik Brune

- verantwortliche Lehrperson: Hendrik Brune
- verantwortliche Lehrperson: Marco Lhotak

- verantwortliche Lehrperson: Lucia Bellora-Bienengräber
- verantwortliche Lehrperson: Jan Endrikat
- verantwortliche Lehrperson: Sabine Falk
- verantwortliche Lehrperson: Michelle Minh Thu Huynh
- verantwortliche Lehrperson: Eleni Petta
Transitionssysteme, chemische Moleküle und ausführbare Programme scheinen auf den ersten Blick nur wenig gemein zu haben. Was sie jedoch eint ist, dass sie mithilfe von Mitteln der Logik formalisiert werden können. So können beispielsweise Transitionssysteme mittels Modallogiken, chemische Moleküle mittels Prädikatenlogik und Programme mittels Hoare Logik formalisiert werden, welches somit Zugang zu den rigorosen Analyseverfahren und theoretischen Erkenntnissen der jeweiligen Logik schafft. Zum Beispiel ist es möglich, aussagenlogische Erkenntnisse zur Kryptoanalyse von Hashfunktionen zu nutzen oder durch Betrachtung der funktionalen Vollständigkeit von Operatoren über einer Logik eine effizientere Fertigung von Schaltkreisen zu ermöglichen.
Abseits der in Pflichtveranstaltungen eingeführten Aussagen- und Prädikatenlogik erster Stufe existiert noch eine Vielzahl anderer Logiken und Verfahren, welche gemeinsam als Gebiet der Logik ein fundamentales Standbein der theoretischen Informatik bilden, dessen ausgiebigere Exploration Ziel dieses Seminars sein wird.
Im Zuge dieses Seminars wird jeder Teilnehmer einen Vortrag zu einem Thema der Themenliste vorbereiten, die sich thematisch um diverse Logiken, deren Anwendung und theoretische Resultate drehen. Zudem muss jede:r Teilnehmer:in eine Ausarbeitung von 5-10 Seiten zu dem Thema schreiben, welche Teil der Endbewertung sein wird.
- verantwortliche Lehrperson: Rick Adamy
- verantwortliche Lehrperson: Sebastian Gurke
- verantwortliche Lehrperson: Barbara König
- verantwortliche Lehrperson: Karla Messing
- verantwortliche Lehrperson: Pedro Miguel Teixeira Olhero Pessoa Nora
- verantwortliche Lehrperson: Florian Wittbold