MEETING 1
Tue Jan 16
syllabus
names and what they are here to learn
define the natural numbers

MEETING 2
Thu Jan 18
define membership in a set
naive look at the chomsky hierarchy and some machine classes
naive regular expressions
first attempt at inductive defn of regular expressions and their denotations

MEETING 3
Tue Jan 23
naive FSA
define k-tuples
define concatenation of sets of strings
define strings over a set of symbols
inductive definition of set-self-concatenation powers
define kleene closure
define finite

MEETING 4
Tue Jan 25
assignment 1
define quasiquotation
define equipollence as bijectability
define countable infinity
define uncountable infinity
define powerset
show powerset nonbijectable


Tue Jan 30 NO CLASS (instructor out of town)