Computational Thinking in Undergraduate Discrete Math and

http://www.cs.utah.edu/~ganesh/misc/2100NEWbook.pdf

http://www.python-course.eu/history_and_philosophy.php

Papadimitriou's New Idea and Its Relation to Complexity of GamesVenn Diagrams, Operations with Sets, Online Quiz and browse other digital classroom resources.

Multimedia Logicis a open source FreeWare tool for experimenting with logic circuits.An Introduction to Digital Logic - Signals and Gates is a nifty site for experimenting with logic circuits at Bucknell University.

Mastermind analysis at cuttheknot via the MAA.

Search Wolfram Alpha for "logic circuits" or "cellular automata."

What is lambda Calculus? UTexas knows a bit about it. How is Lambda related to Scheme? Even Australians study Lambda. NYU has a Lambda tutorial. UK guy has nice intro to Lambda. UPenn has great Lambda resources too.