CSC165 Fall 2014 - L5101 Lecture Slides

T6-9, BA1130, Instructor: Larry Zhang

Week 1: Introduction, precision, quantifiers

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 2: Verify/falsify, sentences, symbols

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 3: Conjunction, disjunction, negation, implication

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 4: Implication/disjunction, mixed quantifiers, proof

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 5: Contradiction, existence, sequences

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 6: Cases, multiple quantifiers, limits

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 7: Sorting algorithm complexity, big-Oh

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 8: Counting steps, worst-case, formal big-Oh

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 9: Big-Oh of polynomials, non-polynomials, limits

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 10: Big-Omega, big-Theta, general properties

Pre-lecture slides (print-friendly)

Lecture slides (full content)

Week 11: Halting problem, computability

No lecture

Week 12: Computability, review

Pre-lecture slides (print-friendly)

Lecture slides (full content)

© 2014 Larry Yueli Zhang All Rights Reserved