Série
Informatique théorique
Dans Technologie
101 cartes27 joueurs l'ont commencée
Série « Informatique théorique » sur Wikicard : 101 cartes tirées de Wikipédia, dont Algorithme, Réseau de neurones artificiels, Cryptographie. 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.
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,…
CryptographieLégendaireLa cryptographie est une des disciplines de la cryptologie s'attachant à protéger des messages (assurant confidentialité, authenticité et intégrité) en s'aidant souvent de secrets…
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….jpg?width=320)
ChiffrementLégendaireLe chiffrement, souvent appelé abusivement « cryptage », est un procédé de cryptographie par lequel on souhaite rendre la compréhension d'un document impossible à toute personne…
CompilateurLégendaireUn compilateur est un programme qui transforme un code source en un code objet.
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.- Recherche opérationnelleLégendaireLa recherche opérationnelle peut aider le décideur lorsque celui-ci est confronté à un problème combinatoire, aléatoire ou concurrentiel.
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…- Compression de donnéesLégendaireLa compression de données ou codage de source est l'opération informatique consistant à transformer une suite de bits A en une suite de bits B plus courte pouvant restituer les…
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…
Science des donnéesLégendaireLa science des données (en anglais : data science) est un domaine interdisciplinaire qui utilise les mathématiques, les statistiques, le calcul scientifique, les méthodes…
Exploration de donnéesLégendaireL'exploration de données permet de classer les faits et de les prévoir dans une certaine mesure ou encore de les éclairer en révélant par exemple les variables ou paramètres qui…
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…
Analyse numériqueÉpiqueL’analyse numérique est une discipline à l'interface des mathématiques et de l'informatique.
Informatique théoriqueÉpiqueL'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Structure de donnéesÉpiqueUne structure de données est une manière d'organiser les données pour les traiter plus facilement.- 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.
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.
CryptanalyseÉpiqueLa cryptanalyse est la technique qui consiste à déduire un texte en clair d’un texte chiffré sans posséder la clé de chiffrement.- 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…
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.
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.
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.
Algorithme du simplexeÉpiqueL'algorithme du simplexe est un algorithme de résolution des problèmes d'optimisation linéaire.
Théorie de la décisionÉpiqueLa théorie de la décision est l’étude de la prise de décision, qui comprend la théorie de la décision individuelle (souvent simplement appelée théorie de la décision), la théorie…- DécidabilitéÉpiqueDécidabilité est la négation de la décidabilité.
Algorithme gloutonÉpiqueUn algorithme glouton (greedy algorithm en anglais, parfois appelé aussi algorithme gourmand, ou goulu) est un algorithme qui suit le principe de réaliser, étape par étape, un…
Arbre enracinéÉpiqueUn arbre enraciné ou une arborescence est un graphe acyclique orienté possédant une unique racine, et tel que tous les nœuds sauf la racine ont un unique parent.- Méthode formelle (informatique)ÉpiqueEn informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel…
- Programmation concurrenteÉpiqueLa programmation concurrente est un paradigme de programmation tenant compte, dans un programme, de l'existence de plusieurs piles sémantiques qui peuvent être appelées threads,…
Problème de l'arrêtÉpiqueLe problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique, et d'une entrée, si le programme s'arrête avec cette…- Thèse de ChurchÉpiqueLa thèse de Church — du nom du mathématicien Alonzo Church — est une thèse concernant la définition de la notion de calculabilité.
- Fonction récursiveÉpiqueFonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.
- Heuristique (mathématiques)ÉpiqueL'heuristique est la psychologie de la découverte, abordée par différents mathématiciens.
Linguistique informatiqueÉpiqueLa linguistique informatique, ou linguistique computationnelle contribue au traitement automatique du langage naturel (TALN), notamment dans les interfaces homme-machine, la…
Test de primalitéÉpiqueUn test de primalité est un algorithme permettant de savoir si un nombre entier est premier.- Générateur de nombres pseudo-aléatoiresÉpiqueUn générateur de nombres pseudo-aléatoires, pseudorandom number generator (PRNG) en anglais, est un algorithme qui génère une séquence de nombres présentant certaines propriétés…
Théorie des typesÉpiqueUne théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.
Grammaire formelleÉpiqueUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné.
AlgorithmiqueÉpiqueL'algorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques…
Hiérarchie de ChomskyÉpiqueLa hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger) est une classification des grammaires formelles (et par extension, des langages formels respectifs…- Diviser pour régner (informatique)ÉpiqueDiviser pour régner (du latin « Divide ut imperes », divide and conquer en anglais) est une technique algorithmique consistant à : Diviser : découper un problème initial en…
Géométrie algorithmiqueÉpiqueLa géométrie algorithmique est le domaine de l'algorithmique qui traite des algorithmes manipulant des concepts géométriques.- Algorithme probabilisteÉpiqueUn algorithme probabiliste, ou algorithme randomisé, est un algorithme qui utilise une source de hasard.
- Langage rationnelÉpiqueEn théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes : ce sont les…
- Optimisation combinatoireÉpiqueL’optimisation combinatoire (sous-ensemble à nombre de solutions finies de l'optimisation discrète) est une branche de l'optimisation en mathématiques appliquées et en…
- Sémantique des langages de programmationÉpiqueEn 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.
- Correspondance de Curry-HowardÉpiqueLa correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de…
- Automate à pileÉpiqueUn automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates.
Assistant de preuveÉpiqueUn assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions…
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.