cs-dm
cs-dm copied to clipboard
kevinsullivan
CS2012 UVa CS Discrete Math Spring 2018
### Missing function "sum4" At [line 168](https://github.com/kevinsullivan/cs-dm/blob/master/Exam2-Review.lean#L168) > Consider the function, sum4, below. What is the type of (sum4 3 7)? What function is (sum4 3 7)? Answer the second...
[Question 13](https://github.com/kevinsullivan/cs-dm/blob/master/Exam2-Review.lean#L205) says > Use example to prove that for all proposition, P, Q, and R, if P → Q → R then P → R. This is not correct....
In the section "native set theory" - there is a phrase that says, "An object can be a member of many different sets, but can only **by** in any give...
_Linen 218_ "The proof is produced the rfl inference rule." Presumably is "The proof is produced **with** the rfl inference rule." _Line 224_ "rule rule ..." _Line 233_ "... Checke...
In intro.lean on lines 38-39, "fundamental to discrete mathematical" should be "fundamental to discrete mathematics". Also on line 186, "They crazy idea" should be "The crazy idea".
In Satisfiability, Validity; Paragraph 5 - sometimes is spelled somtetimes in the phrase "The problem of finding a Boolean expression that satisfies a Boolean formula is thus **somtetimes** called the...
The 'apply' function under the BASIC PROPERTIES OF RELATIONS MORE GENERALLY is incomplete: function apply(x: T): set reads this; requires Valid(); ensures Valid(); { forall x :: x in }...
Paragraph 3: In this chapter, we first discuss Boolean algebra in programming, a setting with which the reader is already **familar**, **baesd** on a first course in programming. (familiar, based)...
[Spelling] Chapter 8, The Unary Operators of Boolean Algebra, states “the type of a function is given when it name”; it should be its [Question] Chapter 8, Xor, refers to...
