Mathematics for Computer Science

Overview

Prior to the construction of any useful computers, mathematicians were theorizing about computability and how computation works. The results that they produced laid the foundations for computation as computers began to be constructed.

Topics

• Combinatory Logic
• Finite Automata
• Context Free Grammars
• Turing Machine
• Lambda Calculus
• Type Theory
• Abstract Syntax Trees
• Functional Programming
• Algorithms