Mathematics for linguists
Veranstaltungsart: Proseminar
Zeit: Thursday 122 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:
metalogic 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:
metalogic 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