Résultats de la recherche
Créer la page « Calculabilité et complexité » sur ce wiki ! Voyez également les résultats de votre recherche.
Correspondances dans les titres des pages
- 0 membre (0 sous-catégorie, 0 fichier) - 23 janvier 2012 à 13:10
- |Titre=Quelques rudiments de calculabilité et de complexité ...grandes étapes des idées à ce sujet. Il définit les classes de complexité et donne quelques clés pour les évaluer. Il est suivi d'une séance de quest2 Kio (237 mots) - 5 mars 2012 à 15:25
Correspondances dans le texte des pages
- |Résumé=Cours de calculabilité abordant les notions de machine de Turing et de fonctions récursives. Comprend exercices + corrections. |Catégorie=Calculabilité et complexité932 octet (116 mots) - 2 mars 2012 à 10:53
- |Titre=Quelques rudiments de calculabilité et de complexité ...grandes étapes des idées à ce sujet. Il définit les classes de complexité et donne quelques clés pour les évaluer. Il est suivi d'une séance de quest2 Kio (237 mots) - 5 mars 2012 à 15:25
- |Catégorie=Algorithmes classiques, Calculabilité et complexité907 octet (117 mots) - 1 mars 2012 à 12:13
- ...pprentissage pour classes NP : contient les problèmes NP-complets typiques et des réductions. |Catégorie=Calculabilité et complexité1 Kio (158 mots) - 21 mai 2012 à 14:27
- |Catégorie=Bases de données et systèmes d'information, Calculabilité et complexité, Culture Scientifique912 octet (112 mots) - 6 mars 2012 à 12:04
- ...l interactif pour comprendre la logique de la machine abstraite de Turing, et s'initier concrètement à l'algorithmique. |Catégorie=Algorithmes classiques, Calculabilité et complexité1 Kio (146 mots) - 12 mars 2013 à 11:50
- ...), de programmation graphique (Scratch), de calcul symbolique (Giac/Xcas), et de programmation formelle (Coq). ...rogrammation, Algorithmes classiques, Automate et grammaire, Calculabilité et complexité1 Kio (150 mots) - 23 janvier 2012 à 13:39
- ...), de programmation graphique (Scratch), de calcul symbolique (Giac/Xcas), et de programmation formelle (Coq). |Catégorie=Algorithmes classiques, Calculabilité et complexité, Langage de programmation1 Kio (151 mots) - 29 février 2012 à 11:59
- |Catégorie=Algorithmes classiques, Calculabilité et complexité, Langage de programmation, Réseaux1 Kio (161 mots) - 17 octobre 2014 à 09:11
- |Titre=Penser, modéliser et maîtriser le calcul informatique ...informatique. Il remet en perspective la notion de programme informatique et met en évidence la difficulté qu'il y a à modéliser la pensée pour par1 Kio (172 mots) - 2 mars 2012 à 11:39
- ...x éléments d'algorithmiques (principes généraux, structures séquentielles, et structures arborescentes).1 Kio (183 mots) - 27 février 2012 à 16:14
- |Catégorie=Calculabilité et complexité, Culture Scientifique3 Kio (379 mots) - 30 août 2012 à 10:32
- ...hnology) aux États-Unis. Tout va bien, semble-t-il. Autrement dit, théorie et pratique sont en totale divergence. |Catégorie=Calculabilité et complexité, Culture Scientifique4 Kio (713 mots) - 12 mars 2014 à 11:04
- ...cipline en lycée]], livre écrit par une équipe d'auteurs dont Gilles Dowek et édité par le CRDP de Paris (chacune des parties de ce livre est [[LivreCD ...uction_%C3%A0_la_science_informatique_:_langages_et_programmation|Langages et programmation]]11 Kio (1 609 mots) - 20 mars 2013 à 18:28
- ...ailler dans une relativement grande liberté, y compris dans ses mouvements et ses contacts avec l'Occident. |Catégorie=Calculabilité et complexité, Culture Scientifique6 Kio (969 mots) - 5 mars 2012 à 11:18
- * [[Valeur possible::Asie centrale et du Sud]] * [[Valeur possible::département d'Eure-et-Loir]]56 Kio (6 511 mots) - 17 juin 2014 à 15:08