Mathematics for linguists
Veranstaltungsart: Proseminar
Zeit: Thursday 12-2 p.m.
Raum: SfS, room 0.01
Gerhard
Jäger
office: SfS, room 1.20
secretary: 1.22 (Christine Glauder)
Course description
Mathematical methods are essential for understanding and working
in theoretical and computational linguistics. This course
introduces the key concepts from the areas of set theory,
algebra and logic, which belong to the basic repertoire of
linguistic methods. The main goal of the course is to provide
the students with sufficient competence in basic notations,
terminology and concepts of discrete mathematics for their
studies in theoretical and computational linguistics.
Familiarity with concepts such as sets, functions and
propositions, and the ability to work with simple proof
techniques are a crucial prerequisite for subsequent courses.The content of the course largely coincides with the course Formale Methoden II that I tought at Bielefeld University. At the homepages of these courses, you find course material in German.
syllabus
| date | topic | literature |
|---|---|---|
| 10/24 |
statement logic: syntax
and semantics |
PtMW, chapter 6 |
| 10/31 |
statement logic: translation | PtMW, chapter 6 |
| 11/7 |
statement logic:
meta-logic and calculus of truth trees |
PtMW, chapter 6 |
| 11/14 |
statement logic: truth
trees, natural deduction |
PtMW, chapter 6 |
| 11/28 |
statement logic: natural deduction | |
| 12/5 |
set theory |
PtMW, chapters 1 & 2 |
| 12/12 |
intermediate test (results) |
|
| 12/19 |
predicate logic: introduction | PtMW, chapter 7 |
| 1/9 |
predicate logic:
quantification |
PtMW, chapter 7 |
| 1/16 |
predicate logic:
meta-logic and truth trees |
PtMW, chapter 7 |
| 1/23 |
predicate logic: natural
deduction |
PtMW, chapter 7 |
| 1/30 |
||
| 2/6 |
final test (results) |
literature:
[PtMW] Partee, B. H.., A. ter Meulen & R. E. Wall, Mathematical Methods in Linguistics, Kluwer, Dordrecht 1990.tutorial website