Theory of Computing
Homework 1
CS 3810, Fall 2009
Due Friday, September 4
General guidelines: You may work with other people, as long as you write up your solution
in your own words and understand everything you turn in.
Make sure to justify your
answers—they should be clear and concise, with no irrelevant information.
1.
Write a short essay about diagonalization that would explain to a high school senior the
concepts of countably infinite, non countably infinite, and diagonalization. It should talk about how
to compare the cardinality of two sets and it should give contain a convincing argument that there
exists a non countably infinite set.
2. Countability
a) Prove that the set of all finite length strings over a finite alphabet is countably infinite.
b)
This is the end of the preview. Sign up
to
access the rest of the document.
This note was uploaded on 11/07/2009 for the course CS 3810 taught by Professor Hopcroft during the Fall '07 term at Cornell.
 Fall '07
 HOPCROFT

Click to edit the document details