SP18:Lecture 5 Functions
From CS2800 wiki
Revision as of 17:00, 2 February 2018 by {{GENDER:Mdg39|
'"7We 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