The Full Wiki

More info on Theoretical computer science

Theoretical computer science: Trending topics

Advertisements
  
  

The following are the current most viewed articles on Wikipedia within Wikipedia's Theoretical computer science category. Think of it as a What's Hot list for Theoretical computer science. 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 Algorithm 11,535 Sparkline of topic views for 2 weeks
2 Quantum computer 3,767 Sparkline of topic views for 2 weeks
3 Turing machine 2,847 Sparkline of topic views for 2 weeks
4 Lambda calculus 2,078 Sparkline of topic views for 2 weeks
5 Computation 1,240 Sparkline of topic views for 2 weeks
6 Recursion (computer science) 1,135 Sparkline of topic views for 2 weeks
7 Formal language 896 Sparkline of topic views for 2 weeks
8 Idempotence 864 Sparkline of topic views for 2 weeks
9 Programming language theory 686 Sparkline of topic views for 2 weeks
10 DNA computing 655 Sparkline of topic views for 2 weeks
11 Spintronics 634 Sparkline of topic views for 2 weeks
12 Algorithm examples 600 Sparkline of topic views for 2 weeks
13 Theoretical computer science 517 Sparkline of topic views for 2 weeks
14 Computational problem 364 Sparkline of topic views for 2 weeks
15 Formal verification 342 Sparkline of topic views for 2 weeks
16 Pseudorandomness 329 Sparkline of topic views for 2 weeks
17 Markov random field 269 Sparkline of topic views for 2 weeks
18 Algorithm characterizations 252 Sparkline of topic views for 2 weeks
19 Pi calculus 224 Sparkline of topic views for 2 weeks
20 Formal semantics of programming languages 217 Sparkline of topic views for 2 weeks
21 Recursive definition 195 Sparkline of topic views for 2 weeks
22 National Institute for Research in Computer Science and Control 193 Sparkline of topic views for 2 weeks
23 Conditional random field 185 Sparkline of topic views for 2 weeks
24 Rough set 154 Sparkline of topic views for 2 weeks
25 Automated reasoning 151 Sparkline of topic views for 2 weeks
26 Chemical computer 134 Sparkline of topic views for 2 weeks
27 Motion planning 132 Sparkline of topic views for 2 weeks
28 Quantum algorithm 129 Sparkline of topic views for 2 weeks
29 Gödel Prize 128 Sparkline of topic views for 2 weeks
30 Bio-inspired computing 121 Sparkline of topic views for 2 weeks
31 Lowest common ancestor 119 Sparkline of topic views for 2 weeks
32 Gustafson's law 106 Sparkline of topic views for 2 weeks
33 Computational overhead 96 Sparkline of topic views for 2 weeks
34 Categorical logic 94 Sparkline of topic views for 2 weeks
35 Bisimulation 87 Sparkline of topic views for 2 weeks
36 Exact cover 81 Sparkline of topic views for 2 weeks
37 Pursuit-evasion 81 Sparkline of topic views for 2 weeks
38 Markov logic network 78 Sparkline of topic views for 2 weeks
39 Granular computing 63 Sparkline of topic views for 2 weeks
40 Roger Schank 62 Sparkline of topic views for 2 weeks
41 Corecursion 54 Sparkline of topic views for 2 weeks
42 Algorithm engineering 52 Sparkline of topic views for 2 weeks
43 ACM SIGACT 51 Sparkline of topic views for 2 weeks
44 Schwartz–Zippel lemma 48 Sparkline of topic views for 2 weeks
45 Monge array 45 Sparkline of topic views for 2 weeks
46 Predicate transformer semantics 45 Sparkline of topic views for 2 weeks
47 Coinduction 44 Sparkline of topic views for 2 weeks
48 Quasi-empiricism in mathematics 41 Sparkline of topic views for 2 weeks
49 Knuth Prize 38 Sparkline of topic views for 2 weeks
50 Dominance-based rough set approach 34 Sparkline of topic views for 2 weeks
51 Natural computing 34 Sparkline of topic views for 2 weeks
52 Indirect self-reference 33 Sparkline of topic views for 2 weeks
53 Promise theory 32 Sparkline of topic views for 2 weeks
54 Interactive computation 31 Sparkline of topic views for 2 weeks
55 Algebraic semantics 31 Sparkline of topic views for 2 weeks
56 Scientific community metaphor 26 Sparkline of topic views for 2 weeks
57 Notation for theoretic scheduling problems 25 Sparkline of topic views for 2 weeks
58 Journal of Automata, Languages and Combinatorics 25 Sparkline of topic views for 2 weeks
59 Fredkin finite nature hypothesis 23 Sparkline of topic views for 2 weeks
60 Peptide computing 21 Sparkline of topic views for 2 weeks
61 Dynamic data driven application system 20 Sparkline of topic views for 2 weeks
62 Concurrence (quantum computing) 20 Sparkline of topic views for 2 weeks
63 Nominal terms (computer science) 20 Sparkline of topic views for 2 weeks
64 Semigroup action 19 Sparkline of topic views for 2 weeks
65 Institution (computer science) 19 Sparkline of topic views for 2 weeks
66 Neighbour-sensing model 19 Sparkline of topic views for 2 weeks
67 Configurable modularity 19 Sparkline of topic views for 2 weeks
68 Bridging model 18 Sparkline of topic views for 2 weeks
69 Full employment theorem 17 Sparkline of topic views for 2 weeks
70 European Association for Theoretical Computer Science 16 Sparkline of topic views for 2 weeks
71 Computational irreducibility 15 Sparkline of topic views for 2 weeks
72 LogP machine 15 Sparkline of topic views for 2 weeks
73 Simulation preorder 13 Sparkline of topic views for 2 weeks
74 Krohn–Rhodes theory 13 Sparkline of topic views for 2 weeks
75 Institutional model theory 13 Sparkline of topic views for 2 weeks
76 AlphaRenaming 12 Sparkline of topic views for 2 weeks
77 Hidden Markov random field 11 Sparkline of topic views for 2 weeks
78 Discrete tomography 11 Sparkline of topic views for 2 weeks
79 Digital probabilistic physics 10 Sparkline of topic views for 2 weeks
80 Task-oriented Information Modelling 10 Sparkline of topic views for 2 weeks
81 Epsilon-Biased Sample Spaces 9 Sparkline of topic views for 2 weeks
82 Quantum digital signature 9 Sparkline of topic views for 2 weeks
83 Property testing 9 Sparkline of topic views for 2 weeks
84 Fundamenta Informaticae 9 Sparkline of topic views for 2 weeks
85 Extractor (mathematics) 8 Sparkline of topic views for 2 weeks
86 Quantum threshold theorem 7 Sparkline of topic views for 2 weeks
87 Computability in Europe 7 Sparkline of topic views for 2 weeks
88 Sharp-SAT 7 Sparkline of topic views for 2 weeks
89 Constrained Conditional Models 7 Sparkline of topic views for 2 weeks
90 British Colloquium for Theoretical Computer Science 6 Sparkline of topic views for 2 weeks
91 Expander mixing lemma less than 5 views
92 Probabilistic bisimulation less than 5 views
93 Abstract family of acceptors less than 5 views
94 Grammar systems theory less than 5 views
95 Nominal techniques less than 5 views

Subcategories

Parent categories


Encyclopedia

From Wikipedia, the free encyclopedia

The main article for this category is Theoretical computer science.

Subcategories

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

C

D

E

F

I

L

M

N

P

S

T

U

µ

Pages in category "Theoretical computer science"

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

*

A

B

C

D

E

E cont.

F

G

H

I

J

K

L

M

N

N cont.

P

Q

R

S

T

W


Advertisements






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