Ressource pédagogique : L’avènement de la synthèse de programme
La notion de programme est au centre de l'informatique : c'est l'intermédiaire entre l'utilisateur et la machine, le moyen par lequel un humain peut communiquer à la machine des opérations à effectuer pour réaliser une tâche de manière automatique. Les langages de programmation facilitent cette comm...
cours / présentation, démonstration - Date de création : 02-03-2022
Présentation de: L’avènement de la synthèse de programme
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Description de la ressource pédagogique
Description (résumé)
La notion de programme est au centre de l'informatique : c'est l'intermédiaire entre l'utilisateur et la machine, le moyen par lequel un humain peut communiquer à la machine des opérations à effectuer pour réaliser une tâche de manière automatique. Les langages de programmation facilitent cette communication : il en existe une très grande variété chacun adapté aux tâches envisagées, par exemple pour créer un site internet, mettre différents ordinateurs en réseau, ou contrôler un drone. Il n'en reste pas moins qu'écrire un programme est une tâche difficile : non seulement elle est coûteuse en temps et en énergie, elle requiert à la fois une expertise en programmation et une compréhension fine de la tâche à réaliser.
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (005.4)
Thème(s)
Informations pédagogiques
Informations techniques sur cette ressource pédagogique
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Valérie François
Editeur(s)
-
Inria / Interstices
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Nathanaël Fijalkow
CNRS
ÉDITION
Inria / Interstices
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7601 -
Identifiant
unit-ori-wf-1-7601 -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
22-05-2015
