×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [computable functions]
Resources
325 views
Computing functions with Turing machines. Turing Machines with Outputs When we begin the computation the tape contains the input. When the TM accepts
241 views
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,
228 views
The Church-Turing Thesis: still valid after all these years? Antony Galton Department of Computer Science University of Exeter, UK
218 views
Theory of Computation (Fall 2013): Trivial & Non-Trivial Program Properties, The Halting Problem, Index Sets, Rice's Theorem, Turing Machines
1.144 views
Introduction to languages and the theory of computation
2.716 views
Computability - Tractable, Intractable and Non-computable Function
382 views
Machine Learning
250 views
Giuseppe Longo and Pierre-Emmanuel Tendero- The differential method and the causal incompleteness of Programming Theory in Molecular Biology
31 views
Introduction to languages and the theory of computation
99 views
TeachYourselfLogic10-0
7 views
Mtech Se 2009
8 views
Next >