Étiquettes pour L'informatique

algorithms × 515

complexity-theory × 310

computability × 166

formal-languages × 164

reference-request × 140

terminology × 123

data-structures × 110

programming-languages × 109

graph-theory × 99

turing-machines × 95

graphs × 94

algorithm-analysis × 88

automata × 86

np-complete × 86

time-complexity × 84

logic × 81

regular-languages × 80

finite-automata × 73

optimization × 72

type-theory × 70

computer-architecture × 59

context-free × 59

asymptotics × 58

machine-learning × 57

undecidability × 57

lambda-calculus × 53

combinatorics × 50

formal-grammars × 50

functional-programming × 49

compilers × 44

proof-techniques × 44

reductions × 44

runtime-analysis × 43

sorting × 42

computational-geometry × 41

satisfiability × 41

computation-models × 40

education × 37

complexity-classes × 35

cryptography × 34

halting-problem × 33

operating-systems × 32

landau-notation × 31

efficiency × 30

artificial-intelligence × 29

decision-problem × 29

nondeterminism × 29

np-hard × 29

binary-trees × 27

p-vs-np × 27

regular-expressions × 27

closure-properties × 26

quantum-computing × 26

history × 25

randomized-algorithms × 25

randomness × 25

search-algorithms × 25

search-trees × 25

neural-networks × 24

np × 24

parallel-computing × 24

shortest-path × 24

arrays × 23

dynamic-programming × 23

parsers × 23

strings × 23

trees × 23

concurrency × 22

dependent-types × 22

pushdown-automata × 22

recurrence-relation × 22

reference-question × 22

semantics × 22

turing-completeness × 22

data-compression × 21

information-theory × 21

probability-theory × 21

approximation × 20

recursion × 20

distributed-systems × 18

discrete-mathematics × 17

lower-bounds × 17

memory-management × 17

arithmetic × 16

integers × 16

pumping-lemma × 16

space-complexity × 16

applied-theory × 15

coq × 15

graph-traversal × 15

sets × 15

simulation × 15

type-checking × 15

hash-tables × 14

intuition × 14

number-theory × 14

correctness-proof × 13

entropy × 13

formal-methods × 13

network-flow × 13

polynomial-time × 13

sat-solvers × 13

security × 13

combinatory-logic × 12

mathematical-analysis × 12

permutations × 12

software-verification × 12

spanning-trees × 12

books × 11

category-theory × 11

circuits × 11

coding-theory × 11

computer-networks × 11

cpu-cache × 11

didactics × 11

linear-algebra × 11

linear-programming × 11

random-number-generator × 11

type-inference × 11

church-turing-thesis × 10

data-mining × 10

hash × 10

mathematical-foundations × 10

proof-assistants × 10

pseudo-random-generators × 10

scheduling × 10

automated-theorem-proving × 9

encryption × 9

greedy-algorithms × 9

integer-programming × 9

matrices × 9

performance × 9

primes × 9

program-optimization × 9

sampling × 9

string-metrics × 9

database-theory × 8

enumeration × 8

garbage-collection × 8

language-design × 8

machine-models × 8

natural-language-processing × 8

os-kernel × 8

typing × 8

weighted-graphs × 8

algorithm-design × 7

counting × 7

dictionaries × 7

encoding-scheme × 7

factoring × 7

first-order-logic × 7

floating-point × 7

graph-isomorphism × 7

heuristics × 7

image-processing × 7

inductive-datatypes × 7

kolmogorov-complexity × 7

modelling × 7

notation × 7

numerical-algorithms × 7

numerical-analysis × 7

operational-semantics × 7

packing × 7

process-scheduling × 7

statistics × 7

subsequences × 7

traveling-salesman × 7

balanced-search-trees × 6

binary-arithmetic × 6

binary-search × 6

cellular-automata × 6

context-sensitive × 6

graphics × 6

heaps × 6

homotopy-type-theory × 6

master-theorem × 6

memory-access × 6

object-oriented × 6

paging × 6

probabilistic-algorithms × 6

quicksort × 6

real-numbers × 6

search-problem × 6

virtual-memory × 6

3-sat × 5

ambiguity × 5

amortized-analysis × 5

board-games × 5

colorings × 5

computer-vision × 5

constraint-programming × 5

cpu × 5

game-theory × 5

induction × 5

knapsack-problems × 5

linear-temporal-logic × 5

logic-programming × 5

memory-hardware × 5

mutual-exclusion × 5

online-algorithms × 5

priority-queues × 5

programming-paradigms × 5

relational-algebra × 5

software-engineering × 5

stacks × 5

substrings × 5

sudoku × 5

synchronization × 5

threads × 5

word-combinatorics × 5

abstract-data-types × 4

average-case × 4

boolean-algebra × 4

check-my-proof × 4

clocks × 4

cpu-pipelines × 4

curry-howard × 4

