The table below identifies the course meeting times and places, together with the nature of the meeting. The key ”L” denotes a lecture, while ”E” denotes an examination booking.
For each lecture, the topics to be covered are identified via the outline header number of Section 4 of this syllabus. So, for example, on September 09 the topics of FA.3 (closure and membership for regular languages) will be covered. This is only an approximate assignment of meeting times to topics, and it may be altered as the course progresses.
Rooms whose identifiers begin with the letter M are located in MIT-huset, while rooms whose identifiers begin with an N are located in Naturvetarhuset. The examination rooms (skrivsalar) are in the building known as Östra paviljongen.
TBA = to be announced; not yet known.
Week | Type | Date | Time | Room | Topics |
35 | L | Aug 30 | 0815-1000 | MC313 | I |
35 | L | Sep 02 | 0815-1000 | MC313 | FA.1 |
36 | L | Sep 06 | 0815-1000 | MC313 | FA.2 |
36 | L | Sep 09 | 0815-1000 | MC313 | FA.3 |
37 | L | Sep 13 | 0815-1000 | MC313 | FA.4, CF.1 |
37 | L | Sep 16 | 0815-1000 | MC313 | CF.1, CF.2 |
39 | L | Sep 27 | 0815-1000 | MC313 | CF.2, CF.3 |
39 | L | Sep 30 | 0815-1000 | MC313 | CF.3, CF.4 |
40 | L | Oct 04 | 0815-1000 | MC313 | CF.4, CF.5 |
40 | L | Oct 07 | 0815-1000 | MC313 | CF.5, GC.1 |
41 | L | Oct 11 | 0815-1000 | MC413 | GC.1, GC.3 |
41 | L | Oct 14 | 0815-1000 | MC313 | GC.5 |
42 | L | Oct 18 | 0815-1000 | MC313 | GC.4 GC.2 |
42 | L | Oct 21 | 0815-1000 | MC313 | CC |
43 | L | Oct 25 | 0815-1000 | MC313 | R |
44 | E | Nov 02 | 0900-1300 | Skrivsal 3 | Final examination |
01 | E | Jan 04 | 0900-1300 | Skrivsal 7 | Final examination |
17 | E | Apr 27 | 0900-1300 | Skrivsal 1 | Final examination |