Unformatted text preview: Or0 theorem proved in the lectures. Problem 3: Prove that the big and delivers the value False if any of the elements in its argument are False. Problem 4: Write the axioms for a runningand function using a tailrecursion in the form of equations similar to the axioms of t h Problem 5: State and prove a theorem that establishes a connection between the runningand function and the big and functio n...
View
Full Document
 Spring '08
 RexPage

Click to edit the document details