Difference between revisions of "SP18:Lecture 5 Functions"

From CS2800 wiki
Line 1: Line 1:
We finished our list of proof techniques, adding [[implication]] ([[\Rightarrow]]) and [[existential]]s (<math>[[\exists]]</math>).  We then defined functions and discussed some examples.
+
We finished our list of proof techniques, adding [[implication]] (<math>[[\Rightarrow]]</math>) 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]]
 
* [[File:lec05-board.pdf]]

Revision as of 17:00, 2 February 2018

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