A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
7 résultat(s) recherche sur le mot-clé 'récursivité' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externesLOGO 4 / Claire DUPUIS (1990)
Titre : LOGO 4 : Récursivité: présentation et analyse de situations Type de document : texte imprimé Auteurs : Claire DUPUIS, Auteur ; Marie-Agnès EGRET, Auteur ; Dominique GUIN, Auteur ; IREM de Strasbourg, Editeur scientifique Editeur : Strasbourg : IREM de Strasbourg Année de publication : 1990 Importance : 75 p. Note générale : Ce travail a été mené dans le cadre du Groupement de Recherches G0071 "didactique et acquisition des connaissances scientifiques", du Centre National de la Recherche Scientifique. Langues : Français Mots-clés : informatique LOGO récursivité expérimentation programmation structurée didactique de l'informatique séquence d'enseignement Résumé : Cette brochure contient la description et l'analyse d'une expérimentation d'enseignement de la récursivité menée avec des élèves de troisième. Ces élèves ont suivi en 4ème un enseignement de base du langage LOGO orienté vers l'apprentissage de la programmation structurée dont la description et l'analyse figurent dans une autre publication de l'IREM de Strasbourg LOGO 3.
Les enseignants pourront trouver, s'ils le souhaitent, des thèmes d'activités dans la partie "présentation des différentes séances" avec les objectifs et des commentaires.Note de contenu : index, bibliogr. En ligne : http://numerisation.irem.univ-mrs.fr/ST/IST90038/IST90038.pdf Format de la ressource électronique : LOGO 4 : Récursivité: présentation et analyse de situations [texte imprimé] / Claire DUPUIS, Auteur ; Marie-Agnès EGRET, Auteur ; Dominique GUIN, Auteur ; IREM de Strasbourg, Editeur scientifique . - Strasbourg : IREM de Strasbourg, 1990 . - 75 p.
Ce travail a été mené dans le cadre du Groupement de Recherches G0071 "didactique et acquisition des connaissances scientifiques", du Centre National de la Recherche Scientifique.
Langues : Français
Mots-clés : informatique LOGO récursivité expérimentation programmation structurée didactique de l'informatique séquence d'enseignement Résumé : Cette brochure contient la description et l'analyse d'une expérimentation d'enseignement de la récursivité menée avec des élèves de troisième. Ces élèves ont suivi en 4ème un enseignement de base du langage LOGO orienté vers l'apprentissage de la programmation structurée dont la description et l'analyse figurent dans une autre publication de l'IREM de Strasbourg LOGO 3.
Les enseignants pourront trouver, s'ils le souhaitent, des thèmes d'activités dans la partie "présentation des différentes séances" avec les objectifs et des commentaires.Note de contenu : index, bibliogr. En ligne : http://numerisation.irem.univ-mrs.fr/ST/IST90038/IST90038.pdf Format de la ressource électronique : Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i3279 B/STR/1990 Livre IREM Salle Disponible
Titre : Logorithmes, progresser en Logo : en s'initiant au traitement de listes, à la récursivité, aux arborescences, aux moteurs d'interférence... Type de document : texte imprimé Auteurs : Bernard GENETAY, Auteur ; Danielle SALLES, Auteur Editeur : Caen : IREM de Basse-Normandie Importance : 54 p. Langues : Français Mots-clés : informatique Logo récursivité arborescence Note de contenu : index, bibliogr. En ligne : http://www.math.unicaen.fr/irem/ Logorithmes, progresser en Logo : en s'initiant au traitement de listes, à la récursivité, aux arborescences, aux moteurs d'interférence... [texte imprimé] / Bernard GENETAY, Auteur ; Danielle SALLES, Auteur . - Caen : IREM de Basse-Normandie, [s.d.] . - 54 p.
Langues : Français
Mots-clés : informatique Logo récursivité arborescence Note de contenu : index, bibliogr. En ligne : http://www.math.unicaen.fr/irem/ Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i2532 B/B-N/S.D. Livre IREM Salle Disponible
Titre : Automorphisms of the lattice of recursively enumerable sets Type de document : texte imprimé Auteurs : Peter CHOLAK, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1995 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 541 Importance : VII-151 p. ISBN/ISSN/EAN : 978-0-8218-2601-0 Langues : Anglais Catégories : 03D25 Mots-clés : récursivité automorphisme treilli isomorphisme Note de contenu : bibliogr. Automorphisms of the lattice of recursively enumerable sets [texte imprimé] / Peter CHOLAK, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1995 . - VII-151 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 541) .
ISBN : 978-0-8218-2601-0
Langues : Anglais
Catégories : 03D25 Mots-clés : récursivité automorphisme treilli isomorphisme Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7092 854/541 Livre Recherche Salle Disponible Cabal seminar 81-85 / Alexander S. KECHRIS (1988)
Titre : Cabal seminar 81-85 : Proceedings, Caltech-UCLA logic seminar 1981-85 Type de document : séminaire Auteurs : Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; J.R. Steel, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1988 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1333 Importance : 224 p. ISBN/ISSN/EAN : 978-3-540-50020-9 Langues : Anglais Catégories : 03DXX
03Exx
04-XXMots-clés : théorie des ensembles récursivité logique Note de contenu : références Cabal seminar 81-85 : Proceedings, Caltech-UCLA logic seminar 1981-85 [séminaire] / Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; J.R. Steel, Auteur . - Berlin : Springer-Verlag, 1988 . - 224 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1333) .
ISBN : 978-3-540-50020-9
Langues : Anglais
Catégories : 03DXX
03Exx
04-XXMots-clés : théorie des ensembles récursivité logique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 552 LN 1333 Livre Recherche Salle Disponible Computations in higher types / Johan MOLDESTAD (1977)
Titre : Computations in higher types Type de document : monographie Auteurs : Johan MOLDESTAD, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 574 ISBN/ISSN/EAN : 978-3-540-08132-6 Note générale : Index Langues : Anglais Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Computations in higher types [monographie] / Johan MOLDESTAD, Auteur . - Berlin : Springer-Verlag, 1977. - (Lecture Note in Mathematics, ISSN 0075-8434; 574) .
ISBN : 978-3-540-08132-6
Index
Langues : Anglais
Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5229 LN 574 Livre Recherche Salle Disponible
Permalink
Permalink
