Computability - PDFSEARCH.IO - Document Search Engine

Computability
Results: 1315

#	Item
41	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
42	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
43	02157 Functional Programming - Lecture 8: Tail recursive erativeunctions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:09:56 Software engineering Computer programming Recursion Subroutines Control flow Computability theory Theoretical computer science Functional programming Tail call Continuation Factorial
44	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
45	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
46	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
47	MCS 441 – Theory of Computation I Syllabus Lev Reyzin SpringTime and Location: M-W-F, 12:00-12:50pm, Lincoln Hall (TH) 205 Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-11 11:14:04 Theory of computation Theoretical computer science Computability theory Computer science Alan Turing Turing machine Computational complexity theory Computability Reduction Halting problem Complexity ChurchTuring thesis
48	J. EDUCATIONAL COMPUTING RESEARCH, Vol, 2005 SOLVING PROBLEMS REDUCTIVELY MICHAL ARMONI The Open University of Israel and School of Education, Tel-Aviv University Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:55:14 Finite automata Computability Deterministic automaton Computational complexity theory Deterministic finite automaton Finite-state machine Regular language Reduction Algorithm Theoretical computer science Mathematics Cognitive science
49	Computing Fundamentals Advanced functions & Recursion Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-05-28 11:41:55 Software engineering Computer programming Recursion Computability theory Theory of computation Subroutines Theoretical computer science Infinite loop This Anonymous function Stack Mutual recursion
50	Lecture 30: Considerations When Using Collective Operations William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-13 14:27:53 Theoretical computer science Computer programming Software engineering Computability theory Computing Pipeline Algorithm Recursion