Notes du cours de Calculabilité — 1ère partie : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
 
(8 révisions intermédiaires par 4 utilisateurs non affichées)
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)=H. Comon-Lundh, P.-A. Reynier, Ph. Schnoebelen, F.-R. Sinot
+
|Auteur(s)=Comon-Lundh, H.; Reynier,P.-A.; Schnoebelen,Ph.; Sinot, F.-R.
|URL=http://www.dptinfo.ens-cachan.fr/L3/poly-calc.pdf
+
|SiloRole=auteur; auteur; auteur; auteur;
|Catégorie=2.4. Calculabilité et complexité
+
|SiloNotes=LIEN BRISE
|Format=cours et exercices (pdf)
+
|SiloLangue=fre
|Date=2006-2007
+
|Résumé=Cours de calculabilité abordant les notions de machine de Turing et de fonctions récursives. Comprend exercices + corrections.
 +
|Catégorie=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=PDF
 +
|SiloTypePedagogique=exercice
 +
|SiloPublicCible=enseignant
 +
|Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation); DB
 +
|Statut d'évaluation=publiée
 
|Visibilité=Public
 
|Visibilité=Public
|Mots-clés=calcul, machine de Turing, automate, récursivité
 
|Statut d'évaluation=proposé
 
|Evaluateur=Julia
 
 
}}
 
}}

Version actuelle datée du 2 mars 2012 à 09: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 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); 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.