# 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 | + | 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 — 4.5 | * Reading: [[MCS]] 4.3 — 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 ( ). We then defined functions and discussed some examples.

- Reading: MCS 4.3 — 4.5
- This material was covered in lectures 2 (modeling problems) and 4 (functions) in 2017sp.
- File:Lec05-board.pdf