Étiquettes pour L'informatique

algorithms x 540
complexity-theory x 300
computability x 161
formal-languages x 154
reference-request x 138
automata x 127
terminology x 120
data-structures x 110
programming-languages x 109
graphs x 101
graph-theory x 97
turing-machines x 93
logic x 87
algorithm-analysis x 85
np-complete x 85
time-complexity x 81
optimization x 80
regular-languages x 78
finite-automata x 73
trees x 71
type-theory x 69
computer-architecture x 59
machine-learning x 57
undecidability x 56
asymptotics x 54
context-free x 53
lambda-calculus x 51
formal-grammars x 50
combinatorics x 49
functional-programming x 48
compilers x 44
reductions x 44
np x 43
runtime-analysis x 42
sorting x 41
satisfiability x 41
computational-geometry x 41
proof-techniques x 40
computation-models x 40
education x 37
cryptography x 34
complexity-classes x 32
operating-systems x 32
halting-problem x 31
efficiency x 30
landau-notation x 29
artificial-intelligence x 29
decision-problem x 28
nondeterminism x 28
regular-expressions x 27
np-hard x 27
binary-trees x 27
quantum-computing x 26
search-algorithms x 25
search-trees x 25
strings x 25
closure-properties x 25
history x 24
parallel-computing x 24
shortest-path x 24
randomness x 24
neural-networks x 24
semantics x 24
randomized-algorithms x 24
p-vs-np x 23
parsers x 23
arrays x 23
dynamic-programming x 23
turing-completeness x 22
recursion x 22
concurrency x 22
pushdown-automata x 21
probability-theory x 21
recurrence-relation x 20
arithmetic x 20
dependent-types x 20
information-theory x 20
data-compression x 20
approximation x 19
sets x 19
distributed-systems x 18
memory-management x 17
discrete-mathematics x 17
lower-bounds x 17
reference-question x 16
integers x 16
space-complexity x 16
graph-traversal x 15
coq x 15
type-checking x 15
simulation x 15
hash-tables x 14
applied-theory x 14
number-theory x 14
pumping-lemma x 14
correctness-proof x 13
circuits x 13
intuition x 13
security x 13
sat-solvers x 13
network-flow x 13
mathematical-analysis x 12
formal-methods x 12
software-verification x 12
combinatory-logic x 12
entropy x 12
polynomial-time x 12
category-theory x 11
didactics x 11
permutations x 11
linear-programming x 11
coding-theory x 11
cpu-cache x 11
computer-networks x 11
spanning-trees x 11
type-inference x 11
random-number-generator x 10