Sets and Logic (234293) WS 2014/5
Lecture 6
Lecture 6
What did we do so far ?
We have learned how to build and use sets to model objects used in
computation.
We have learned how to use inductive definitions and induction proofs.
We have built the set H

Sets and Logic (234293) WS 2014/5
Lecture 5
Lecture 5
What did we do so far ?
We have introduced finite sets and proven some of their properties.
We have introduced countable sets and proven some of their properties.
We introduced the very big and rich

Sets and Logic (234293) WS 2014/5
Lecture 4
Lecture 4
What did we do so far ?
We have modeled words over an alphabet (as tuples of letters).
We have modeled the natural numbers N as unary words.
We have established the Peano Axioms for N
and their anal

Sets and Logic (234293) WS 2014/5
Lecture 3
Lecture 3
What did we do so far ?
We have seen a limitation on set formation: There is no universal set.
There are more such limitations.
We have modeled the ordered pair, ordered n-tuples and the cartesian
pr

Sets and Logic (234293) WS 2014/5
Lecture 2
Lecture 2
What did we do so far ?
We looked at sets we know.
We learned to build new sets from old.
Empty set, unordered pair, union (of two sets),
separation principle, power sets, union (over sets)
We establis