Informatique théorique Informatique théorique (Alignement d'ontologies) Catégorie:Intelligence artificielle Catégorie:Sciences cognitives Catégorie:Informatique théorique ...Wikipedia "Alignement d'ontologies"
La complexité est une notion utilisée en philosophie ( épistémologie), en physique, en informatique ou en sciences de l’information. La définition connaît des nuances importantes selon ces différents domaines. ...Wikipedia "Complexité"
(Complexité de Kolmogorov) Catégorie:Informatique théorique ...Wikipedia "Complexité de Kolmogorov"
Les Environnements informatiques pour l'apprentissage humain ou EIAH sont une branche de la recherche en informatique qui se consacre à l'étude des interactions humain-machine dans le cadre de l'éducation. ...Wikipedia "Environnement informatique pour l'apprentissage humain"
L' informatique n'est pas qu'une science technique, mais aussi et surtout une science à part entière en ce qu'elle constitue une branche des mathématiques discrètes. Djikstra illustra ce fait de belle manière en écrivant que l'informatique n'est pas plus la science de l'ordinateur que l'astronomie n'est celle du télescope. De fait, de nombreuses disciplines peuvent être regroupées sous la dénomination diffuse d'informatique théorique. ...Wikipedia "Informatique théorique"
Le lambda-calcul (ou λ-calcul) est un langage de programmation théorique inventé par Alonzo Church dans les années 1930. Ce langage a eu autant d'importance que les machines de Turing dans la théorie de la calculabilité. Il s'agit d'un modèle de calcul, c'est à dire une formalisation de la notion de calcul. Or on peut simuler la normalisation des λ-termes à l'aide d'une machine de Turing, et simuler une machine de Turing par des λ-termes. Ces deux modèles sont donc équivalents (ou Turing-équivalents). Or la thèse de Church-Turing dit que tout algorithme peut être calculé par une machine de Turing, donc par l'équivalence tout algorithme peut être calculé par le lambda-calcul. C'est ainsi que le premier langage de programmation est né. ...Wikipedia "Lambda-calcul"
Un langage rationnel, ou langage de type 3 dans la hiérarchie de Chomsky, aussi appelé (incorrectement) langage régulier, est un langage formel que l'on peut définir grâce à une expression rationnelle. ...Wikipedia "Langage rationnel"
Une machine à vecteurs de support (en anglais Support Vector Machine ou SVM) est une technique de discrimination. Elle consiste à séparer deux (ou plus) ensembles de points par un hyperplan. Selon les cas et la configuration des points, la performance de la machine à vecteurs de support peut être supérieure à celle d'un réseau de neurones ou d'un modèle de mixture gaussienne. ...Wikipedia "Machine à vecteurs de support"
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement sur des programmes informatiques, ou aussi des matériels électroniques, afin de démontrer leur correction, en se basant sur des raisonnements de logique mathématique. ...Wikipedia "Méthode formelle (informatique)"
En informatique, une ontologie est un ensemble structuré de concepts. Les concepts sont organisés dans un graphe dont les relations peuvent être : ...Wikipedia "Ontologie (informatique)"
Le poids de Hamming d'une chaîne de bits est le nombre de 1 dans celle-ci. Si est une chaîne de bits on note son poids de Hamming. Par exemple si alors . Le terme fut donné en hommage à Richard Hamming. ...Wikipedia "Poids de Hamming"
Un réseau de neurones (ou Artificial Neural Network en anglais) est un modèle de calcul dont la conception est très schématiquement inspirée du fonctionnement de vrais neurones (humains ou non). ...Wikipedia "Réseau de neurones"
En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle. (Voir sémantique des langages de programmation.) ...Wikipedia "Sémantique dénotationnelle"
En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. ...Wikipedia "Sémantique des langages de programmation"
It must be shortopedia. shortopedia
Pour une énumération de fonction récursive ...Wikipedia "Théorème de récursion de Kleene"
En mathématiques, la théorie calculatoire des nombres est l'étude de la théorie des nombres à l'aide de la puissance des ordinateurs. ...Wikipedia "Théorie calculatoire des nombres"
(Vérification formelle) * La démonstration de théorèmes est une technique souvent peu automatisée qui consiste à réécrire des formules en utilisant un ensemble de règles connues ainsi que l' induction. ...Wikipedia "Vérification formelle"
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "Informatique théorique".
| MAIN PAGE | MAIN INDEX | CONTACT US |