Notes du cours de Calculabilité — 1ère partie : Différence entre versions
De Sciencinfolycee
| Ligne 1 : | Ligne 1 : | ||
{{Ressource | {{Ressource | ||
| + | |URL=http://www.dptinfo.ens-cachan.fr/L3/poly-calc.pdf | ||
|Titre=Notes du cours de Calculabilité — 1ère partie | |Titre=Notes du cours de Calculabilité — 1ère partie | ||
| − | |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; |
| + | |SiloLangue=fre | ||
| + | |Résumé=Cours de calculabilité abordant les notions de machine de Turing et de fonctions récursives. Comprend exercice + corrections. | ||
|Catégorie=2.4. Calculabilité et complexité | |Catégorie=2.4. Calculabilité et complexité | ||
| + | |Mots-clés contrôlés=Calculabilité de l'interpréteur; Machine de Turing; Automate programmable; Récursivité; | ||
| + | |SiloTypeDocumentaire=texte | ||
| + | |SiloTypologieGenerale=programme scolaire | ||
| + | |Date=2007/01/01 | ||
| + | |SiloStructure=atomique | ||
| + | |SiloNiveauAgregation=1.Le plus petit niveau (grain) | ||
|Format=cours et exercices (pdf) | |Format=cours et exercices (pdf) | ||
| − | | | + | |SiloTypePedagogique=exercice |
| + | |SiloPublicCible=enseignant | ||
| + | |Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation) | ||
|Visibilité=Public | |Visibilité=Public | ||
| − | |||
| − | |||
| − | |||
}} | }} | ||
Version du 6 juillet 2011 à 13:30
| 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 | |
| Section Analyse | |
| Langue | fre |
| Résumé | Cours de calculabilité abordant les notions de machine de Turing et de fonctions récursives. Comprend exercice + corrections. |
| Sélection(s) thématique(s) | 2.4. Calculabilité et complexité |
| Mots-clés normalisés | Calculabilité de l'interpréteur« Calculabilité de l'interpréteur » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Machine de Turing« Machine de Turing » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Automate programmable« Automate programmable » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Récursivité« Récursivité » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . |
| 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 | cours et exercices (pdf) |
| 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) |
| Statut du workflow | |
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.
