Go to NUS website Go to SoC website CS1231S Discrete Structures
   Designed by Aaron Tan | Terms of Use © NUS 2016-2023  

Course Info...
 Description
 Staff
 Schedules
 CA
 Policies

Resources...
 Books
 Lectures
 Online

CA...
 Tutorials
 Assignments
 Term Tests
 Exams

AY2025/26 Semester 1
Course Information - Schedules

Calendar:

For a complete academic calendar, see NUS academic calendar | Calendar (AY2025/26).

        August 2025                         September 2025
     Sun Mon Tue Wed Thu Fri Sat         Sun Mon Tue Wed Thu Fri Sat
                          1   2       4: 31   1   2   3   4   5   6
  0:  3   4   5   6   7   8   9       5:  7   8   9  10  11  12  13
  1: 10  11  12  13  14  15  16       6: 14  15  16  17  18  19  20
  2: 17  18  19  20  21  22  23      RC: 21  22  23  24  25  26  27
  3: 24  25  26  27  28  29  30       7: 28  29  30  
  4: 31  
  
        October 2025                        November 2025
     Sun Mon Tue Wed Thu Fri Sat         Sun Mon Tue Wed Thu Fri Sat
  7:              1   2   3   4      11:                          1
  8:  5   6   7   8   9  10  11      12:  2   3   4   5   6   7   8
  9: 12  13  14  15  16  17  18      13:  9  10  11  12  13  14  15
 10: 19  20  21  22  23  24  25      RD: 16  17  18  19  20  21  22
 11: 26  27  28  29  30  31          E1: 23  24  25  26  27  28  29
                                     E2: 30
Recess week: 20 - 28 Sep 2025
Public holidays: 9 Aug (National Day), 20 Oct (Deepavali), 21 Oct (NUS Well-being Day).
CS1231S Exam: TBU
(See Examination Directory)

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:

TBU.

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.

Important Events:

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

Last updated: 28 April 2025