Theory of Computation
Smith Computer Science
The problem: Is there some way to set these boolean values so the whole thing evaluates to TRUE?
The problem: Pattern matching
The problem: More powerful pattern matching
Restricted notion of “computation”