<--- Back to Details
First PageDocument Content
Mathematics / Turing machine / Alan Turing / Models of computation / Formal methods / Computability / NP / Time complexity / Algorithm characterizations / Theoretical computer science / Applied mathematics / Computability theory
Date: 2004-05-13 12:13:47
Mathematics
Turing machine
Alan Turing
Models of computation
Formal methods
Computability
NP
Time complexity
Algorithm characterizations
Theoretical computer science
Applied mathematics
Computability theory

From "Complexity of Computation" (ed. R. Karp)

Add to Reading List

Source URL: researcher.ibm.com

Download Document from Source Website

File Size: 1,90 MB

Share Document on Facebook

Similar Documents

Mathematics / Mathematical logic / Science and technology / Theoretical computer science / Algorithm / Computational complexity theory / Mathematical optimization / Word problem / Algorithm characterizations

A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how

DocID: 1qIzT - View Document

Theoretical computer science / Computability theory / Algorithm / Mathematical logic / Algorithms / Recursion / Function / Algorithm characterizations / Elliptic curve primality

CS369N: Beyond Worst-Case Analysis Lecture #1: Instance Optimality∗ Tim Roughgarden† February 19,

DocID: 1oWFb - View Document

Computing / Computer programming / Software engineering / Algorithm / Mathematical logic / Theoretical computer science / Computer / Input/output / Instruction set / Subroutine / Password / Algorithm characterizations

Year  1  New  Computing  Curriculum  Overview   Strand      

DocID: 1oltA - View Document

Computability theory / Theoretical computer science / Mathematical logic / Theory of computation / Mathematics / Model theory / Algorithm characterizations / operator

I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity

DocID: 1o7sX - View Document

Theoretical computer science / Learning / Algorithm / Mathematical logic / Academia / Cognitive science / Machine learning / Cognition / Algorithm characterizations / Algorithm Selection

PDF Document

DocID: 1mPNN - View Document