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 : Basic Propositional & Predicate Logic - 6 meetings

Meeting 01 : Mon, Sep 07, 05:30 pm-07:15 pm

Administrative Announcements. Why this course? Overview of the course contents. Propositions, Truth values. Compound propositions and truth tables.

Meeting 02 : Wed, Sep 09, 05:30 pm-07:15 pm

Implication and double implication. Truth tables. Tranlating English statements to propositional logic. Logical equivalences. Tautology, contingent, and contradictions.

Meeting 03 : Wed, Sep 16, 05:30 pm-07:15 pm

Converse, contrapositive and inverse. Argument, validity. Argument forms and valid argument forms. Rules of inference for propositional logic. Examples.

Meeting 04 : Mon, Sep 21, 05:30 pm-07:15 pm

Predicates and Quantifiers. Existential and universal quantifiers. Truth and falsity of predicate logic statements. Free and bound variables. Negating a statement in Predicate logic. Logical equivalences in predicate logic.

Meeting 05 : Wed, Sep 23, 05:30 pm-07:15 pm

To Be Announced

Meeting 06 : Mon, Sep 28, 05:30 pm-07:15 pm

To Be Announced

Theme 2 : Mathematical Proofs & Techniques
- 8 meetings
- Meeting 07 : Wed, Sep 30, 03:30 pm-04:45 pm
- Meeting 08 : Mon, Oct 05, 05:30 pm-07:15 pm
- Meeting 09 : Wed, Oct 07, 03:30 pm-04:45 pm
- Meeting 10 : Mon, Oct 12, 05:30 pm-07:15 pm
- Meeting 11 : Wed, Oct 14, 03:30 pm-04:45 pm
- Meeting 12 : Mon, Oct 19, 05:30 pm-07:15 pm
- Meeting 13 : Wed, Oct 21, 03:30 pm-04:45 pm
- Meeting 14 : Mon, Oct 26, 05:30 pm-07:15 pm
Theme 3 : Cardinality, Counting and Combinatorics
- 10 meetings
Meeting 15 : Wed, Oct 28, 03:30 pm-04:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
Meeting 16 : Mon, Nov 02, 05:30 pm-07:15 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
Meeting 17 : Wed, Nov 04, 03:30 pm-04:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
Meeting 18 : Mon, Nov 09, 05:30 pm-07:15 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 19 : Wed, Nov 11, 03:30 pm-04:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 20 : Mon, Nov 16, 05:30 pm-07:15 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 21 : Wed, Nov 18, 03:30 pm-04:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 22 : Mon, Nov 23, 05:30 pm-07:15 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 23 : Wed, Nov 25, 03:30 pm-04:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 24 : Mon, Nov 30, 05:30 pm-07:15 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
Theme 4 : Structured Sets
- 3 meetings
(Upcoming) Meeting 25 : Wed, Dec 02, 03:30 pm-04:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 26 : Mon, Dec 07, 05:30 pm-07:15 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None
(Upcoming) Meeting 27 : Wed, Dec 09, 03:30 pm-04:45 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References : None

CS6030 - Logic and Combinatorics for Computer Science

Today : Mon, Nov 9, 2026

Announcements

Meetings

References	Section 1.1 [KR]
Exercises
Reading

References	Section 1.2 [KR]
Exercises
Reading

References	Section 1.5 [KR]
Exercises
Reading

References
Exercises
Reading