Computational Linguistics & Phonetics Computational Linguistics & Phonetics Fachrichtung 4.7 Universität des Saarlandes

Mathematical Logic

Vorlesung mit ‹bung: Computerlinguistik, M.Sc.

Leitung: Werner Saurer
Ort: Geb. C72, Konferenzraum 2.11
Zeit: Wed 10-12 (V); Mon 10-12 (‹)
Beginn: 27.04.2016
Geeignet für: M.Sc.

Mathematical logic is one of the most important formal tools in computational linguistics, especially - but not only - for semantics. Unlike an introductory logic course, where students acquire a working knowledge of logic, this intermediate to advanced course in logic will be largely concerned with metalogical results such as correctness and completeness of logical calculi. We will consider axiom systems for propositional and first order predicate logic and prove that these systems are semantically correct and complete.

Zur Homepage des Kurses

Literatur
R. H. Thomason, Symbolic Logic. An Introduction. Macmillan 1970 [T]

Bemerkungen/Voraussetzungen
Mathematical Foundations I or good working knowledge of first order predicate logic. There will be no separate exercise session. I will give regular homework assignments and discuss some of the problems in class.

Scheine
There will be a written exam (90 min) at the end of the semester.

Stellung im Studienplan
M.Sc. Specialization Course;
Area: L, CL

Leistungspunkte
6 CP