Resources
Computing functions with Turing machines. Turing Machines with Outputs When we begin the computation the tape contains the input. When the TM accepts.
The Algol Family and ML John Mitchell CS 242. Language Sequence Algol 60 Algol 68 Pascal MLModula Lisp Many other languages: Algol 58, Algol W, Euclid,
The Church-Turing Thesis: still valid after all these years? Antony Galton Department of Computer Science University of Exeter, UK.
Theory of Computation (Fall 2013): Trivial & Non-Trivial Program Properties, The Halting Problem, Index Sets, Rice's Theorem, Turing Machines
Introduction to languages and the theory of computation
Computability - Tractable, Intractable and Non-computable Function
Machine Learning
Giuseppe Longo and Pierre-Emmanuel Tendero- The differential method and the causal incompleteness of Programming Theory in Molecular Biology
TeachYourselfLogic10-0
Mtech Se 2009