Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
931	This Lecture Substitution model • • Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-02-13 18:01:34 Theoretical computer science Recursion Integer sequences Programming idioms Algorithm Factorial Algorithm characterizations Lambda calculus Mathematics Computability theory Applied mathematics
932	Today’s topics Computing factorial • Orders of growth of processes • Relating types of procedures to different orders of growth Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-02-15 21:09:43 Programming idioms Analysis of algorithms Computational complexity theory Computability theory Recursion Scheme Factorial Big O notation Time complexity Mathematics Theoretical computer science Computer programming
933	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation
934	SIAM J. COMPUT. Vol. 41, No. 3, pp. 565–586 c 2012 Society for Industrial and Applied Mathematics Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-06-01 08:08:32 Computability theory Theory of computation Μ operator
935	Hypercomputation, Unconsciousness and Entertainment Technology Matthias Rauterberg Industrial Design, Eindhoven University of Technology, The Netherlands Abstract. Recent developments in computer science introduce and d Add to Reading List Source URL: www.idemployee.id.tue.nl Language: English - Date: 2008-11-11 13:29:07 Theory of computation Mental processes Alan Turing Computability theory Hypercomputation Church–Turing thesis Consciousness Turing machine Algorithm Mind Cognitive science Philosophy of mind
936	Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed] Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2008-08-06 05:03:43 Models of computation Lambda calculus Computability theory SECD machine Fixed-point combinator Free variables and bound variables Parameter Algorithm Function Mathematics Theoretical computer science Applied mathematics
937	fib-news is produced as an integral part of the fib Journal Structural Concrete. Larger quantities of offprints are made available to National Members Groups on request. March 2010 Add to Reading List Source URL: www.fib-international.org Language: English - Date: 2012-01-16 12:29:15 Microsoft Research International Federation for Structural Concrete Computer programming Software engineering Computability theory Recursion Dynamic programming Cilk Civil engineering Computing F Sharp
938	fib-news is produced as an integral part of the fib Journal Structural Concrete. Larger quantities of offprints are made available to National Members Groups on request. June 2010 Add to Reading List Source URL: www.fib-international.org Language: English - Date: 2012-01-16 12:29:15 F Sharp Computing Computer programming Software engineering Computability theory Recursion Dynamic programming Cilk Functional languages Civil engineering International Federation for Structural Concrete
939	PDF Document Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2011-08-31 00:26:40 Computability theory Lambda calculus Theoretical computer science Selection rule ALGOL 68 Symbol E1 Computing Programming language theory Software engineering
940	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic

UPDATE