Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
1	arXiv:1512.03024v2 [cs.LO] 8 DecComparing representations for function spaces in computable analysis Arno Pauly Add to Reading List Source URL: arxiv.org - Date: 2016-12-09 04:24:13
2	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
3	Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2014-07-23 19:14:22 Mathematical analysis Computability theory Mathematics Theory of computation Theoretical computer science Martingale theory Stochastic processes Kakeya set Real analysis Computable function Martingale Computable number
4	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability
5	A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-08-10 10:52:15 Mathematics Mathematical logic Computability theory Logic Theory of computation Computable number Structure Computable function Sigma-algebra
6	Applied Mathematics and Computation xxxxxx–xxx Contents lists available at ScienceDirect Applied Mathematics and Computation journal homepage: www.elsevier.com/locate/amc Add to Reading List Source URL: scribblethink.org Language: English - Date: 2012-10-07 04:35:37 Computability theory Theory of computation Randomness Theoretical computer science Algorithmic information theory Kolmogorov complexity Algorithmically random sequence Computable function Complexity Algorithm Pseudorandomness Lossless compression
7	Computability 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Computability theory Theory of computation Turing machine Models of computation Theoretical computer science Computability Algorithm Halting problem Reduction Computable function NP Complexity class
8	Informatics 1 Cognitive Science (2014–2015) School of Informatics, University of Edinburgh Mirella Lapata Quiz 2: Perceptrons and Multilayer Perceptrons 1. Which one of the following is the perceptron’s input functio Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-11 08:43:44 Artificial neural networks Functions and mappings Computational neuroscience Multilayer perceptron Perceptron Function Connectionism Graph of a function Computable function Feedforward neural network
9	Computational Irreducibility and Computational Analogy Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2015-10-12 16:05:50 Computability theory Theory of computation Turing machine Alan Turing Models of computation Computability ChurchTuring thesis Computable function Algorithm Reduction Turing completeness Machine that always halts
10	Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second, Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Theory of computation Computability theory Busy beaver Computable function Computability Turing machine Halting problem Hypercomputation Computable number Algorithm Alan Turing Ackermann function