Marcações para Ciência da Computação

algorithms x 675

complexity-theory x 390

computability x 195

formal-languages x 191

reference-request x 169

terminology x 153

automata x 151

programming-languages x 140

graph-theory x 135

data-structures x 133

graphs x 133

data-structures x 133

graphs x 133

turing-machines x 128

np-complete x 110

time-complexity x 108

logic x 107

algorithm-analysis x 105

optimization x 104

regular-languages x 96

trees x 91

finite-automata x 88

type-theory x 84

machine-learning x 74

asymptotics x 72

context-free x 71

lambda-calculus x 66

undecidability x 65

computer-architecture x 64

formal-grammars x 64

computer-architecture x 64

formal-grammars x 64

combinatorics x 61

compilers x 58

functional-programming x 58

computational-geometry x 58

compilers x 58

functional-programming x 58

computational-geometry x 58

reductions x 57

np x 56

satisfiability x 56

np x 56

satisfiability x 56

proof-techniques x 55

runtime-analysis x 51

computation-models x 51

runtime-analysis x 51

computation-models x 51

sorting x 49

education x 44

cryptography x 43

np-hard x 42

decision-problem x 41

strings x 40

complexity-classes x 39

operating-systems x 39

complexity-classes x 39

operating-systems x 39

nondeterminism x 38

artificial-intelligence x 36

closure-properties x 36

artificial-intelligence x 36

closure-properties x 36

binary-trees x 35

landau-notation x 35

binary-trees x 35

landau-notation x 35

efficiency x 34

halting-problem x 34

search-algorithms x 34

efficiency x 34

halting-problem x 34

search-algorithms x 34

regular-expressions x 33

semantics x 32

recurrence-relation x 31

quantum-computing x 30

dynamic-programming x 30

shortest-path x 30

randomized-algorithms x 30

quantum-computing x 30

dynamic-programming x 30

shortest-path x 30

randomized-algorithms x 30

search-trees x 29

randomness x 29

search-trees x 29

randomness x 29

distributed-systems x 28

parallel-computing x 28

arrays x 28

distributed-systems x 28

parallel-computing x 28

arrays x 28

history x 27

recursion x 27

concurrency x 27

probability-theory x 27

neural-networks x 27

history x 27

recursion x 27

concurrency x 27

probability-theory x 27

neural-networks x 27

p-vs-np x 26

parsers x 26

approximation x 26

p-vs-np x 26

parsers x 26

approximation x 26

turing-completeness x 25

pushdown-automata x 25

turing-completeness x 25

pushdown-automata x 25

arithmetic x 24

dependent-types x 24

information-theory x 24

data-compression x 24

arithmetic x 24

dependent-types x 24

information-theory x 24

data-compression x 24

discrete-mathematics x 22

space-complexity x 22

discrete-mathematics x 22

space-complexity x 22

sets x 21

memory-management x 20

lower-bounds x 20

memory-management x 20

lower-bounds x 20

polynomial-time x 19

number-theory x 19

polynomial-time x 19

number-theory x 19

graph-traversal x 18

applied-theory x 18

coq x 18

pumping-lemma x 18

sat-solvers x 18

graph-traversal x 18

applied-theory x 18

coq x 18

pumping-lemma x 18

sat-solvers x 18

reference-question x 17

correctness-proof x 17

circuits x 17

type-checking x 17

integers x 17

simulation x 17

reference-question x 17

correctness-proof x 17

circuits x 17

type-checking x 17

integers x 17

simulation x 17

mathematical-analysis x 16

hash-tables x 16

mathematical-analysis x 16

hash-tables x 16

linear-programming x 15

hash x 15

linear-algebra x 15

network-flow x 15

linear-programming x 15

hash x 15

linear-algebra x 15

network-flow x 15

intuition x 14

security x 14

entropy x 14

intuition x 14

security x 14

entropy x 14

category-theory x 13

formal-methods x 13

software-verification x 13

permutations x 13

coding-theory x 13

cpu-cache x 13

combinatory-logic x 13

spanning-trees x 13

data-mining x 13

heuristics x 13

greedy-algorithms x 13

machine-models x 13