CSE
-
IITM
CS6030 - Logic and Combinatorics for Computer Science
Aug-Nov : 2025
Home
Information
Meetings
Activities
References
Today : Tue, Oct 14, 2025
Meeting : 05:30 pm - 06:45 pm
Announcements
Back to Courses
Meetings
Click on the theme item for the meeting plan for that theme.
Click on the meeting item for references, exercises, and additional reading related to it.
Theme 1 : Logic & Proofs
- 11 meetings
Meeting 01 : Tue, Aug 26, 05:30 pm-06:45 pm
Administrative Announcements. Why this course? Overview of the course contents.<br> Propositions, Truth values. Compound propositions and truth tables.
References
Exercises
Reading
Administrative Announcements. Why this course? Overview of the course contents.
Propositions, Truth values. Compound propositions and truth tables.
References
:
None
Meeting 02 : Tue, Sep 02, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 03 : Wed, Sep 03, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 04 : Tue, Sep 09, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 05 : Wed, Sep 10, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 06 : Tue, Sep 16, 04:00 pm-05:15 pm
References
Exercises
Reading
References
:
None
Meeting 07 : Wed, Sep 17, 05:30 pm-06:45 pm
Methods of Proof. Direct Proof and Indirect Proofs. Examples.
References
Exercises
Reading
Methods of Proof. Direct Proof and Indirect Proofs. Examples.
References
:
None
Meeting 08 : Tue, Sep 23, 05:30 pm-06:45 pm
Proof by contradiction. Three examples. Conjectures, Propositions, Theorems, Lemmas.
References
Exercises
Reading
Proof by contradiction. Three examples. Conjectures, Propositions, Theorems, Lemmas.
References
:
None
Meeting 09 : Wed, Sep 24, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 10 : Tue, Sep 30, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 11 : Wed, Oct 01, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Theme 2 : Counting and Combinatorics
- 9 meetings
Meeting 12 : Tue, Oct 07, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 13 : Wed, Oct 08, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 14 : Tue, Oct 14, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 15 : Wed, Oct 15, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 16 : Tue, Oct 21, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 17 : Wed, Oct 22, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 18 : Tue, Oct 28, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 19 : Wed, Oct 29, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 20 : Tue, Nov 04, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Theme 3 : Structured Sets
- 7 meetings
(Upcoming)
Meeting 21 : Wed, Nov 05, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 22 : Tue, Nov 11, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 23 : Wed, Nov 12, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 24 : Tue, Nov 18, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 25 : Wed, Nov 19, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 26 : Tue, Nov 25, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
(Upcoming)
Meeting 27 : Wed, Nov 26, 05:30 pm-06:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
