A3a Aufbaumodul „Logik“

Kennnummer:

I-Ling (S,G)/ P
I-Ling (C) / WP
EF Ling mit KF Germ. / WP

Studiensemester

3-4
3-5
3-5

Dauer

4 SWS

work load

120 h

Kreditpunkte

4 CP

1

Lehrveranstaltungen

Kontaktzeit

Selbststudium

Kreditpunkte

K Einführung in die Logik mit Tutorium

  4 SWS/60 h

60 h

4 CP

2

Inhalte
Logikkurs: Aussagenlogik und Prädikatenlogik erster Stufe: Syntax und Semantik der betreffenden Logiksprachen; Baumtest; Modelltheorie für die Prädikatenlogik.

Qualifikationsziele
Vertrautheit mit Aussagenlogik und Prädikatenlogik erster Stufe als Formelsprache, Beherrschung formaler Testverfahren für logische Schlüsse und Eigenschaften; Fähigkeit der Umsetzung einfacher natürlichsprachlicher Aussagen in logische Formeln. Voraus­setzung für das Studium der Aufbaumodule A3b, C2, C6. Hilfreich für die Teilnahme an den Modulen P1, P2 und P3..

3

Verwendbarkeit des Moduls
Integr. B.A.-Studiengang Linguistik (alle Schwerpunkte)
Integr. B.A.-Studiengang Informationswissenschaft und Sprachtechnologie
B.A.-Kombinationsstudiengang Ergänzungsfach Linguistik mit Kernfach Germanistik
anrechenbar auf Modul A3E im
B.A.-Kombinationsstudiengang Ergänzungsfach Linguistik
B.A.-Kombinationsstudiengang Kernfach Philosophie

4

Teilnahmevoraussetzungen
Basismodul B4, BS Einführung in die Semantik aus Basismodul B3

5

Voraussetzungen für die Vergabe von Kreditpunkten
Aktive und erfolgreiche Teilnahme an Kurs und Tutorium einschließlich der Anfertigung wöchentlicher Hausaufgaben

6

Häufigkeit des Angebots, modulare Schiene
Das Modul wird jedes Jahr zum SoSe angeboten. 

7

Modulbeauftragte und hauptamtliche Lehrende