Catégorie:Informatique théorique

Arborescence de l'informatique théorique ↑ · ↓
Catégorie mère · Projet · Portail · Café

Arborescence de l'informatique ↑ · ↓
Catégorie mère · Projet · Portail · Café

L'informatique en tant que science est tributaire de nombreux développements théoriques, certains relèvent purement des mathématiques ou de la logique, d'autres sont spécifiques à l'informatique, mais tout aussi formels et rigoureux.

Article principal : Informatique théorique.

Sous-catégories

Cette catégorie comprend les 23 sous-catégories suivantes.

Index :

Début
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

Outils :

► Wikipédia:ébauche informatique théorique‎ – 94 P

A

► Algorithmique‎ – 76 P • 11 C
► Arithmétique binaire‎ – 7 P • 1 C

C

► Calculabilité‎ – 111 P • 3 C
► Combinatoire des mots‎ – 42 P
► Conférence en informatique théorique‎ – 25 P

I

► Intelligence ambiante‎ – 6 P
► Intelligence artificielle‎ – 186 P • 15 C

L

► Langage formel‎ – 100 P • 1 C

R

► Réécriture‎ – 12 P

T

► Théorème d'informatique‎ – 26 P • 1 C
► Théorie de l'information‎ – 67 P • 6 C
► Théorie de la complexité des algorithmes‎ – 50 P • 5 C
► Théorie des automates‎ – 56 P • 2 C
► Théorie des types‎ – 67 P
► Théorie des graphes‎ – 59 P • 9 C
► Théorie des ordres‎ – 67 P • 2 C

V

► Vie artificielle‎ – 12 P • 3 C

Pages dans la catégorie « Informatique théorique »

Cette catégorie contient les 107 pages suivantes.

Index :

Début
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

Outils :

*

Informatique théorique

A

B

Bisimulation

C

D

E

F

G

I

J

Join-Calcul

L

M

N

O

P

R

S

T

U

V

Catégorie:Informatique théorique

Sous-catégories

A

C

I

L

M

O

P

R

T

V

Pages dans la catégorie « Informatique théorique »

*

A

B

C

D

E

F

G

I

J

L

M

N

O

P

R

S

T

U

V

Menu de navigation

Rechercher