Kursüberblick

(https://www.coli.uni-saarland.de/~saurer/lehre/mg1/mg1-ku.html)

Mathematische Grundlagen der Computerlinguistik I:
Mengenlehre, Algebra, Logik

Wintersemester

Werner Saurer, Tel. 302-4177, Geb. C 72, Zi.1.06
Stefan Thater, Tel. 302-4496, Geb. C 72, Zi 1.11

Sprechstunde: Mi 14-15 Uhr (WS u. ST)

Lehrbücher:

Partee/ter Meulen/Wall, Mathematical Methods in Linguistics. Kluwer, 1990.
Leblanc/Wisdom, Deductive Logic.
Allyn and Bacon, 1976.
Thomason, Symbolic Logic. Macmillan, 1970.


Diese Bücher sind in einem "Apparat" in der Institutsbibliothek zusammengestellt. Sie können übers Wochenende ausgeliehen werden.

Wer zusätzlich zum Vorlesungsskript noch etwas lesen möchte, zur Vertiefung, der sollte diese Bücher heranziehen. Es sind dort auch zusätzliche Übungsaufgaben zu finden, mit Lösungen zu einigen Aufgaben.

Über Mengenlehre kann man in allen drei Büchern was finden.(Thomason, Kap. XIII; Leblanc/Wisdom, Appendix I; Partee et al., Teil A, Kap. 1-4)
Über Algebren, Ordnungen und Verbände, s. Partee et al.,  Teil C, Kap. 9-11.
Bei der Aussagenlogik halten wir uns weitgehend an Leblanc/Wisdom, Kap. 1.1 und 1.3.
Bei der Prädikatenlogik halten wir uns weitgehend an Thomason, Kap. VIII - XI, verwenden aber die Konnektive und Quantorensymbole von Leblanc/Wisdom.

Übungsaufgaben:

Wir werden regelmässig Hausaufgaben verteilen, die auch von den Studenten gemacht werden sollten, die keine Leistungspunkte wollen. Wir werden in den Übungen auch über diese Aufgaben sprechen. Daneben soll jede/r so viele Aufgaben für sich machen, wie sie/er zeitmässig bewältigen kann. Wir stehen für Fragen immer zur Verfügung. NB: Logik lernt man nur durch viel Üben. Wer die ausgeteilten Übungsaufgaben regelmässig macht, wird sehr wahrscheinlich auch den Kurs mit einer guten Note abschliessen; wer zum ersten Mal in den Klausuren sich an Aufgaben versucht, scheitert sehr wahrscheinlich.

 

Sprechstunden:

Die Sprechstunde ist nicht nur zur Studienberatung da, sondern auch für Fragen zum Inhalt der Veranstaltung. Wer etwas nicht versteht (nach dem Besuch der Vorlesung und der entsprechenden Übung) sollte zu uns kommen. Es können auch ganze Gruppen zu uns kommen, soweit unsere Büros das zulassen. Unsere Sprechstunden sind Mittwoch, 14-15 Uhr und nach Vereinbarung.

Anmeldung zur Prüfung:

Zu einer Prüfung muss man sich anmelden, laut Prüfungsordnung. In unserem Fall meldet man sich schon zur 1. Klausur an. Dies geschieht für B.Sc.Hauptfächler über die universitätsweite Prüfungsdatenbank HISPOS. Für andere Teilnehmer, die sich nicht über HISPOS anmelden können, gibt es andere Möglichkeiten der Anmeldung . Die Anmeldefrist steht in der Kursbeschreibung, aber auch in den Anmeldedatenbanken selbst. Wer sich anmeldet, verpflichtet sich zur Teilnahme; wer sich nicht fristgerecht anmeldet, kann auch nicht an der Prüfung teilnehmen.

Prüfungen und Noten:

Für diejenigen, die in diesem Kurs 8 Leistungspunkte (ECTS) verdienen wollen, gibt es insgesamt zwei (2) Klausuren, die rechtzeitig angekündigt werden (siehe Kursbeschreibung im Online-KV). Die zwei Klausuren sind jeweils 45 Minuten lang und sind 75 Punkte wert (+ 6 Punkte für eine Bonusaufgabe). Die 1.Klausur ist ungefähr in der Mitte des Semesters und deckt den Stoff des 1. Halbsemesters ab. Die 2.Klausur ist kurz vor Semesterende und deckt den Stoff des 2.Halbsemesters ab. Die Nachklausur ist  für diejenigen, die auf der Grundlagen der ersten beiden Klausuren nicht bestanden haben oder ihre Note verbessern wollen.  Eine nicht abgelegte Prüfung, zu der man angemeldet war,  zählt 0 Punkte.

Die einzigen zugelassenen Hilfsmittel sind der eigene Kopf und je Klausur ein "Spickzettel" von einer DIN A4 Seite. (Für die Nachklausur - s.u. - kann man beide Spickzettel verwenden.)

Die Note für den Kurs kommt folgendermassen zustande. Nach der 2.Klausur werden die Punkte der beiden Klausuren zusammengezählt und auf dieser Grundlage eine Note erteilt. Dabei entsprechen

Punkte

Note

>= 135

sehr gut (1)

120-134

gut (2)

105-119

befriedigend (3)

 90-104

ausreichend (4)

  < 90

nicht bestanden.

Die Note wird bei "HISPOS-Studierenden" in der HISPOS-Datenbank verbucht. Es gibt für HISPOS-Studierende keine Leistungsnachweise in Papierform ("Scheine") mehr. Wer sich nicht über HISPOS anmelden kann, bekommt als Leistungsnachweis einen Schein.

Wiederholung von Prüfungen:

Wer eine Prüfungsleistung nicht  auf Anhieb besteht, kann sie (maximal) zweimal wiederholen. In diesem Kurs wird die 1. Wiederholung in Form einer Nachklausur angeboten, üblicherweise zu Beginn des darauf folgenden Sommersemesters. Die Nachklausur (90 Minuten und 150 Punkte, keine Bonusaufgaben) prüft den gesamten Stoff ab. Die Nachklausur ist auch für diejenigen, die zwar (innerhalb der Regelstudienzeit für diesen Kurs, d.h. im 1. Semester) bestanden haben, aber ihre Note verbessern möchten.(Es zählt dann das bessere Ergebnis.)

NB: Auch zur Nachklausur muss man sich anmelden, und Voraussetzung dafür ist, dass man zur ursprünglichen Klausur gemeldet war.

Zeitplan (annäherend):

1.-2.Woche

Grundbegriffe der Mengenlehre

3.-4.Woche

Grundbegriffe der algebraischen und Ordnungsstrukturen, Verbände

5.-8.Woche

Aussagenlogik: Formalisieren, Syntax und Semantik

8.Woche

1.Klausur (45 Min.); Stoff der 1. Hälfte

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 (45 Min.); Stoff der 2. Hälfte

Nachklausur (90 Min.); Stoff der ganzen Vorlesung)


Zurück zur Kursbeschreibung Mathematische Grundlagen I.