Tutorials

Tutorial Timetable

Week	Date	Tute	Objs	Content	Solutions	PDFs
1	14 Jul	01		Set Theory Revision (Q1)	questions 1,2,3	pdf version
2	21 Jul	02	1	Set Theory Revision (Q2-Q4)	questions 1,2,3	pdf version
3	28 Jul	03		Set Theory Revision (Q4-Q6)	questions 4,5	pdf version
4	04 Aug	04		Set Theory Revision (Q6-Q8)	questions 6,7,8	pdf version
5	11 Aug	05		Simple Event-B Machines	Simple Bank	pdf version
6	18 Aug	06		Simple Event-B Machines	Traffic Lights	pdf version
7	25 Aug	07		The Lift Machine		pdf version
8	01 Sep	08		(Tutorial Cancelled)
9	08 Sep	09		(Tutorial Cancelled)
10	15 Sep	10		The Bag Machine
11	22 Sep	11		Refinement		pdf version
12	06 Oct	12		Refinement (Traffic Lights again)		pdf version

Tutorials

Tutorials start in week 1. You will be required to register for a tutorial through Allocate+. There are two tutorials scheduled:

Mon 1500-1600 (3-4pm) in Building 25 room ST2
Wed 0900-1000 (9-10am) in Building 25 room ST1

(Lecturer access only: Allocate Admin, TCUP access)

Tutorials will provide an opportunity for more interactive learning than is possible in either lectures or lab sessions. Tutorial questions will be made available through this web page, and you are encouraged to prepare responses to these questions before attending the tutorial session.

An attendance roll will be kept, including details of who participated in discussion. This roll may be used in borderline cases to improve a student's mark (but never downgrade it).

Document History (Tutorials)

20080807:092324	7.1.0	ajh	added week number to timetable
20080707:103009	7.0.1	ajh	revised for new timetable
20080705:063606	7.0.0	ajh	initial version for 2008

This page maintained by John Hurst.
Copyright Monash University Copyright Policy

523 accesses since
15 Jul 2008

Generated at 20090705:1500 from an XML file modified on 20081014:1420
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

618 accesses since 15 Jul 2008, HTML cache rendered at 20091123:0124