Kurzbeschreibung

In dem Maße, wie die Linguistik versucht, als empirische Wissenschaft exakt zu sein, werden Aussagen über den Gegenstandsbereich als wissenschaftliche Theorien formuliert. Sie bedient sich dabei der Grundlagen der allgemeinen Strukturwissenschaften Mathematik und Logik. In dieser Veranstaltung geht es darum, die wesentlichen Grundbegriffe dieser Disziplinen zu vermitteln, soweit sie für das Verständnis linguistischer Fachliteratur erforderlich sind. Im einzelnen werden folgende Gebiete behandelt:

1. Allgemeine Grundbegriffe
2. Grundbegriffe der Aussagenlogik
3. Grundbegriffe der Prädikatenlogik
4. Grundbegriffe der Mengenlehre
5. Systeme und Strukturen
6. Automatentheorie
7. Formale Sprachen

Eine erfolgreiche Erarbeitung dieser Grundlagen setzt intensive Übung voraus. Es werden daher regelmäßig Übungsaufgaben zur häuslichen Bearbeitung verteilt. Die angemessene Bearbeitung dieser Aufgaben ist auch Grundlage für die Bestätigung der erfolgreichen Teilnahme. Diese Arbeit wird durch ein Tutorium unterstützt. Der Veranstaltung wird ein Skript zugrunde gelegt, das durch gezielte Literaturhinweise ergänzt wird.