Turing - PDFSEARCH.IO - Document Search Engine

Turing
Results: 1422

#	Item
341	Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Computability theory Theory of computation Lambda calculus Mathematical logic Church–Turing thesis Entscheidungsproblem Halting problem System F Computability Mathematics Theoretical computer science Computer science
342	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:17 Computer science Turing machine Theory of computation Theoretical computer science Models of computation Busy beaver Computability Turing Recursive transition network Software engineering Computing Computability theory
343	Math 260ABC Introduction to Mathematical Logic Fall 1988-Sprint 1989 Instructor: Sam Buss Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2009-01-29 21:32:37 Computer science Turing machine Models of computation Alan Turing Computable function Computability Busy beaver Universal Turing machine Computability theory Theoretical computer science Theory of computation
344	The Hybrid Invention Generator — Assorted Relations Bill Seaman Gideon May — programmer Funded by Intel Description of the Hybrid Invention Generator A computer-based language system exploring hybrid invention genera Add to Reading List Source URL: projects.visualstudies.duke.edu Language: English - Date: 2007-12-24 00:13:32 Theoretical computer science Models of computation Abstraction Axiology Logic Invention Computer Turing machine Electric generator Science British people Mathematics
345	The Ruby Language [@+]pragdave Ruby • A tool for communication Add to Reading List Source URL: 2012.rubyworld-conf.org Language: English - Date: 2013-05-29 03:11:00 APL programming language family Array programming languages Command shells APL IBM software Turing Award Alan Turing Abstraction Iverson Computing Software engineering Computer programming
346	t he sin g u l a rit y \| specia l rep o rt Can Machines Be Conscious? Yes—and a new Turing test might prove it By Christof Koch and Giulio Tononi Add to Reading List Source URL: www.klab.caltech.edu Language: English - Date: 2008-06-06 23:35:18 Cognition Artificial intelligence Computational neuroscience Cognitive psychology Consciousness Artificial consciousness Integrated Information Theory Philosophical zombie Strong AI Cognitive science Mind Philosophy of mind
347	Asia Pacific Mathematics Newsletter 1 PushingBack Back the Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:08 Mathematics Computability theory Turing machine Alan Turing Halting problem Computable number Computability Turing test Interactive computation Theory of computation Theoretical computer science Computer science
348	Course Paper Implementation of a Turing simulator Jan Engelhardt March 17, 2005 Max-Plank-Gymnasium Göttingen Advances CS Add to Reading List Source URL: inai.de Language: English - Date: 2012-05-07 20:23:24 Theory of computation Computer science Alan Turing Models of computation Busy beaver Turing Universal Turing machine Turing completeness Turing machine Theoretical computer science Computability theory
349	Universal Field Machine that Computes Beyond the Turing Limit ´ M. Fernandez ´ Julian Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Computer science Halting problem Computability Universal Turing machine Turing machine Computable function Church–Turing thesis Algorithm Alan Turing Computability theory Theoretical computer science Theory of computation

UPDATE