Discrete Mathematics for Computer ScientistsDIT980, HT 2015
Home | Schedule | Assignments | Exercises | Exam | AboutFire | Forum | TimeEdit | Links | 2014
news flash

Monday, Nov 9
INFORMATION OM TENTAGRANSKNING

currently

Week 7
Monday, Oct 12 (10-12 in EC)
Lecture: Guest lecture by Magnus Björk from Jeppesen Systems
Wednesday, Oct 14 (13-16 in Ideläran)
Exercises: Graphs
(book: Ch. 7)
Thursday, Oct 15 (10-12 in EB)
Lecture: Combinatorics
(book: Ch. 6.1-6.3, 9.1)
  • Code: Code.hs
  • Notes: Kombinatorik.pdf
  • Friday, Oct 16 (10-12 in ED)
    Lecture: Combinations
    (book: Ch. 6.1-6.3, 9.1)
  • Code: Code.hs
  • Notes: Kombinatorik.pdf

  • Week 8
    Monday, Oct 19 (10-12 in EC)
    Lecture: Theme lecture on Automated Theorem Proving, by Koen Claessen and Dan Rosén
    Wednesday, Oct 21 (13-16 in Ideläran)
    Exercises: Combinatorics
    (book: Ch. 6+9.1)
    Thursday, Oct 22 (10-12 in VF)
    Lecture: "By Popular Demand"
    (you can propose topics)
    Friday, Oct 23 (10-12 in ED)
    Lecture: Course Summary, History of Discrete Mathematics
    OBS: The Thursday lecture is in VF
    news

    Tuesday, Oct 20
    There are now two extra Frågestunder in the exam week.

    Tuesday, Oct 20
    Published example exam questions.

    Tuesday, Oct 20
    Published answers to exercises week 8.

    upcoming dates