Catégorie:Informatique théorique

A

• ► Algorithmique‎ – 89 P • 7 C
• ► Arithmétique binaire‎ – 5 P

C

• ► Calculabilité‎ – 88 P • 3 C
• ► Combinatoire des mots‎ – 28 P

I

• ► Intelligence ambiante‎ – 6 P
• ► Intelligence artificielle‎ – 153 P • 1 F • 13 C

L

• ► Langage formel‎ – 69 P

M

• ► Méthode formelle‎ – 55 P • 5 C
• ► Modèle de sécurité informatique‎ – 18 P
• ► Modélisation des données‎ – 32 P

O

• ► Ontologie (informatique)‎ – 18 P

P

• ► Personnalité en informatique théorique‎ – 105 P • 5 C

R

• ► Réécriture‎ – 7 P

T

• ► Théorème d'informatique‎ – 22 P

T (suite)

• ► Théorie de l'information‎ – 59 P • 6 C
• ► Théorie de la complexité des algorithmes‎ – 34 P • 3 C
• ► Théorie des automates‎ – 24 P • 1 C
• ► Théorie des types‎ – 59 P
• ► Théorie des graphes‎ – 58 P • 9 C
• ► Théorie des ordres‎ – 63 P • 1 C

V

• ► Vie artificielle‎ – 12 P • 3 C

*

• Informatique théorique

A

• Algorithme émergent
• Alignement d'ontologies
• Analyse lisse d'algorithme
• Arbre de Steiner
• Arbre des suffixes
• Automate linéairement borné

B

• Bisimulation
• Branch and cut
• Branch and price

C

• Chemin critique
• Edmund M. Clarke
• Codage
• Complexité
• Complexité de Kolmogorov
• Computationnalisme
• Confluence (informatique)
• Continuation

D

• Déployeur universel de programmes
• Diophantien
• Discrete Event System Specification
• Dixième problème de Hilbert

E

• Encodage one-hot
• Épistémologie de l'informatique
• European Association for Theoretical Computer Science

F

• Feature model
• Fonction déterministe

G

• Grammaire contextuelle
• Grammaire linéaire
• Graphe aléatoire

I

• Information partielle linéaire
• Interprétation abstraite

J

• Join-Calcul

L

• Linguistique informatique
• Logique combinatoire
• Logique de description
• Loi d'Amdahl
• Loi de Grosch
• Loi de Gustafson

M

• Machine à états abstraits
• Machine à vecteurs de support
• Edward M. McCreight
• Gary L. Miller
• Modèle (informatique)
• Modèle booléen
• Modèle des croyances transférables
• Modèle probabiliste de pertinence
• Modèle vectoriel
• Modélisation d'entreprise
• Monade (informatique)
• Motif inévitable

N

• Nombre cyclomatique

O

• Okapi BM25
• Ordre partiel complet (informatique)

P

• Pangramme autodescriptif
• Perceptron
• Perceptron multicouche
• Pôle Algorithmique et Informatique théorique de l'ACM
• Préordre de simulation
• Preuves, Programmes et Systèmes
• Prix Donald E. Knuth
• Prix Gödel
• Prix Turing
• Problème de satisfaction de contraintes
• Programmation génétique
• Propriété de Church-Rosser

R

• Raffinage
• Recherche d'information
• Réécriture (informatique)
• Mémoire temporelle et hiérarchique
• Réseau de neurones artificiels
• Retour de pertinence

S

• Sémantique axiomatique
• Sémantique dénotationnelle
• Sémantique des langages de programmation
• Sémantique opérationnelle
• Sesquipuissance
• Suite de pliage de papier
• Suite de Rudin-Shapiro
• Système complexe

T

• Table de transition d'état
• Terminaison d'un système de réécriture
• Théorème de Matiiassevitch
• Théorème des variétés d'Eilenberg
• Théorème du point fixe de Kleene
• Analyse de la complexité des algorithmes
• Utilisateur:Pparent/algorithme
• Utilisateur:Pparent/complexité
• Théorie de la complexité (informatique théorique)
• Théorie des automates
• Théorie des automates finis
• Théorie des domaines
• Transducteur fini
• Transduction rationnelle

U

• U-matrix

V

• Théorie de Vapnik-Chervonenkis
• Variable libre