Next: About this document
CS486 Spring 1997
Lecture 16 Thursday, March 13, 1997
- More on prelim
- know Löwenheim-Skolem well, how is König lemma used
- think about adding epsilon operator to pure first-order logic (syntax, semantics, rules)
- Review
- subsystems of Q
- Presburger arith
- Theory of Integers,
, continued
- integral domains
- ordered integral domains
- ADT's, extended ADT's
- Arith rule
- induction (up and down)
- Terminating Recursive Function Definitions
- schemes of primitive recursion, primitive iteration, and simple recursion
- sample functions
-
and
- Applied Logics
-
lists
- problems with functions (conditional, nonterminating)
- Prolog
Enjoy Spring Break!