Les ingrédients des algorithmes
De Sciencinfolycee
Révision datée du 5 avril 2011 à 17:07 par JuliaSoyez (discussion | contributions)
| Section Description | |
|---|---|
| URL | http://interstices.info/jcms/c 43821/les-ingredients-des-algorithmes |
| Titre | Les ingrédients des algorithmes |
| Auteur(s) | Dowek, Gilles ; Viéville,Thierry ; Archambault, Jean-Pierre ; Baccelli, Emmanuel ; Wack, Benjamin |
| Fonction(s) | |
| Notes | |
| Section Analyse | |
| Langue | |
| Résumé | |
| Sélection(s) thématique(s) | 1.3. Langage de programmation |
| Mots-clés normalisés | |
| Proposition autres mots-clés | algorithme, instruction, variable, structure conditionnelle, fonction, boucle, bug, méthode formelle, vérification, preuve, affectation |
| Type documentaire | |
| Typologie Générale | |
| Date de publication | 21/04/2010 |
| Structure du document | |
| Niveau d'agrégation | |
| Exigences techniques | article (html) |
| Section Pédagogie | |
| Type pédagogique | |
| Public cible | |
| Utilisation pédagogique | |
| Section Droits | |
| Droits du document | |
| Section processus de validation (workflow) | |
| Intervenants | Thierry |
| Statut du workflow | validé« validé » n'est pas la liste (proposée, en cours de validation, validée, en cours d'indexation, publiée, à modifier, dépréciée, en réserve) des valeurs autorisées pour la propriété « Statut evaluation » . |
Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.
