Portail
Informatique théorique
Dans Sciences
2168 cartes160 joueurs l'ont commencée
Portail « Informatique théorique » sur Wikicard : 2168 cartes tirées de Wikipédia, dont Logique, Algorithme, Alan Turing. Terminée, elle donne un badge brodé « Légendaire », dessiné pour elle.
Ses cartes les plus connues
AlgorithmeLégendaireUn algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes.
Apprentissage automatiqueLégendaireApprentissage automatique est d'exploiter de l'information contenue dans un jeu de données._in_1936_at_Princeton_University.jpg?width=320)
Alan TuringLégendaireAlan Turing est né à Maida Vale (quartier de Londres) le 23 juin 1912 du fonctionnaire d'administration coloniale Julius Mathison Turing (9 novembre 1873 – 3 août 1947) et de sa…
LogiqueLégendaireLa logique est à l'origine de la recherche de règles générales et formelles permettant de distinguer un raisonnement concluant de celui qui ne l'est pas.
Théorie des graphesLégendaireLa théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets.
Réseau de neurones artificielsLégendaireUn réseau de neurones artificiels, ou réseau neuronal artificiel, est un système informatique dont la conception est inspirée à l'origine du fonctionnement des neurones mais qui,…
John von NeumannLégendaireJohn von Neumann (Neumann János Lajos) (ˈnojmɒn ˈjaːnoʃ ˈlɒjoʃ, János Lajos Neumann en hongrois), né le 28 décembre 1903 à Budapest et mort le 8 février 1957 à Washington, est un…
Système binaireLégendaireLe système binaire (du latin binārĭus, « double ») est le système de numération utilisant la base deux..jpg?width=320)
Ordinateur quantiqueLégendaireUn ordinateur quantique, calculateur quantique, processeur quantique ou système informatique quantique, utilise les propriétés quantiques de la matière, telles que la…- Apprentissage profondLégendaireL'apprentissage profond ou apprentissage en profondeur (en anglais : deep learning) est un sous-domaine de l’intelligence artificielle qui utilise des réseaux neuronaux…
Théorie de l'informationLégendaireLa théorie de l'information, sans précision, est le nom usuel désignant la théorie de l'information de Shannon, qui est une théorie utilisant les probabilités pour quantifier le…
CombinatoireLégendaireLa combinatoire est présente dans toute l'antiquité en Inde et en Chine.
Machine de TuringLégendaireUne machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Geoffrey HintonLégendaireGeoffrey Hinton est co-auteur d'un article très cité publié en 1986, qui a popularisé l'algorithme de rétropropagation pour l'entraînement des réseaux de neurones multicouches,…
Google DeepMindLégendaireGoogle DeepMind est une filiale britannique de l’entreprise californienne Google spécialisée dans l'intelligence artificielle.
Théorèmes d'incomplétude de GödelLégendaireLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der…
Claude ShannonLégendaireClaude Shannon Claude Elwood Shannon, né le 30 avril 1916 à Petoskey (Michigan) et mort le 24 février 2001 à Medford (Massachusetts), est un mathématicien et ingénieur en génie…
Expression régulièreLégendaireUne expression régulière ou expression rationnelle ou expression normale ou motif est une chaîne de caractères qui décrit, selon une syntaxe précise, un ensemble de chaînes de…
Décomposition en produit de facteurs premiersLégendaireLa décomposition en produit de facteurs premiers, aussi connue comme la factorisation entière en nombres premiers ou encore plus couramment la décomposition en facteurs premiers,…
Fonction de hachageLégendaireUne fonction de hachage est une fonction qui associe, à une donnée de taille non bornée, une donnée de taille fixe..jpg?width=320)
Marvin MinskyLégendaireMarvin Minsky est également le coauteur du Problème de Turing, roman de science-fiction.jpg?width=320)
Donald KnuthLégendaireDonald Ervin Knuth, né le 10 janvier 1938 à Milwaukee dans le Wisconsin, est un informaticien et mathématicien américain de renom, professeur émérite en informatique à…
Théorie de la complexité (informatique théorique)LégendaireLa théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et…
Informatique théoriqueÉpiqueL'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.- Calcul des prédicatsLégendaireCalcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
- Programmation fonctionnelleÉpiqueLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Langage formelÉpiqueUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.- Automate finiÉpiqueUn automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de…
Parallélisme (informatique)ÉpiqueLe parallélisme est la caractéristique des architectures d'électronique numérique qui leur permet de traiter des informations de manière simultanée, ainsi que les algorithmes…- Algorithme génétiqueÉpiqueLes algorithmes génétiques appartiennent à la famille des algorithmes évolutionnistes.
- Informatique quantiqueÉpiqueL'informatique quantique est le sous-domaine de l'informatique qui traite des calculateurs quantiques et des modèles de calcul associés.
PageRankÉpiqueLe PageRank ou PR est l'algorithme d'analyse des liens concourant au système de classement des pages Web utilisé par le moteur de recherche Google.- Mathématiques discrètesÉpiqueLes mathématiques discrètes, parfois appelées mathématiques finies, sont l'étude des structures mathématiques fondamentalement discrètes, par opposition aux structures continues.
Apprentissage par renforcementÉpiqueApprentissage par renforcement : un agent effectue une action sur l'environnement, cette action est interprétée en une récompense et une représentation du nouvel état, et cette….svg?width=320)
Nombre de StrahlerÉpiqueLe nombre de Strahler d'une arborescence est une mesure numérique de sa complexité de branchements.- Ontologie (informatique)ÉpiqueUne ontologie est un modèle de données contenant des concepts et relations permettant de modéliser un ensemble de connaissances dans un domaine donné.
Edsger DijkstraÉpiqueEdsger Dijkstra Prononciation Edsger Wybe Dijkstra (prononciation :), né à Rotterdam le 11 mai 1930 et mort à Nuenen le 6 août 2002, est un mathématicien et informaticien…- Calcul des propositionsÉpiqueLe calcul des propositions est la première étape dans la définition de la logique et du raisonnement.
- Théorie de la calculabilitéÉpiqueLa théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique qui vise à identifier les…
_(2).jpg?width=320)
John Horton ConwayÉpiqueJohn Horton Conway, né le 26 décembre 1937 à Liverpool et mort le 11 avril 2020 à New Brunswick (New Jersey), est un mathématicien britannique.
Simulation informatiqueÉpiqueLa simulation informatique ou numérique est l'exécution d'un programme informatique sur un ordinateur ou réseau en vue de simuler un phénomène physique réel et complexe (par…
Automate cellulaireÉpiqueUn automate cellulaire consiste en un ensemble d'automates, appelés « cellules », disposées sur une grille régulière et contenant chacune un « état » choisi parmi un ensemble fini.
Algorithme de triÉpiqueUn algorithme de tri est, en informatique ou en mathématiques, un algorithme qui permet d'organiser une collection d'objets selon une relation d'ordre déterminée.
Coloration de grapheÉpiqueLa coloration de graphe consiste à attribuer une couleur à chacun de ses sommets de manière que deux sommets reliés par une arête soient de couleur différente.- Dilemme du prisonnierÉpiqueLe dilemme du prisonnier est souvent évoqué dans des domaines comme l'économie, la biologie, la politique internationale, les politiques commerciales (avantage et risques d'une…
Charles BabbageÉpiqueCharles Babbage, né le 26 décembre 1791 à Southwark (Londres) et mort le 18 octobre 1871 à Marylebone (Londres), est un polymathe, mathématicien et inventeur visionnaire…- ItérationÉpiqueL'itération d'un procédé désigne la répétition de celui-ci un certain nombre de fois.
Lambda-calculÉpiqueLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930.- Programmation dynamiqueÉpiqueLa programmation dynamique est une méthode algorithmique pour résoudre des problèmes d'optimisation.
Théorie des automatesÉpiqueLa théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.- Entropie de ShannonÉpiqueL'entropie de Shannon, ou plus simplement entropie, est une fonction mathématique qui, intuitivement, correspond à la quantité d'information contenue ou fournie par une source…
- Logique floueÉpiqueLa logique floue (fuzzy logic, en anglais) est une logique polyvalente où les valeurs de vérité des variables — au lieu d'être vrai ou faux — sont des réels entre 0 et 1.
- Graphe (mathématiques discrètes)ÉpiqueLes graphes sont couramment représentés graphiquement à l'aide de cercles pour les sommets et de lignes (éventuellement courbées) pour les arêtes, ces dernières étant munies de…
Problème NP-completÉpiqueUn problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes : il est possible de…
Analyse de la complexité des algorithmesÉpiqueL'analyse de la complexité d'un algorithme consiste en l'étude formelle de la quantité de ressources (par exemple de temps ou d'espace) nécessaire à l'exécution de cet algorithme.
Optimisation linéaireÉpiqueL'optimisation linéaire (OL) est la discipline qui étudie ces problèmes.
John McCarthyÉpiqueJohn McCarthy est un mathématicien, informaticien et professeur universitaire américain, né le 4 septembre 1927 à Boston (Massachusetts) et mort le 24 octobre 2011 à Stanford…
Système expertÉpiqueUn système expert est un outil simulant ou visant à imiter le jugement ou comportement d'un humain disposant d'une expertise dans un domaine particulier.
Réseau de neurones récurrentsÉpiqueUn réseau de neurones récurrents (RNN pour recurrent neural network en anglais) est un réseau de neurones artificiels présentant des connexions récurrentes..jpg?width=320)
Yann Le CunÉpiqueYann Le Cun, né le 8 juillet 1960 à Soisy-sous-Montmorency, est l'ancien directeur scientifique de l'IA de Meta, et chercheur en intelligence artificielle et vision artificielle…
Ouvrez des paquets de cartes tirées de Wikipédia, terminez vos collections pour gagner leur badge brodé, défiez d'autres joueurs en Joute. Gratuit, sans avantage payant.