Mid Term 1 Solutions

10X,20X Sections

30X Sections

Mid Term 2 Solutions

10X,20X Sections

30X Sections

Notes

Induction and Catalan Numbers

Sample Exam

Sample Problems

Practice Problems for MidTerm 2

Sample Problems for Final

Some Tables for the practice problems

Slides

• Slide 1 : Introduction
• Slide 2 : Propositional Logic
• Slide 3 : Predicate Logic
• Slide 4 : Circuits
• Slide 5 : Sets
• Slide 6 : Functions
• Slide 7 : Summation
• Slide 8 : Induction
• Slide 8 : Counting and Probability

Honors Section Slides

• Lectures on SAT
• Lectures on Circuits
• Lectures on Quantifiers
• Lectures on Arguments

Worksheets

• Worksheet on Satisfiability - N-Queens
• Worksheet on Predicate Logic
• Worksheet on Proofs
• Worksheet on Proofs 2
• Worksheet on Induction
• Worksheet on Combinatorics

Homeworks

• Homework 1
• Supplemental Homework for Honours Section 1
• Project for Practice(Ungraded)
• Homework 2
• Homework 3
• Supplemental Homework for Honours Section 3
• Homework 4
• Homework 5
• Supplemental Homework for Honours Section 5
• Homework 6
• Homework 7
• Supplemental Homework for Honours Section 7
• Homework 8
• Supplemental Homework for Honours Section 8
• Homework 9
• Homework 10

Homework Solutions

• Homework 1 Solutions
• Homework 2 Solutions
• Homework 3 Solutions
• Homework 4 Solutions
• Homework 5 Solutions
• Homework 6 Solutions
• Homework 7 Solutions
• Homework 8 Solutions
• Homework 9 Solutions
• Homework 10 Solutions

Honours Project

• Honours Project