CSC 233: Foundations of Computation, Spring 2011

Resources

Discrete Math and Foundations of CS

• Alfred V. Aho and Jeffrey D. Ullman, "Foundations of Computer Science"
• Carol Critchlow and David Eck, "Foundations of Computation"
• Lawrence C. Paulson, "Foundations of Computer Science"
• Subhashis Banerjee and S. Arun-Kumar, "An Introduction to Computing"
• Eitan Gurari, "An Introduction to the Theory of Computation"
• Edward A. Bender and S. Gill Williamson, "A Short Course in Discrete Mathematics"
• Edward A. Bender and S. Gill Williamson, "Mathematics for Algorithm and Systems Analysis"
• M. O. Albertson and J. P. Hutchinson, "Discrete Mathematics with Algorithms"
• Miguel A. Lerma, "Notes on Discrete Mathematics"

Scala

• Escalator
• A Brief Summary of Scala
• Scala Home Page
• API Documentation
• Programming Scala -- complete text online
• Simply Scala -- online tutorials
• Another Tour of Scala
• Scala Wiki
• Blogs: Planet Scala
• Syntax Cheat Sheet
• Scala for Java Programmers, and part two
• Scalazine
• Formal Language Processing in Scala -- series of blog posts

Functional Programming

• Why Functional Programming Matters
• Google's MapReduce

Formal Languages

• State Machine Examples in Scala
• JFLAP -- tool for experimenting with various language models

Logic

• Logisim
• Scooping the Loop Snooper

General

• DyKnow Student Resources

DePauw University, Computer Science Department, Spring 2011
Maintained by Brian Howard (bhoward@depauw.edu). Last updated