This preview shows pages 1–7. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Midterm graded Any questions? HW #6 (due 11/4) 1. Problem 13.12 (prove by a tableau) 2. Exercise 13.7 3. Show that the set of all rational num bers (of the form a/b where a and b are integers – could be negative – and b≠0) is denumerable. Plan for the second half Cover Part IIIV (Chs. 1423) Also Ch.27 if there is time left over Gets more and more difficult as we move on to the later chapters. In chs.1416, we will discuss concept of infinity (Ch.14) proof technique known as mathematical induction (Ch.15) These discussions will be useful for the remainder of the class. Esp. in the proofs of the correctness and completeness for propositional logic & firstorder logic (chs.1718) Today’s lecture About different sizes of sets, esp. of infin ite sets Central result: Cantor’s theorem Implication: there are infinitely many differ ent sizes among infinite sets! { 0 4 D 9 0 C6 D 5 4 4 5 6 8 F A 0 7 C 3 F 6 8 5 A 9 E 5 } N { 7 9 0 7 2 F C 5 4 7 6 0 4 8 C 4 9 1 A 5 C 3 F 6 8 0 5 7 B A 7 E } P(N) { 3 B 7 B E 3 5 F 0 B4 3B F 4 9 4 A 6 7 9 E C 6 9 1 9 0 } P(P(N)) { A 8 7 C 6 8 4 9 B 7 C 5 4 2 D F 8 0 92 5 8 9 2 D D 6 3 5 6 } P(P(P(N))) { 0 8 5 2 6 7 0 5 9 D 4 4 1 6 E 8 A B E 5 F D E 9 3 6 2 0 D 1 E } … A set is a collection of objects. Those objects are called members of the set....
View
Full
Document
This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.
 Fall '09
 Yeelee

Click to edit the document details