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	11/8 - 15/8	Introduction Lecture 1: Speaking Mathematically Lecture 2: The Logic of Compound Statements
2	18/8 - 22/8	Lecture 2: The Logic of Compound Statements (cont'd) Lecture 3: The Logic of Quantified Statements
3	25/8 - 29/8	Lecture 3: The Logic of Quantified Statements (cont'd) Lecture 4: Methods of Proofs	Tutorial #1
4	1/9 - 5/9	Lecture 5: Sets Lecture 6: Relations and Equivalence Relations	Tutorial #2
5	8/9 - 12/9	Lecture 6: Partial Orders	Tutorial #3
6	15/9 - 19/9	Lecture 7: Functions	Tutorial #4 Assignment #1 (on Tut1-3) due: 15 Sep, Monday, 1pm
-	20/9 - 28/9	(Recess)
7	29/9 - 3/10	Lecture 8: Mathematical Induction and Recursion	Tutorial #5
8	Mid-term test (on tutorials 1-5) (See Important Events below.)
8	6/10 - 10/10	Lecture 9: Cardinality	Tutorial #6
9	13/10 - 17/10	Counting and Probability I	Tutorial #7
10	20/10 - 24/10	Counting and Probability II	Tutorial #8
11	27/10 - 31/10	Graphs	Tutorial #9
12	3/11 - 7/11	Trees	Tutorial #10 Assignment #2 (on Tut6-9) due: 3 Nov, Monday, 1pm
13	10/11 - 14/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 Theodore	T03A Theodore	T04A Subramanian R.	T05A Saswata
SR14 (COM3-01-23)	T01B Aaron	T02B Aaron	T03B Frank Stephan	T04B Shearer Tang	T05B Frank Stephan
SR7 (COM1-02-07)			T03D Zwe Zeya	T04C Chayapol	T05C Chayapol
SR9 (COM1-02-09)		T02C Eldon Chung	T03C N. Tuan Duong
SR6 (COM1-02-03)		T02D Lin Haoyue

Venue	Tuesday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR6 (COM1-02-03)	T06A Alden Chua	T07A Joseph Teoh
SR14 (COM3-01-23)		T07B Ashish	T08B Ashish	T09B Eldon Chung
SR8 (COM1-02-08)		T07C Tan Jay	T08C Theodore	T09A Theodore
SR9 (COM1-02-09)			T08D Camlin Tan	T09C Saswata
BIZ2-02-01				T08A Darren Lim
ESLab1 (COM1-01-14)					T10A Jhajharia A.
ESLab2 (COM1-01-13)					T10B Chin Herng

Venue	Wednesday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR21 (COM3-02-60)	T11A Li Zihan	T12A Terry Si	T13A Axel Giovanni
SR5 (COM1-02-01)	T11B Gary Axel M.		T13B Mu Junrong
BIZ2-03-03			T13C Ivan Adrian K.

Venue	Thursday
	8-10am	10-12nn	12-2pm	2-4pm	4-6pm
SR5 (COM1-02-01)	T16A Chayapol	T17A Craigton Lian	Lecture	T19A Bryan Leng	T20A Ryan Low
SR7 (COM1-02-07)					T20B Gabriel Tan
SR9 (COM1-02-09)				T19B Chayapol

Venue	Friday
	8-10am	10-12nn	1-2pm	3-4pm	4-6pm
SR5 (COM1-02-01)	T21A Rishav Gupta	T22A Rishav Gupta	Lecture	T24A Simpson Eng	T25A Shinezul B.
SR6 (COM1-02-03)				T24B Man Tsung
SR9 (COM1-02-09)				T24C Shuhail Loya

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	8 Oct, Wednesday	6:30 - 8pm
Exam (See RO's Exam Directory) (See also Exams page for more info.)	TBU	28 Nov, Friday	2:30 - 4:30pm