Homework 1

Objectives Set up the technology we will use for this course. Begin to explore programming in ACL2s. Prepare for the second half of your homework ass...

Homework 11

“Success is the ability to go from one failure to another with no loss of enthusiasm.” Winston Churchill

Homework 12

Nothing inspiring here for this one, except to do it.

Homework 3

Induction makes you feel guilty for getting something out of nothing … but it is one of the greatest ideas of civilization. – Herbert Wilf

Homework 4

To prove a thing is not enough; you have to seduce people to accept it. – Friedrich Nietzsche

Homework 5

Objectives Practice the subtleties of substitution in ACL2S Cement understanding of normal forms and normalization Practice writing proofs over strai...

Homework 6

It is reasonable to hope that the relationship between computation and logic in the next century will be as fruitful as that between calculus and physics ...

Homework 7

[Proofs] are this crazy contact between an imaginary, nonphysical world and biologically evolved creatures. We did not evolve to do this. – Simon DeDeo

Homework 9

“I know what you’re thinking about,” said Tweedledum; “but it isn’t so, nohow.” “Contrariwise,” continued Tweedledee, “if it was so, it might be; and if i...