Patrice Koehl
Department of Computer Science
Genome Center
Room 4319, Genome Center, GBSF
451 East Health Sciences Drive
University of California
Davis, CA 95616
Phone: (530) 754 5121
koehl@cs.ucdavis.edu




Discrete Mathematics: Winter 2019

Lectures


Notes:
  • I provide copies (PDF format) of my notes for each lecture. Note that these notes are incomplete and do not replace the notes you will take during the lectures!
  • "Lecture" should be distinguished from the actual class. A lecture is more like a chapter; some of these lectures will require more than one class time.
  • Lecture notes may change as quarter progresses
Number Topic Notes Further reading/Comments
Lect 1 T 01/08 Introduction. Topics we will cover. Mathematical symbols you should know. Good practices in Math, ... PDF scan of hand written notes Table of mathematical symbols
Lect 2 Th 01/10 Chapter 1. Logic. Propositions. Compound propositions. Logic puzzles PDF scan of hand written notes Wikipedia article: Liar's paradox
Handout: Important logical equivalences
Lect 3 T 1/15- T 1/22 Chapter 2. Logic (2). Conditional. Biconditional. Proofs. Rules of inference. PDF scan of hand written notes
Lect 4 Th 1/24- T 1/29 Chapter 3. Set theory. Definition of sets. Terminology: elements, union, intersection. Set identities. Computer representation of sets PDF scan of hand written notes
Lect 5 Th 1/31 - Th 2/07 Functions. Injection, Surjection, Bijection. Floor and Ceiling functions. Growth of functions PDF scan of hand written notes
Lect 6 T 02/11 - 02/19 Number theory. PDF scan of hand written notes
Chapter 7 Th 02/21 - Th 02/28 Sequences. Induction PDF scan of hand written notes Additional problems on Induction: Solutions to odd problems (PDF format)
Chapter 8 T 03/05 - Th 03/07 Counting PDF scan of hand written notes
Chapter 9 Th 03/14 Algorithms. PDF scan of hand written notes





  Page last modified 17 December 2021 http://www.cs.ucdavis.edu/~koehl/