# 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 — 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]] | * [[File:lec05-board.pdf]] |

## Revision as of 17:00, 2 February 2018

We finished our list of proof techniques, adding implication ( ) 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