SoC Course Schedule:

See Course Schedule.

Venues:

See SoC Venues; location capacity.

Lecture Plan:

This is a summary. For more details, please go to the Lectures page which includes the slides.

Note that the lecture plan is subject to changes.

Week	Date	Lecture Topics	CA
1	12/8 - 16/8	Introduction Lecture 1: Speaking Mathematically Lecture 2: The Logic of Compound Statements
2	19/8 - 23/8	Lecture 2: The Logic of Compound Statements (cont'd) Lecture 3: The Logic of Quantified Statements
3	26/8 - 30/8	Lecture 3: The Logic of Quantified Statements (cont'd) Lecture 4: Methods of Proofs	Tutorial #1
4	2/9 - 6/9	Lecture 5: Sets Lecture 6: Relations and Equivalence Relations	Tutorial #2
5	9/9 - 13/9	Lecture 6: Partial Orders	Tutorial #3
6	16/9 - 20/9	Lecture 7: Functions	Tutorial #4 Assignment #1 (on Tut1-3) due: 16 Sep, Monday, 1pm
-	21/9 - 29/9	(Recess)
7	30/9 - 4/10	Lecture 8: Mathematical Induction and Recursion Lecture 9: Cardinality	Tutorial #5
8	Mid-term test (on tutorials 1-5) (See Important Events below.)
8	7/10 - 11/10	Lecture 9: Cardinality (cont'd) Counting and Probability I	Tutorial #6
9	14/10 - 18/10	Counting and Probability II	Tutorial #7
10	21/10 - 25/10	Graphs	Tutorial #8
11	28/10 - 1/11	No lecture	Tutorial #9
12	4/11 - 8/11	Trees	Tutorial #10 Assignment #2 (on Tut6-9) due: 4 Nov, Monday, 1pm
13	11/11 - 15/11	Filler (revision)	Tutorial #11

Lecture Schedule:

Thursday 12-2pm and Friday 3-4pm.
Group L1 at LT11 for Thursday and UT-AUD2 for Friday; group L2 online.

Tutorial Schedule:

Tutorials start in week 3. See SoC Venues for location of the rooms.

Note that the schedule below (at as 20 August) may be subject to changes. It will only be confirmed at the end of tutorial registration. Please refer to NUSMODS for the most up-to-date tutorial schedule.

Please refer to Staff page for the list of tutors and their contacts.

Venue	Monday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR8 (COM1-02-08)	T01A Ryan Guai	T02A Ryan Guai	T03A Eldon	T04A Chin Herng	T05A Phuong Anh
SR14 (COM3-01-23)	T01B Enzio	T02B Ryan Low	T03B Kuan Jak	T04B Enzio	T05B Wei Jian
SR7 (COM1-02-07)			T03D Khay Liang	T04C Eldon	T05C Jordan
SR9 (COM1-02-09)		T02C Chen Xu	T03C Aaron

Venue	Tuesday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR6 (COM1-02-03)	T06A Ikhoon	T07A Maahir	T08A Ding Feng
SR14 (COM3-01-23)	T06B Matthew	T07B Ashish	T08B Phu Hao	T09B Ashish
SR8 (COM1-02-08)		T07C Wei Ngan	T08C Eldon	T09A Wei Ngan
SR9 (COM1-02-09)			T08D Aaron
SR91 (COM3-B1-10)				T09C Jason	T10C Jason
ESLab1 (COM1-01-14)					T10A Valentin
ESLab2 (COM1-01-13)					T10B Shashank

Venue	Wednesday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR21 (COM3-02-60)	T11A Yuexi	T12A Jason	T13A Jason
SR5 (COM1-02-01)	T11B Patrick		T13B Yong Zhe

Venue	Thursday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR5 (COM1-02-01)	T16A Jun Jie	T17A Tze Tzun	Lecture	T19A Karen	T20A Karen
SR7 (COM1-02-07)					T20B Chin Herng

Venue	Friday
	8-10am	10-12nn	12-2pm	3-4pm	4-6pm
SR5 (COM1-02-01)	T21A Justin	T22A Josh	T23A Eldon	Lecture	T25A James
SR6 (COM1-02-03)	T21B Jie Hui		T23B Dinh Nam		T25B Bryce
SR9 (COM1-02-08)			T23C Ting Xuan

Please mark down these important dates. They are open-book assessments.
The midterm test and exam will be conducted physically.
Please note that the date for the mid-term test is fixed, and you should not miss it. Please alert me (tantc @ comp.nus.edu.sg) by 23 January if it clashes with your other course's test, providing me with the information such as the course code and timing of the other test.

Event	Venue	Date	Time
Mid-term Test (See Term Tests page for details.)	MPSH2, MPSH4	9 Oct, Wednesday	6:30 - 8:30pm
Exam (See RO's Exam Directory) (See also Exams page for more info.)	TBU	29 Nov, Friday	2:30 - 4:30pm