Mathematical Computer Science

Practical computer science studies methods of making clear to the machine what we want it to do.

Mathematical computer science studies methods of making clear to ourselves what we want the machine to do and why.

(The blog http://mathcs101.blogspot.com/ accompanies this site.)