## Mathematics for linguists

**Veranstaltungsart:** Proseminar

**Zeit:** Tuesday/Thursday 4-6 p.m.

**Raum:** SfS, room 1.13

Gerhard
Jäger

office: SfS, room 1.20

**secretary:** 1.22 (Christine Clauder)

### 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 courses "Formale Methoden I" and "Formale Methoden II" that I tought at Bielefeld University. At the homepages of these courses, you find course material in German.

### syllabus

### literature:

[PtMW] Partee, B. H.., A. ter Meulen & R. E. Wall, Mathematical Methods in Linguistics, Kluwer, Dordrecht 1990.[HU] Hopcroft, J. E. and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley 1979.