To generate some more interest in their students toward CS theory, Martin Cohn and Harry Mairson have written some fun poems -- that fully rhyme! They cover the following topics:
The Pumping Lemma P and NP Dynamic Programming Russell's Paradox Undecidability of the Halting Problem