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

• Quelques rudiments de calculabilité et de complexité
  |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 quest
  2 Kio (237 mots) - 5 mars 2012 à 15:25

Correspondances dans le texte des pages

• Notes du cours de Calculabilité — 1ère partie
  |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
• Quelques rudiments de calculabilité et de complexité
  |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 quest
  2 Kio (237 mots) - 5 mars 2012 à 15:25
• Le tri-fusion
  |Catégorie=Algorithmes classiques, Calculabilité et complexité
  907 octet (117 mots) - 1 mars 2012 à 12:13
• GraphBench
  ...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
• Some aspects of surface mapping
  |Catégorie=Bases de données et systèmes d'information, Calculabilité et complexité, Culture Scientifique
  912 octet (112 mots) - 6 mars 2012 à 12:04
• La machine de Turing en javascript
  ...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
• Autres outils pédagogiques pour apprendre l'informatique
  ...), 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
• Java Scool - Autres outils pédagogiques pour apprendre l'informatique
  ...), de programmation graphique (Scratch), de calcul symbolique (Giac/Xcas), et de programmation formelle (Coq). |Catégorie=Algorithmes classiques, Calculabilité et complexité, Langage de programmation
  1 Kio (151 mots) - 29 février 2012 à 11:59
• A propos d'outils logiciels (sélection thématique)
  |Catégorie=Algorithmes classiques, Calculabilité et complexité, Langage de programmation, Réseaux
  1 Kio (161 mots) - 17 octobre 2014 à 09:11
• Penser, modéliser et maîtriser le calcul informatique
  |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 par
  1 Kio (172 mots) - 2 mars 2012 à 11:39
• Eléments d’algorithmique en Java
  ...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
• Avis de recherche
  |Catégorie=Calculabilité et complexité, Culture Scientifique
  3 Kio (379 mots) - 30 août 2012 à 10:32
• L’impossible hasard
  ...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 Scientifique
  4 Kio (713 mots) - 12 mars 2014 à 11:04
• Pour se former : contenus et méthodes
  ...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
• Portrait:Andreï Kolmogorov : mi 20ème siècle : Notion d'information (théorie des probabilités)
  ...ailler dans une relativement grande liberté, y compris dans ses mouvements et ses contacts avec l'Occident. |Catégorie=Calculabilité et complexité, Culture Scientifique
  6 Kio (969 mots) - 5 mars 2012 à 11:18
• Attribut:Mot-cle normalise
  * [[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