Calculabilité: machines, langages et fonctions
De Sciencinfolycee
Révision datée du 29 juin 2011 à 15:28 par Michel ganguillin (discussion | contributions)
Section Description | |
---|---|
URL | http://isen.videotheque.free.fr/?page id=2281 |
Titre | Calculabilité: machines, langages et fonctions |
Auteur(s) | Berry, Gérard |
Fonction(s) | |
Notes | |
Section Analyse | |
Langue | fre |
Résumé | Conférence filmée au Collège de France. |
Sélection(s) thématique(s) | |
Mots-clés normalisés | |
Proposition autres mots-clés | calcul, calcul séquentiel, calcul en parallèle, calcul diffus, lambda calcul |
Type documentaire | image en mouvement |
Typologie Générale | conférence |
Date de publication | 2009/11/25 |
Structure du document | atomique |
Niveau d'agrégation | 1.Le plus petit niveau (grain) |
Exigences techniques | vidéo |
Durée (en min) | 63:36 |
Section Pédagogie | |
Type pédagogique | cours / présentation |
Public cible | enseignant |
Utilisation pédagogique | |
Section Droits | |
Droits du document | |
Section processus de validation (workflow) | |
Intervenants | Julia (demandeur + validateur) ; Michel (indexation) |
Statut du workflow | validée |
Commentaire | Cours en 2 parties,
2ème partie, Cf. & http://www.college-de-france.fr/default/EN/all/cha_inf2009/Calculabilite_machines_langage.jsp |
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.