Formal Languages and Calculability

• Mathematical Formalism and Proof Techniques
• Boolean Logic Circuits as basic computational model
• Languages and Chomsky's Hierarchy
• Finite State Automata and Regular Languages
• Push-Down Automata and Context-Free Languages
• Recursively Enumerable Languages and Turing Machines
• The Halting Problem and Decidability
• The Turing-Church thesis
• From Calculability to Complexity
• Quantum Mechanics and Calculability