databases × 4

evolutionary-computing × 4

finite-model-theory × 4

genetic-algorithms × 4

in-place × 4

loops × 4

matching × 4

mathematical-programming × 4

memory-allocation × 4

minimum-spanning-tree × 4

multi-tasking × 4

normal-forms × 4

number-formats × 4

numeral-representations × 4

oracle-machines × 4

prolog × 4

propositional-logic × 4

protocols × 4

rice-theorem × 4

set-cover × 4

term-rewriting × 4

tiling × 4

assembly × 3

binary × 3

bipartite-matching × 3

buchi-automata × 3

c × 3

clustering × 3

communication-protocols × 3

computable-analysis × 3

computer-algebra × 3

constraint-satisfaction × 3

continuations × 3

digital-circuits × 3

divide-and-conquer × 3

empirical-research × 3

equality × 3

error-correcting-codes × 3

fourier-transform × 3

group-theory × 3

hoare-logic × 3

human-computing × 3

hypercomputation × 3

incompleteness × 3

knowledge-representation × 3

lattices × 3

left-recursion × 3

linear-bounded-automata × 3

linked-lists × 3

model-checking × 3

order-theory × 3

parameterized-complexity × 3

parsing × 3

partitions × 3

pattern-recognition × 3

persistent-data-structure × 3

process-algebras × 3

program-correctness × 3

relativization × 3

semi-decidability × 3

social-networks × 3

streaming-algorithm × 3

unification × 3

user-interface × 3

vc-dimension × 3

xor × 3

adjacency-matrix × 2

assignment-problem × 2

authentication × 2

balls-and-bins × 2

bioinformatics × 2

busy-beaver × 2

classification × 2

coinduction × 2

computer-games × 2

data-sets × 2

denotational-semantics × 2

descriptive-complexity × 2

edit-distance × 2

filesystems × 2

finite-sets × 2

graph-algorithms × 2

huffman-coding × 2

interactive-proof-systems × 2

interpreters × 2

intervals × 2

kleene-star × 2

learning-theory × 2

lisp × 2

lists × 2

lr-k × 2

matroids × 2

meta-programming × 2

nearest-neighbour × 2

network-topology × 2

np-intermediate × 2

ontologies × 2

physics × 2

polynomials × 2

pseudo-polynomial × 2

random-graphs × 2

random-walks × 2

research × 2

reversible-computing × 2

searching × 2

selection-problem × 2

sequential-circuit × 2

small-step-semantics × 2

smt-solvers × 2

software-testing × 2

stack-inspection × 2

suffix-array × 2

syntax × 2

syntax-trees × 2

topology × 2

transitivity × 2

uncountability × 2

union-find × 2

2-sat × 1

agent-based-computing × 1

algebra × 1

api-design × 1

avl-trees × 1

backtracking × 1

bayesian-statistics × 1

benchmarking × 1

big-data × 1

big-o-notation × 1

blockchain × 1

bloom-filters × 1

boltzmann-machine × 1

branch-and-bound × 1

calculus-of-constructions × 1

ccs × 1

church-numerals × 1

clique × 1

code-generation × 1

communication-complexity × 1

comparison × 1

complexity × 1

computation-tree-logic × 1

computer-vs-human × 1

consensus × 1

constant-time × 1

crossing-number × 1

dag × 1

deadlocks × 1

digital-preservation × 1

doubly-connected-edge-list × 1

duality × 1

error-estimation × 1

euclidean-distance × 1

eulerian-paths × 1

evaluation-strategies × 1

expanders × 1

experimental-analysis × 1

fault-tolerance × 1

fixed-point × 1

graph-drawing × 1

hashing × 1

haskell × 1

hierarchical-temporal-memory × 1

imperative-programming × 1

isabelle × 1

iteration × 1

java × 1

ll-k × 1

loop-invariants × 1

markov-chains × 1

matrix × 1

memoization × 1

mergesort × 1

message-passing × 1

modal-logic × 1

mu-calculus × 1

multiplication × 1

network-analysis × 1

neural-computing × 1

one-way-functions × 1

open-problem × 1

partial-order × 1

perceptron × 1

philosophy × 1

planar-graphs × 1

polymorphisms × 1

power-consumption × 1

pseudocode × 1

python × 1

queues × 1

radix-sort × 1

real-time × 1

reasoning × 1

recommendation-systems × 1

recursion-theory × 1

reflection × 1

reinforcement-learning × 1

resource-allocation × 1

robotics × 1

rounding × 1

search × 1

shared-memory × 1

shift-register × 1

space-analysis × 1

sparse-matrices × 1

splay-trees × 1

square-grid × 1

static-analysis × 1

storage × 1

tail-recursion × 1

temporal-logic × 1

termination × 1

testing × 1

transducers × 1

turing-test × 1

types × 1

upper-bound × 1

variable-binding × 1

video × 1