CS486 Spring 1997

Lecture 9 Tuesday, Feb. 18, 1997

Comments on assignment 3 problem 1

Goals and assumptions for next 2 weeks

Gödel completeness theorem is goal
assume CS280 background on predicate calculus
note pattern of course so far
finished 2 topics
reading/lecture combination
lecture notes
good study practices

Review of predicate calculus basics

syntax: abstracting from concrete examples
models: abstracting over domais

Mathematics of validity

finite models
special classes of formulas: monadic predicates

First-order analytic tableau

quantifier rules
sample proof

• About this document ...