Methods of formalization

Graduate course, also open to C and D students.

Lecturer: Robin Cooper, G302, 773-2536, office hours Wed 13-15

Time and Place: Thurs 15-16 (with some variation)

Dates: most weeks

Summary: We shall study mathematical tools such as set theory and logic and explain why they are important in the formalization of linguistic theories.

Literature: Barbara Partee, Alice ter Meulen, Robert Wall (1990) Mathematical Methods in Linguistics, Kluwer Academic Publishers

Credit points: 5

Requirements: Successful completion of all exercises set during the course, handed in at times designated (normally before the next meeting of the course).

Schedule: To be determined at the first session, depending on the background, needs and wishes of the students

Language: Swedish and/or English depending on needs and wishes of the students.


<cooper@ling.gu.se>
Last modified: Sun Oct 8 14:49:15 2000