Résultats de la recherche
Cherchez Séminaire de complexité algorithmique et de logique sur Wikipédia dans une autre langue :
Cherchez Séminaire de complexité algorithmique et de logique sur un des projets-frères de Wikipédia :
- Wiktionnaire (dictionnaire)
- Wikibooks (livres pédagogiques)
- Wikiquote (citations)
- Wikisource (bibliothèque libre)
- Wikinews (actualités libres)
- Wikiversity (espace pédagogique)
- Wikivoyage (guide touristique)
- Wikidata (base de données)
- Commons (images et médias)
L'article « Séminaire de complexité algorithmique et de logique » n'existe pas sur ce wiki !
Vous souhaitez le créer ? Vérifiez auparavant que le sujet n'a pas déjà été traité dans les résultats ci-dessous, puis assurez-vous qu'il est admissible dans l'encyclopédie.
Pour créer « Séminaire de complexité algorithmique et de logique », suivez le guide !
Andreï Kolmogorov (catégorie Théorie algorithmique de l'information)mécanique classique, logique intuitionniste, théorie algorithmique de l'information et en analyse de la complexité des algorithmes,,. Kolmogorov est né...34 kio (4 154 mots) - 18 novembre 2023 à 00:36
Science (redirection depuis Science de l'esprit)anciens et contemporains (Préhistoire, archéologie, histoire, histoire de l'art) Article détaillé : Logique. Selon Emmanuel Kant, la logique formelle...208 kio (25 226 mots) - 9 mai 2024 à 00:27
Alan Turing (catégorie Portail:Logique/Articles liés)Olivier Hudry, « Machine de Turing et complexité algorithmique », dans Michel Serfati (dir.), De la méthode : recherches en histoire et philosophie des mathématiques...73 kio (8 514 mots) - 26 avril 2024 à 16:57- les algorithmes requièrent un nombre astronomique d'étapes pour démontrer des théorèmes très simples. Une utilisation plus fructueuse de la logique a été...146 kio (16 623 mots) - 9 mai 2024 à 13:55
- Hervé Zwirn (catégorie Portail:Sciences humaines et sociales/Articles liés)d'histoire et de philosophie des sciences et des techniques (IHPST), où il anime depuis son arrivée un séminaire mensuel sur la complexité. Depuis 2002...12 kio (1 255 mots) - 14 décembre 2023 à 22:20
Paul E. Schupp (catégorie Portail:Logique/Articles liés)Miasnikov et Shpilrain, de la notion de complexité générique des algorithmes ; la complexité générique est une façon de mesurer la complexité d'un problème...9 kio (927 mots) - 16 novembre 2023 à 11:48
Manfred Mohr (catégorie Portail:Biographie/Articles liés/Culture et arts)cofondateur du séminaire "Art et informatique" qui fut présenté à l'université de Vincennes. Il réalisera également sa première œuvre algorithmique : Random...9 kio (1 254 mots) - 31 décembre 2023 à 13:35- Histoire des notations mathématiques (catégorie Article de qualité en russe)La logique symbolique est généralement divisée en deux sous-domaines, la logique propositionnelle et la logique des prédicats. D'autres logiques intéressantes...165 kio (18 090 mots) - 9 mai 2024 à 14:22
Énigme des trois maisons (redirection depuis Énigme de l'eau du gaz et de l'électricité)énigme sur un ruban de Möbius sont donnés et la question est proposée sous forme d'exercice : M. Habib, Notes de cours algorithmique de graphes, Magistère...41 kio (5 418 mots) - 14 mai 2023 à 10:02- Physique numérique (théorique) (section Le pancomputationalisme ou la théorie de l'univers informatique)calculables possibles avec une complexité algorithmique asymptotique. Certains tentent d'identifier les propriétés quantiques avec de simples bits. Par exemple...15 kio (1 912 mots) - 29 avril 2024 à 13:40
Friedrich Hayek (catégorie Portail:Sciences humaines et sociales/Articles liés)l'information. Ils estiment que, dans le cadre de la théorie algorithmique de l'information, l'argument principal de Hayek se retourne contre lui : si l'efficacité...104 kio (12 722 mots) - 30 avril 2024 à 17:35
Lawrence H. Landweber (catégorie Article de Wikipédia avec notice d'autorité)il travaille sur la logique monadique du second ordre et les jeux infinis, la théorie de la complexité et les réseaux de Petri, et a été président du ACM...6 kio (660 mots) - 15 mai 2023 à 19:38
1962. Présente l'algorithme de Ford-Fulkerson pour résoudre le problème de flot maximum. Article détaillé : Théorie de la complexité (informatique théorique)...62 kio (6 410 mots) - 19 février 2024 à 22:28
Bonheur (catégorie Portail:Sciences humaines et sociales/Articles liés)Et ce qui explique la complexité de cette idée de bonheur, c'est la prise de conscience du caractère plus ou moins vain de cette quête puisque, de toute...258 kio (31 842 mots) - 16 avril 2024 à 17:54- Racisme au Québec (catégorie Désaccord de neutralité/politique et société)préjugés et de stéréotypes ne rendant pas justice à la réalité et à la complexité de ces travailleurs. Depuis l'arrivée des travailleurs temporaires, en...128 kio (14 794 mots) - 8 mai 2024 à 15:49
- CSELT (catégorie Article de Wikipédia avec notice d'autorité)modulaire et redondant avec un schéma de 1 à 8, fonctionnant à une fréquence d'horloge de 81,920 MHz, établit un record du monde pour la complexité et la vitesse...81 kio (8 929 mots) - 4 avril 2024 à 07:05
- fait que transformer une complexité interne en complexité de relation. Figure 5 : Variation de la complexité avec le nombre de modules Les deux cas extrêmes
- est trop exclusivement abstraite et logique. M. Proudhon n’est pas encore assez dégagé de la scolastique du séminaire ; il raisonne beaucoup ; il ne semble