Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- En [[Théorie de la complexité (informatique théorique)|théorie de la complexité]], un '''conseil''' est une entrée supplémentaire {{Portail|Informatique théorique}} ...3 kio (530 mots) - 14 mai 2021 à 13:29
Correspondances dans le texte des pages
- ...hématiques ou programmatiques sont définies l'une en termes de l'autre. En informatique, cependant, on utilise plus souvent le terme "'''récursivité croisée'''". == Informatique == ...1 kio (207 mots) - 11 décembre 2020 à 13:34
- {{Ébauche|informatique}} En [[mathématiques]], ou en [[informatique]], la '''confluence''' d'une [[relation binaire]] <math>\rightarrow_R</math ...2 kio (274 mots) - 18 décembre 2019 à 00:59
- {{ébauche|mathématiques|informatique théorique}} {{Portail|mathématiques|informatique théorique}} ...1 kio (186 mots) - 2 août 2023 à 12:47
- ...algorithmes parallèles, dans les [[Théorie de la complexité (informatique théorique)#Classes de complexité|classes de complexité]] parallèle). ...2 kio (231 mots) - 7 septembre 2024 à 12:19
- En [[informatique théorique]], un '''générateur pseudo-aléatoire''' (pour une classe de tests statistiq {{Portail|informatique théorique}} ...1 kio (211 mots) - 25 février 2025 à 09:18
- En [[théorie de la complexité (informatique théorique)|théorie de la complexité]], '''AC''' est la [[classe de complexité]] défin {{Portail|Informatique théorique|mathématiques}} ...1 kio (215 mots) - 19 juin 2021 à 09:00
- ...quivalence, du point de vue de la [[Théorie de la complexité (informatique théorique)|complexité algorithmique]], entre « optimiser » et « séparer », sur un mêm {{Portail|mathématiques|informatique théorique}} ...2 kio (326 mots) - 21 octobre 2021 à 08:04
- ...math>. La notion de <math>F</math>-coalgèbre possède des applications en [[informatique]], notamment pour l'[[évaluation paresseuse]], pour les [[structure de donn {{Portail|programmation informatique|informatique théorique}} ...1 kio (214 mots) - 10 septembre 2019 à 09:48
- * Terme dépendant de type : le [[Polymorphisme (informatique)|polymorphisme]] (d'où le [[Système F]]); {{Portail|logique|Informatique théorique}} ...1 kio (145 mots) - 23 juin 2024 à 18:22
- {{Ébauche|informatique théorique|théorie des graphes}} {{Portail|informatique théorique}} ...1 kio (240 mots) - 21 janvier 2020 à 17:50
- {{ébauche|géométrie|informatique}} {{portail|informatique théorique}} ...831 octet (141 mots) - 28 mars 2018 à 20:49
- {{Portail|Informatique théorique|Logique|Mathématiques}} [[Catégorie:Théorème d'informatique|Post]] ...953 octet (147 mots) - 16 septembre 2016 à 16:54
- {{ébauche|informatique théorique}} {{Portail|informatique théorique}} ...2 kio (218 mots) - 24 novembre 2019 à 14:18
- ...tique théorique]] et notamment en [[théorie de la complexité (informatique théorique)|théorie de la complexité]], la classe '''NE''' est une [[classe de comple {{Portail|mathématiques|informatique théorique}} ...2 kio (377 mots) - 10 avril 2021 à 23:01
- En [[informatique théorique]] un '''préordre de simulation''' est une [[Correspondance et relation|rela {{Portail|informatique théorique}} ...2 kio (356 mots) - 7 mars 2016 à 20:30
- {{ébauche|informatique}} ...priété de Church-Rosser''' est une propriété des systèmes de [[Réécriture (informatique)|réécriture]]. Elle est nommée ainsi d'après les mathématiciens [[Alonzo Ch ...3 kio (500 mots) - 19 février 2021 à 21:43
- {{Ébauche|informatique théorique}} ...théorique]], plus précisément en [[Théorie de la complexité (informatique théorique)|théorie de la complexité]], '''SC''' est la [[classe de complexité]] des [ ...3 kio (565 mots) - 3 janvier 2025 à 18:14
- {{ébauche|informatique}} {{portail|informatique|informatique théorique}} ...1 kio (215 mots) - 9 mars 2025 à 14:35
- == Monades et informatique théorique == {{Article détaillé|Monade (informatique)}} ...4 kio (659 mots) - 2 juin 2017 à 08:22
- ...ique théorique)|théorie de la complexité]], un domaine de l'[[informatique théorique]]. On peut en fait distinguer deux théorèmes, l'un concernant les [[classe {{Portail|informatique théorique}} ...3 kio (451 mots) - 6 décembre 2017 à 11:33