Calculabilité: machines, langages et fonctions : Différence entre versions
De Sciencinfolycee
(Page créée avec « {{Ressource |Titre=Calculabilité: machines, langages et fonctions |Auteur(s)=Gérard Berry |URL=http://www.college-de-france.fr/default/EN/all/cha_inf2009/Cours_du_25_novem... ») |
|||
Ligne 1 : | Ligne 1 : | ||
{{Ressource | {{Ressource | ||
|Titre=Calculabilité: machines, langages et fonctions | |Titre=Calculabilité: machines, langages et fonctions | ||
− | |Auteur(s)=Gérard Berry | + | |Auteur(s)=Gérard Berry |
|URL=http://www.college-de-france.fr/default/EN/all/cha_inf2009/Cours_du_25_novembre_2009_1ere.jsp | |URL=http://www.college-de-france.fr/default/EN/all/cha_inf2009/Cours_du_25_novembre_2009_1ere.jsp | ||
|Catégorie=2.4. Calculabilité et complexité | |Catégorie=2.4. Calculabilité et complexité | ||
|Format=vidéo | |Format=vidéo | ||
− | |Date=25/11/2009 | + | |Date=25/11/2009 |
|Visibilité=Public | |Visibilité=Public | ||
|Mots-clés=calcul, calcul séquentiel, calcul en parallèle, calcul diffus, lambda calcul | |Mots-clés=calcul, calcul séquentiel, calcul en parallèle, calcul diffus, lambda calcul | ||
|Statut d'évaluation=proposé | |Statut d'évaluation=proposé | ||
− | |Evaluateur= | + | |Evaluateur=Julia |
|Commentaire=Cours en 2 parties, | |Commentaire=Cours en 2 parties, | ||
2ème partie, Cf. & http://www.college-de-france.fr/default/EN/all/cha_inf2009/Calculabilite_machines_langage.jsp | 2ème partie, Cf. & http://www.college-de-france.fr/default/EN/all/cha_inf2009/Calculabilite_machines_langage.jsp | ||
}} | }} |
Version du 31 janvier 2011 à 17:36
Section Description | |
---|---|
URL | http://www.college-de-france.fr/default/EN/all/cha inf2009/Cours du 25 novembre 2009 1ere.jsp |
Titre | Calculabilité: machines, langages et fonctions |
Auteur(s) | Gérard Berry |
Fonction(s) | |
Notes | |
Section Analyse | |
Langue | |
Résumé | |
Sélection(s) thématique(s) | 2.4. Calculabilité et complexité |
Mots-clés normalisés | |
Proposition autres mots-clés | calcul, calcul séquentiel, calcul en parallèle, calcul diffus, lambda calcul |
Type documentaire | |
Typologie Générale | |
Date de publication | 25/11/2009 |
Structure du document | |
Niveau d'agrégation | |
Exigences techniques | vidéo |
Section Pédagogie | |
Type pédagogique | |
Public cible | |
Utilisation pédagogique | |
Section Droits | |
Droits du document | |
Section processus de validation (workflow) | |
Intervenants | Julia |
Statut du workflow | proposé« proposé » 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 » . |
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.