This is part 1 in the course in logic and discrete mathematics. We will go through basic concepts in discrete mathematics. This part has three purposes.

1. Provide training in working with abstract concepts and formal methods.
2. As a prerequisite for part 2 of the course.
3. As a prerequisite for other courses where formal methods are used, and to clarify some concepts in related formal courses (e.g. the PINK course).

Discrete Mathematics Course Material

• Lecture notes (available below). These notes are up-to-date. They may have older dates on them, but that is OK!.

Reference Literature

The following book has been included as course material previous years. However, since only the 73 first pages are directly relevant to the course, we recommend the students to borrow the book from the library or from other students.

• Mathematical Methods in Linguistics (Student Edition)
  • Partee, Meulen and Wall
  • Kluwer Academic Publishers, 1993.

Discrete Mathematics Schedule 1999

Week 4

• Monday 25/1 Introduction. Set theory. (Lecture notes)
  • 10-12 Seminar 1, G37
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 1.1-2, 1.4-8
    (the exercises are recommended, but not part of the examination)
• Tuesday 26/1 More set theory. (Lecture notes)
  • 10-12 Seminar 2, G37
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 1.9-11.
• Wednesday 27/1 Tuples, relations. (Lecture notes page 1, page 2, page 3, page 4 )
  • 10-12 Seminar 3, G35
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 2.1, 2.3
• Thursday 28/1 Properties of relations. (Lecture notes)
  • 10-12 Seminar 4, G35
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 3.1
• Friday 29/1 Orders, equivalence relations. (Lecture notes)
  • 10-12 Seminar 5, G36
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 3.2-3.5

Week 5

• Monday 1/2 Functions (Lecture notes)
  • 10-12 Seminar 6, G37
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 2.2, 2.4 and "Exercises 3: Functions"
• Tuesday 2/2 Boolean algebra (Lecture notes)
  • 10-12 Seminar 7, G37
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: relevant parts of "Exercises 4: Boolean algebra, induction and recursion"
• Wednesday 3/2 Infinite sets (Lecture notes)
  • 10-12 Seminar 8, G37
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 4.1-6 and relevant parts of "Exercises 4"
• Thursday 4/2 Induction & recursion (Lecture notes)
  • 10-12 Seminar 9, G37
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37
  • Exercises: 1.3 and relevant parts of "Exercises 4"
• Friday 5/2 Induction & recursion. Summary
  • 10-12 Seminar 10, G37
  • 13-15 Lecture A, S35
  • 13-15 Lecture B, S37