INF 210 - Datamaskinteori (Theoretical Computer Science)

Lærebok (Textbook): John Savage, Models of Computation, Xanedu. NOT the old edition from Addison-Wesley, which contains many errors.

The course covers parts of Chapters 1,2,3,4 and 5.

Foreleser (Lecturer): Marc Bezem

Forelesninger på engelsk (lectures in English):
Monday 12.15-14.00, Friday 12.15-14.00
Sted (place): Monday 4138 (4th floor), Friday 2143.

Gruppeøvinger (plenary workshops in English):
Friday 14.15-16.00
Sted (place): 2101

Første forelesning (starting lecture): 16/8 Siste forelesning (last lecture): early November

Exam: 3 compulsory exercises, presentation of solutions and 80% presence at the workshops

Tentative Schedule:

Off stands for no meeting at all, Ch. for lecturing material and Ex. for workshop exercises to be found at the end of each chapter. For example, Ch.1.1-5;2.1,3 would denote a slot with lectures on the first 5 sections of chapter 1 and sections 1 and 3 of chapter 2. Click on weeknumbers for some extra material.

W	Dates	Monday	Friday	Workshop
34	16-20.08	Ch.1.1-4	Ch.2.1-3	Off
35	23-27.08	Ch.2.3-5	Ch.2.5-7	Ex.1.9,13,18;2.3
36	30-03.09	Ch.3.1	Ch.3.3-4	Ex.2.5,14,22,25
37	06-10.09	Ch.3.5,7	Ch.3.8,10	Ex.2.26;3.3,7
38	13-17.09	Ch.4.1-2	Ch.4.3-4	Ex.3.11,21,40,41
39	20-24.09	Comp. Exerc. 1	Ch.4.5-6	Ch.4.7, deadline
40	27-01.10	Ch.4.8	Ch.4.9	Ex.4.3,7,8,19
41	04-08.10	Ch.4.10-11	Ch.4.12	Ex.4.26,27,30,33,45
42	11-15.10	Ch.4.13	Ch.5.1-2	Ex.4.50,51,53,54,58,59,64
43	18-22.10	Ch.5.3-4	Ch.5.5-6	Comp. Exerc. 2
44	25-29.10	Ch.5.7	Ch.5.8	Ex.5.2,4,7,12
45	01-05.11	Overflow	Overflow	Ex.5.15,17,19,23
4?	??-??.11	Q+A	Off	Comp. Exerc. 3

4?	Oral? exam on Tuesday ?? December