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: Fall 2016

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 W 09/21 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 F 09/23- M 09/26 Chapter 1. Logic. Propositions. Compound propositions. Logic puzzles PDF scan of hand written notes

PDF scan of notes from class
Wikipedia article: Liar's paradox
Handout: Important logical equivalences
Lect 3 W 09/28- F 09/30 Chapter 2. Logic (2). Conditional. Biconditional. Proofs. Rules of inference. PDF scan of hand written notes
Lect 4 W 10/05- M 10/10 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 W 10/12 - M 10/24 Functions. Injection, Surjection, Bijection. Floor and Ceiling functions. Growth of functions PDF scan of hand written notes
Chapter 6 We 10/26 - We 11/2 Number theory. PDF scan of hand written notes
Chapter 7 W 11/02 - F 11/11 Sequences. Induction PDF scan of hand written notes Additional problems on Induction: Solutions to odd problems (PDF format)
Chapter 8 W 11/09 - M 11/21 Counting PDF scan of hand written notes
Chapter 9 M 11/28 - W 11/30 Algorithms. PDF scan of hand written notes





  Page last modified 12 December 2016 http://www.cs.ucdavis.edu/~koehl/