News
General
This is a mandatory course of the Bachelor Technische Informatica running quartile B3.
Instruction hours
Instruction hours/working groups are held on Fridays, hours 7+8, Helix West
1.91 (English instruction), Helix Oost 1.91 (Dutch instruction) and Helix West
3.91 (Dutch instruction). For the list of planned exercises, see below. The
division into groups will be announced at StudyWeb.
Literature
There are lecture notes available: J.C.M. Baeten, Models of Computation: Automata and Processes, 2010. The course 2IT16 will cover Chapter 1 to 3.
Planning
Feb 1 | Kick Off: Chapter 1 Introduction | [slides] |
Feb 3 | Lectures: Section 2.1 | [slides] |
Feb 4 | Working group: 2.1.1 to 2.1.4, and 2.1.6 | |
Feb 8 | Extra tuition: 2.1.15, 2.1.19, 2.1.10, 2.1.21, and 2.1.20 | [slides] |
Feb 10 | Lectures: Sections 2.2 and 2.3 | [slides] |
Feb 11 | Working group: 2.3.2-6 | |
Feb 15 | Extra tuition: 2.2.2, bisimulation, 2.3.7, start Section 2.4 | [slides] |
Feb 17 | Lectures: Section 2.4 | [slides] |
Feb 18 | Working group: 2.4.2-5, 2.4.7-11, 2.4.13 | |
Feb 22 | Extra tuition | [slides] |
Feb 24 | Lectures: Section 2.5 and 2.8 | [slides] |
Feb 25 | Working group: 2.5.1, 2.5.4, 2.5.7a and 2.8.2-4 | |
Mar 1 | Extra tuition | [slides] |
Mar 3 | Lectures: Section 2.6 and 2.7 | [slides] |
Mar 4 | Working group: 2.6.1-2, 2.6.4-5, 2.7.1 (second half), 2.7.2-3, Exam June 2008, assignment 2 | |
Crocus holidays March 7 to March 11 | ||
Mar 15 | Extra tuition | [slides] |
Mar 17 | Lectures: Section 3.1 and 3.2 | [slides] |
Mar 18 | Working group: 3.1.1, 3.1.4, 3.2.1-4, 3.2.6ac | |
Mar 22 | Extra tuition | [slides] |
Mar 24 | Lectures: Section 3.3 and 3.4 | [slides] |
Mar 25 | No working group (TU/e High-School Orientation Day) | |
Mar 29 | No extra tuition | |
Mar 31 | Lectures: Section 3.5 and 3.6 | [slides] |
Apr 1 | Working group: 3.3.2c-g, 3.3.3, 3.3.5, selection of 3.3.11 | |
Apr 7 | Exam preparation meeting | [exam] |
Apr 11 | Exam | [exam] |
Educational Format
Lectures on Thursdays, working groups on Fridays, additional tuition on Tuesdays.
Examination
This course is assessed in writing. Written examinations on Monday April 11 (morning) and Monday June 27 (morning). An extra retake opportunity is held on Friday August 19 (morning)
Lecturer and Tutors
dr. C.J. Bloo (working group), HG 6.39, c.j.bloo(at)tue.nl, 040-2474496
dr. E.P. de Vink (lectures and extra tuition), HG 6.72, evink(at)win.tue.nl, 040-2473146
dr. J.W. Wesselink (working group), HG 6.77, j.w.wesselink(at)tue.nl, 040-2472734
dr. G. Zwaan(working group), HG 6.39, g.zwaan(at)tue.nl, 040-2474291
Webpages of the course 2IT15 in 2009/2010.