Tags für Computerwissenschaften

algorithms x 676

complexity-theory x 391

computability x 196

formal-languages x 190

reference-request x 169

terminology x 153

automata x 151

programming-languages x 140

graph-theory x 136

data-structures x 134

graphs x 133

turing-machines x 129

np-complete x 110

time-complexity x 109

logic x 107

algorithm-analysis x 105

optimization x 104

regular-languages x 98

trees x 91

finite-automata x 88

type-theory x 84

machine-learning x 74

asymptotics x 72

context-free x 70

undecidability x 66

lambda-calculus x 66

computer-architecture x 64

formal-grammars x 64

combinatorics x 61

compilers x 58

functional-programming x 58

reductions x 58

computational-geometry x 58

np x 56

satisfiability x 56

proof-techniques x 55

runtime-analysis x 52

computation-models x 50

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

nondeterminism x 38

artificial-intelligence x 36

closure-properties x 36

halting-problem x 35

binary-trees x 35

landau-notation x 35

efficiency 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

search-trees x 29

randomness x 29

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

p-vs-np x 26

parsers x 26

approximation x 26

turing-completeness x 25

pushdown-automata x 25

arithmetic x 24

dependent-types x 24

information-theory x 24

data-compression x 24

discrete-mathematics x 22

space-complexity x 22

sets x 21

memory-management x 20

scheduling x 20

lower-bounds x 20

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

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

linear-programming x 15

hash x 15

linear-algebra x 15

network-flow x 15

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

matrices x 13

mathematical-foundations x 12

didactics x 12

pseudo-random-generators x 12

computer-networks x 12

automated-theorem-proving x 12

string-metrics x 12

program-optimization x 12

books x 12

proof-assistants x 11

type-inference x 11

traveling-salesman x 11

church-turing-thesis x 11

counting x 11

first-order-logic x 11

context-sensitive x 11

encryption x 10

random-number-generator x 10

weighted-graphs x 10

integer-programming x 10

primes x 10

sampling x 10

os-kernel x 10

kolmogorov-complexity x 10

operational-semantics x 10

computer-vision x 10

performance x 10