Calculabilité: machines, langages et fonctions
De Sciencinfolycee
Révision datée du 21 décembre 2010 à 11:58 par JuliaSoyez (discussion | contributions) (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... »)
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 | par 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.