The Full Wiki

More info on Theory of computation

Theory of computation: Trending topics

Advertisements
  
  

The following are the current most viewed articles on Wikipedia within Wikipedia's Theory of computation category. Think of it as a What's Hot list for Theory of computation. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 Recursion 5,336 Sparkline of topic views for 2 weeks
2 Church–Turing thesis 1,233 Sparkline of topic views for 2 weeks
3 Recurrence relation 1,223 Sparkline of topic views for 2 weeks
4 Entscheidungsproblem 1,153 Sparkline of topic views for 2 weeks
5 Turing completeness 1,100 Sparkline of topic views for 2 weeks
6 Halting problem 900 Sparkline of topic views for 2 weeks
7 Ackermann function 745 Sparkline of topic views for 2 weeks
8 Nondeterministic algorithm 737 Sparkline of topic views for 2 weeks
9 Theory of computation 729 Sparkline of topic views for 2 weeks
10 Self-reference 646 Sparkline of topic views for 2 weeks
11 Effective method 583 Sparkline of topic views for 2 weeks
12 Tail recursion 545 Sparkline of topic views for 2 weeks
13 Nomogram 528 Sparkline of topic views for 2 weeks
14 List of unsolved problems in computer science 454 Sparkline of topic views for 2 weeks
15 Busy beaver 393 Sparkline of topic views for 2 weeks
16 Computable function 361 Sparkline of topic views for 2 weeks
17 Computability 303 Sparkline of topic views for 2 weeks
18 Primitive recursive function 292 Sparkline of topic views for 2 weeks
19 Byzantine fault tolerance 255 Sparkline of topic views for 2 weeks
20 Digital physics 234 Sparkline of topic views for 2 weeks
21 Model of computation 219 Sparkline of topic views for 2 weeks
22 Turing degree 207 Sparkline of topic views for 2 weeks
23 Two Generals' Problem 189 Sparkline of topic views for 2 weeks
24 Recursively enumerable set 182 Sparkline of topic views for 2 weeks
25 Gödel numbering 177 Sparkline of topic views for 2 weeks
26 Computable number 169 Sparkline of topic views for 2 weeks
27 Hypercomputation 155 Sparkline of topic views for 2 weeks
28 Typed lambda calculus 141 Sparkline of topic views for 2 weeks
29 Chaitin's constant 133 Sparkline of topic views for 2 weeks
30 Recursive language 130 Sparkline of topic views for 2 weeks
31 Recursive set 107 Sparkline of topic views for 2 weeks
32 Recursively enumerable language 103 Sparkline of topic views for 2 weeks
33 Rice's theorem 102 Sparkline of topic views for 2 weeks
34 Simply typed lambda calculus 98 Sparkline of topic views for 2 weeks
35 Wang tile 97 Sparkline of topic views for 2 weeks
36 List of undecidable problems 94 Sparkline of topic views for 2 weeks
37 Μ-recursive function 89 Sparkline of topic views for 2 weeks
38 Powerset construction 89 Sparkline of topic views for 2 weeks
39 First Draft of a Report on the EDVAC 62 Sparkline of topic views for 2 weeks
40 Post correspondence problem 60 Sparkline of topic views for 2 weeks
41 Extended finite state machine 60 Sparkline of topic views for 2 weeks
42 Object-capability model 55 Sparkline of topic views for 2 weeks
43 X-machine 48 Sparkline of topic views for 2 weeks
44 Markov algorithm 47 Sparkline of topic views for 2 weeks
45 Semi-Thue system 46 Sparkline of topic views for 2 weeks
46 Computational semiotics 41 Sparkline of topic views for 2 weeks
47 Quantum Byzantine agreement 41 Sparkline of topic views for 2 weeks
48 Limits to computation 37 Sparkline of topic views for 2 weeks
49 Real computation 34 Sparkline of topic views for 2 weeks
50 Mutual recursion 32 Sparkline of topic views for 2 weeks
51 Smn theorem 32 Sparkline of topic views for 2 weeks
52 Interactive computation 31 Sparkline of topic views for 2 weeks
53 History of the Church–Turing thesis 28 Sparkline of topic views for 2 weeks
54 Blockhead (computer system) 27 Sparkline of topic views for 2 weeks
55 Introduction to the Theory of Computation 26 Sparkline of topic views for 2 weeks
56 Undefined value 26 Sparkline of topic views for 2 weeks
57 Scale factor (computer science) 25 Sparkline of topic views for 2 weeks
58 Bremermann's limit 24 Sparkline of topic views for 2 weeks
59 Omega language 22 Sparkline of topic views for 2 weeks
60 Super-recursive algorithm 21 Sparkline of topic views for 2 weeks
61 Stream X-Machine 19 Sparkline of topic views for 2 weeks
62 Church–Turing–Deutsch principle 18 Sparkline of topic views for 2 weeks
63 Mortality (computability theory) 17 Sparkline of topic views for 2 weeks
64 Chain rule for Kolmogorov complexity 16 Sparkline of topic views for 2 weeks
65 Rice–Shapiro theorem 16 Sparkline of topic views for 2 weeks
66 Algorithmic game theory 16 Sparkline of topic views for 2 weeks
67 Computation history 15 Sparkline of topic views for 2 weeks
68 Small step semantics 14 Sparkline of topic views for 2 weeks
69 Recursive languages and sets 14 Sparkline of topic views for 2 weeks
70 Shadow square 14 Sparkline of topic views for 2 weeks
71 List of computability and complexity topics 13 Sparkline of topic views for 2 weeks
72 Numbering (computability theory) 13 Sparkline of topic views for 2 weeks
73 Utm theorem 11 Sparkline of topic views for 2 weeks
74 X-Machine Testing 11 Sparkline of topic views for 2 weeks
75 Circuit (computer theory) 11 Sparkline of topic views for 2 weeks
76 Ten15 10 Sparkline of topic views for 2 weeks
77 Sudan function 10 Sparkline of topic views for 2 weeks
78 Two-way deterministic finite automaton 10 Sparkline of topic views for 2 weeks
79 Acceptable programming system 9 Sparkline of topic views for 2 weeks
80 Computation in the limit 9 Sparkline of topic views for 2 weeks
81 Turing's proof 9 Sparkline of topic views for 2 weeks
82 Description number 9 Sparkline of topic views for 2 weeks
83 Rogers' equivalence theorem 8 Sparkline of topic views for 2 weeks
84 Cylindrification 8 Sparkline of topic views for 2 weeks
85 Brooks–Iyengar algorithm 8 Sparkline of topic views for 2 weeks
86 Parallel terraced scan 7 Sparkline of topic views for 2 weeks
87 Tarski–Kuratowski algorithm 7 Sparkline of topic views for 2 weeks
88 Parallel computation thesis 7 Sparkline of topic views for 2 weeks
89 Yao's test 7 Sparkline of topic views for 2 weeks
90 Computable isomorphism 6 Sparkline of topic views for 2 weeks
91 Communicating X-Machine 6 Sparkline of topic views for 2 weeks
92 Range problem less than 5 views
93 Computability and complexity topics less than 5 views
94 Unsolved problems in computer science less than 5 views
95 Undecidable problems less than 5 views
96 Cylindric numbering less than 5 views

Subcategories

Parent categories


Encyclopedia

From Wikipedia, the free encyclopedia

This category is for articles about theory of computation, which is a branch of computer science.

Related information about computability theory in mathematical logic is described in the recursion theory article and is categorized in Category:Recursion theory.

Subcategories

This category has the following 7 subcategories, out of 7 total.

A

C

R

T

Pages in category "Theory of computation"

The following 95 pages are in this category, out of 95 total. This list may not reflect recent changes (learn more).

*

A

B

C

D

E

F

G

H

H cont.

I

K

L

M

N

O

P

Q

R

R cont.

S

T

U

W

X

Y

Μ


Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message