(https://www.coli.uni-saarland.de/~saurer/lehre/mg1/mg1.html)
This page is available in English as well.
Der Stoff dieses Kurses - dem ersten Semester einer
zwei-semestrigen Vorlesung - umfasst Mengenlehre sowie Aussagen- und
Prädikatenlogik erster Stufe. Logik wird den Hauptanteil der Vorlesung
ausmachen. Jede der zwei Logiken wird unter vier Aspekten untersucht: formale
Syntax, formale (modelltheoretische) Semantik, Beweistheorie und Anwendung auf
natürliche Sprachen (Formalisieren, "informelle Semantik"). Das Ziel
des Kurses ist die Vermittlung grundlegender logischer Fertigkeiten wie
Formalisierung von natürlichsprachlichen Sätzen, Konstruktion formaler Beweise
in einem System des natürlichen Schliessens und
semantische Bewertung von Formeln (Wahrheitstafelmethode, Wahrheitsbedingungen
für prädikatenlogische Formeln "errechnen").
Keine
Pflichtveranstaltung
für B.Sc. Computerlinguistik und MA-Nebenfach (Schein).
Die Veranstaltung zählt 6 Leistungspunkte.
Partee, B., A. ter Meulen,
R.Wall, Mathematical
Methods in Linguistics. Kluwer 1990.
Leblanc, H., W. Wisdom, Deductive Logic. Allyn and Bacon, 1976.
Thomason,
R., Symbolic Logic.
Macmillan, 1970.
Die Prüfungsleistung besteht aus zwei Klausuren, je 45 Minuten; die 1. Klausur findet voraussichtlich am 15.12.2022 statt und prüft die 1. Hälfte des Stoffes ab, die 2. Klausur ist voraussichtlich am Mittwoch, 02. Januar 2022, 16 Uhr und prüft die 2. Hälfte des Stoffes ab.
Um an einer Klausur teilnehmen zu können, muss man für den Kurs bzw. dessen Prüfungsleistungen angemeldet sein. Die verbindliche Anmeldefristwird ist der 08.12.2021.
Einziges Hilfsmittel für die Klausuren ist je ein "Spickzettel"
(eine DIN A-4 Seite), den man sich selbst oder im Verein mit andern
zusammenstellen kann. Die 1. Wiederholung der Klausur wird in Form einer
Nachklausur angeboten (90 Minuten, deckt den gesamten Stoff ab). Sie findet
voraussichtlich zu Beginn des Sommersemesters 2022 statt. Der Termin wird
rechtzeitig bekanntgegeben.
(Siehe auch unter Klausurrichtlinien.)
Mi
16-18, Beginn: wird noch bekannt gegeben
Hier sind die Übungsblätter
als PDF-file.
1.-2.Woche |
Grundbegriffe
der Mengenlehre |
3.-8.Woche |
Aussagenlogik:
Formalisieren, Syntax und Semantik |
8.Woche |
1.Klausur; Stoff der 1. Hälfte, 45
Minuten; Probeklausur |
9.-10.Woche |
Aussagenlogik:
Beweistheorie (Natürliches Schliessen) |
11.-13.Woche |
Prädikatenlogik:
Formalisieren, Syntax, Beweistheorie (Nat.Schliessen) |
14.-15.Woche |
Prädikatenlogik:
Formale (modelltheoretische) Semantik |
15.Woche |
2.Klausur; Stoff der 2. Hälfte, 45
Minuten; Probeklausur
|
Zurück
zu den Vorlesungsverzeichnissen.