Catégorie:Informatique théorique

Arborescence de l'informatique théorique ↑ · ↓

Arborescence de l'informatique ↑ · ↓

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 25 sous-catégories suivantes.

Outils :

Wikipédia:ébauche informatique théorique – 92 P

A

Algorithmique – 94 P • 12 C
Arithmétique binaire – 8 P • 1 C

C

Calculabilité – 120 P • 4 C
Chercheur en informatique théorique – 15 P
Combinatoire des mots – 60 P
Conférence en informatique théorique – 28 P

I

Intelligence ambiante – 6 P
Intelligence artificielle – 372 P • 23 C

L

Langage formel – 113 P • 1 C

M

V

Vie artificielle – 15 P • 3 C

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

Cette catégorie contient les 131 pages suivantes.

Outils :

*

Informatique théorique

A

B

Bisimulation

C

D

E

F

G

H

Hypothèse de la variété

I

J

L

M

N

O

P

R

S

T

U

V