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!

• About this document ...