Теги для Информатика

algorithms x 451
complexity-theory x 244
computability x 138
formal-languages x 118
reference-request x 118
terminology x 105
automata x 99
data-structures x 98
programming-languages x 89
graphs x 84
turing-machines x 80
np-complete x 74
graph-theory x 71
time-complexity x 71
logic x 70
optimization x 66
algorithm-analysis x 63
regular-languages x 59
finite-automata x 59
trees x 57
type-theory x 55
computer-architecture x 52
machine-learning x 47
undecidability x 46
context-free x 46
lambda-calculus x 45
formal-grammars x 45
asymptotics x 44
combinatorics x 44
reductions x 40
functional-programming x 39
compilers x 39
sorting x 37
proof-techniques x 35
education x 34
computation-models x 34
satisfiability x 34
runtime-analysis x 33
computational-geometry x 33
np x 32
operating-systems x 31
cryptography x 27
halting-problem x 27
efficiency x 27
landau-notation x 26
regular-expressions x 26
binary-trees x 26
complexity-classes x 25
artificial-intelligence x 24
np-hard x 23
decision-problem x 23
history x 23
turing-completeness x 22
randomness x 22
parsers x 21
shortest-path x 21
concurrency x 21
search-algorithms x 21
parallel-computing x 20
nondeterminism x 20
probability-theory x 20
strings x 20
information-theory x 20
arrays x 20
recursion x 19
quantum-computing x 19
dynamic-programming x 19
semantics x 19
search-trees x 19
p-vs-np x 18
neural-networks x 18
randomized-algorithms x 18
dependent-types x 18
sets x 17
reference-question x 16
arithmetic x 16
data-compression x 16
distributed-systems x 15
approximation x 15
discrete-mathematics x 14
recurrence-relation x 14
coq x 14
graph-traversal x 13
space-complexity x 13
closure-properties x 13
integers x 13
lower-bounds x 13
pushdown-automata x 13
correctness-proof x 12
applied-theory x 12
memory-management x 12
simulation x 12
entropy x 12
number-theory x 11
formal-methods x 11
sat-solvers x 11
didactics x 11
intuition x 11
hash-tables x 11