SP18:Lecture 5 Functions

From CS2800 wiki
Revision as of 16:52, 2 February 2018 by {{GENDER:Mdg39|[math]'"2}} [/math]'"7
(<math>1) </math>2 | <math>3 (</math>4) | <math>5 (</math>6)

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.

Retrieved from "https://courses.cs.cornell.edu/cs2800/wiki/index.php?title=SP18:Lecture_5_Functions&oldid=473"
  • Powered by MediaWiki