Next: About this document
CS486 Spring 1997
Lecture 11 Tuesday, Feb. 25, 1997
- First-order specifications continued
- review
for Equality
- need for stating substitution of equals for equals properties
- specifying a finite automaton
-
- Church's Theorem: first-order validity is undecidable
- specifying a Turing machine