Useful CS 173 Links

Here are interesting links that are relevant to some of the topics we covered in the course. Some of the sites at http://www.c3.lanl.gov/mega-math/ are directed toward a younger audience, but are worth skimming through anyway.

Have fun exploring!

 

Logic

• An Epistemological Nightmare
• Just a Usual Day at Unusual School
• Robbins Algebras are Boolean
• Fun logic puzzles.

 

Set Theory

• Venn Diagram Plotter.
  Jason Shah's honors project in cs173.
• The beginnings of set theory
  An excellent summary of many of the topics we're covering, and more.
• Bertrand Russell Site, and brief biography.
• Cantor - brief biography
• De Morgan - brief biography
• Welcome to the Hotel Infinity!

 

Analysis of Algorithms

• Sort Applets
• SortDemo (Java applet)

 

Graph Theory

• Graph Theory Tutorials
• The Most Colorful Math of All
• Algorithms and Ice Cream for All
• Games on Graphs
• The Four Color Theorem
• The four colour theorem

 

Automata

• Machines that Eat Your Words

 

Number Theory and Combinatorics

• The Fibonacci Numbers

 

Just For Fun

• Solve for x
• How to prove it
• No more spelling errors

 

Other Discrete Math Links

• Mathematical games and recreations
• Math Forum: Discrete Math
• Center for Discrete Mathematics and Theoretical Computer Science
• MegaMath Text Menu
• History of Mathematics
• Mathworld

 

Women in CS and Engineering:

• Women in Computer Science
• TAP: The Ada Project