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

Lecture Schedule:

Thursday 12-2pm and Friday 1-2pm.
Group L1 at LT11 for Thursday and UT-AUD1 for Friday; group L2 online.

• QnA

Tutorial Schedule:

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

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)		T02A	T03A	T04A	T05A
SR14 (COM3-01-23)	T01B	T02B	T03B	T04B	T05B
SR7 (COM1-02-07)			T03D	T04C	T05C
SR9 (COM1-02-09)		T02C	T03C
SR6 (COM1-02-03)		T02D

Venue	Tuesday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR6 (COM1-02-03)	T06A	T07A
SR14 (COM3-01-23)		T07B	T08B	T09B
SR8 (COM1-02-08)		T07C	T08C	T09A
SR9 (COM1-02-09)			T08D	T09C
BIZ2-02-01			T08A
ESLab1 (COM1-01-14)					T10A
ESLab2 (COM1-01-13)					T10B

Venue	Wednesday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR21 (COM3-02-60)	T11A	T12A	T13A
SR5 (COM1-02-01)	T11B		T13B
BIZ2-03-03			T13C

Venue	Thursday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR5 (COM1-02-01)	T16A	T17A	Lecture	T19A	T20A
SR7 (COM1-02-07)					T20B
SR9 (COM1-02-09)				T19B

Venue	Friday
	8-10am	10-12nn	1-2pm	2-4pm	4-6pm
SR5 (COM1-02-01)	T21A	T22A	Lecture	T24A	T25A
SR6 (COM1-02-03)				T24B
SR9 (COM1-02-09)				T24C

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 31 August 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.)	MPSH1A, 1B, 4	7 Oct, Wednesday	6:30 - 8pm
Exam (See RO's Exam Directory) (See also Exams page for more info.)	TBU	26 Nov, Thursday	9 - 11am