Notes du cours de Calculabilité — 1ère partie : Différence entre versions
De Sciencinfolycee
(2 révisions intermédiaires par 2 utilisateurs non affichées) | |||
Ligne 4 : | Ligne 4 : | ||
|Auteur(s)=Comon-Lundh, H.; Reynier,P.-A.; Schnoebelen,Ph.; Sinot, F.-R. | |Auteur(s)=Comon-Lundh, H.; Reynier,P.-A.; Schnoebelen,Ph.; Sinot, F.-R. | ||
|SiloRole=auteur; auteur; auteur; auteur; | |SiloRole=auteur; auteur; auteur; auteur; | ||
+ | |SiloNotes=LIEN BRISE | ||
|SiloLangue=fre | |SiloLangue=fre | ||
− | |Résumé=Cours de calculabilité abordant les notions de machine de Turing et de fonctions récursives. Comprend | + | |Résumé=Cours de calculabilité abordant les notions de machine de Turing et de fonctions récursives. Comprend exercices + corrections. |
− | |Catégorie= | + | |Catégorie=Calculabilité et complexité |
|Mots-clés contrôlés=calculabilité de l'interpréteur; machine de Turing; automate programmable; récursivité; | |Mots-clés contrôlés=calculabilité de l'interpréteur; machine de Turing; automate programmable; récursivité; | ||
|SiloTypeDocumentaire=texte | |SiloTypeDocumentaire=texte | ||
Ligne 13 : | Ligne 14 : | ||
|SiloStructure=atomique | |SiloStructure=atomique | ||
|SiloNiveauAgregation=1.Le plus petit niveau (grain) | |SiloNiveauAgregation=1.Le plus petit niveau (grain) | ||
− | |Format= | + | |Format=PDF |
|SiloTypePedagogique=exercice | |SiloTypePedagogique=exercice | ||
|SiloPublicCible=enseignant | |SiloPublicCible=enseignant |
Version actuelle datée du 2 mars 2012 à 10:53
Section Description | |
---|---|
URL | http://www.dptinfo.ens-cachan.fr/L3/poly-calc.pdf |
Titre | Notes du cours de Calculabilité — 1ère partie |
Auteur(s) | Comon-Lundh, H. ; Reynier,P.-A. ; Schnoebelen,Ph. ; Sinot, F.-R. |
Fonction(s) | auteur ; auteur ; auteur ; auteur |
Notes | LIEN BRISE |
Section Analyse | |
Langue | fre |
Résumé | Cours de calculabilité abordant les notions de machine de Turing et de fonctions récursives. Comprend exercices + corrections. |
Sélection(s) thématique(s) | Calculabilité et complexité |
Mots-clés normalisés | calculabilité de l'interpréteur ; machine de Turing ; automate programmable ; récursivité |
Proposition autres mots-clés | |
Type documentaire | texte |
Typologie Générale | programme scolaire |
Date de publication | 2007/01/01 |
Structure du document | atomique |
Niveau d'agrégation | 1.Le plus petit niveau (grain) |
Exigences techniques | |
Section Pédagogie | |
Type pédagogique | exercice |
Public cible | enseignant |
Utilisation pédagogique | |
Section Droits | |
Droits du document | |
Section processus de validation (workflow) | |
Intervenants | Julia (demandeur+validateur); Diane Rives (indexation); DB |
Statut du workflow | publiée |
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.