news flashcurrently
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
upcoming dates
|