Difference between revisions of "SP18:Lecture 5 Functions"

From CS2800 wiki
(Created page with "We will introduce functions, and define some of their basic properties (injectivity, surjectivity, etc. * Reading: MCS 4.3 — 4.5 * This material was cov...")
 
Line 1: Line 1:
We will introduce [[functions]], and define some of their basic properties ([[injectivity]], [[surjectivity]], etc.
+
We finished our list of proof techniques, adding [[implication]] ([[\Rightarrow]]) and [[existential]]s (<math>[[\exists]]</math>).  We then defined functions and discussed some examples.
  
 
* Reading: [[MCS]] 4.3 &mdash; 4.5
 
* Reading: [[MCS]] 4.3 &mdash; 4.5
 
* This material was covered in lectures [http://www.cs.cornell.edu/courses/cs2800/2017sp/lectures/lec02-sudoku.html 2 (modeling problems)] and [http://www.cs.cornell.edu/courses/cs2800/2017sp/lectures/lec04-functions.html 4 (functions)] in 2017sp.
 
* This material was covered in lectures [http://www.cs.cornell.edu/courses/cs2800/2017sp/lectures/lec02-sudoku.html 2 (modeling problems)] and [http://www.cs.cornell.edu/courses/cs2800/2017sp/lectures/lec04-functions.html 4 (functions)] in 2017sp.
 +
* [[File:lec05-board.pdf]]

Revision as of 16:52, 2 February 2018

We finished our list of proof techniques, adding implication (\Rightarrow) and existentials ([math]\href{/cs2800/wiki/index.php/%5Cexists}{\exists} [/math]). We then defined functions and discussed some examples.