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	Sets	Tutorial #2
5	9/9 - 13/9	Relations and Equivalence Relations	Tutorial #3
6	16/9 - 20/9	Partial Orders Functions	Tutorial #4 Assignment #1 (on Tut1-3) due: 16 Sep, Monday, 1pm
-	21/9 - 29/9	(Recess)
7	30/9 - 4/10	Functions (cont'd) Mathematical Induction and Recursion	Tutorial #5
8	Mid-term test (on tutorials 1-5) (See Important Events below.)
8	7/10 - 11/10	Mathematical Induction and Recursion (contd.) Cardinality	Tutorial #6
9	14/10 - 18/10	Counting and Probability I	Tutorial #7
10	21/10 - 25/10	Counting and Probability II	Tutorial #8
11	28/10 - 1/11	Graphs	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.

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