• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1009
  • 504
  • 139
  • 4
  • 2
  • 1
  • 1
  • Tagged with
  • 1643
  • 459
  • 446
  • 336
  • 328
  • 290
  • 262
  • 250
  • 234
  • 217
  • 203
  • 188
  • 178
  • 165
  • 162
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Préparation à la démonstration et au formalisme suppléée au collégial par le cours Mathématiques pour les sciences

Fulvi, Julia 04 1900 (has links) (PDF)
Dans le cadre de ce projet de recherche, nous nous intéressons à ces quatrièmes cours obligatoires de mathématiques que plusieurs cégeps ont inclus dans leur programme de formation pré-universitaire Sciences de la nature 200. BO. Plus précisément, nous allons nous intéresser à la préparation en matière de démonstration et de formalisme offerte par ces cours pour affronter les exigences des mathématiques post-secondaires. Ces cours ont en effet pour objectif de préparer les étudiants aux mathématiques avancées des cours Calcul intégral NYB et Algèbre linéaire et géométrie vectorielle NYC, mais aussi des cours de mathématiques à l'université, notamment au regard du formalisme accru et de la démonstration. Pour évaluer cette préparation, nous allons, dans un premier temps, étudier ces attentes telles qu'elles se manifestent à travers le cours Calcul intégral NYB, deuxième cours de mathématiques obligatoire de la formation standard en sciences de la nature. Une fois ces attentes identifiées, les tâches proposées dans un de ces quatrièmes cours de mathématiques, soit le cours Mathématiques pour les sciences dispensé par le cégep Ahuntsic à la session hiver 2008, seront analysées. L'analyse des tâches proposées par Mathématiques pour les sciences nous permet de mettre en lumière les éléments de difficultés auxquels il confronte les étudiants. En conclusion, les analyses des deux cours sont comparées pour évaluer si les éléments travaillés par Mathématiques pour les sciences correspondent à ceux sollicités en Calcul intégral NYB. Cette comparaison permet d'évaluer la préparation qui est effectivement offerte par le cours du cégep Ahuntsic pour affronter le cours collégial NYB. Notre étude va cependant plus loin puisque nous évaluons également la préparation que ces deux cours de niveau collégial offrent pour affronter les mathématiques universitaires. Plus précisément, nous tentons de voir, compte tenu de ce que la recherche nous dit des mathématiques avancées et de l'apprentissage de la preuve, si Calcul intégral NYB, appuyé par Mathématiques pour les sciences, constituent à eux deux une bonne transition vers les mathématiques universitaires, notamment les cours d'introduction à l'analyse réelle. Des pistes de réflexion et des améliorations possibles seront également présentées. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : didactique des mathématiques, transition, démonstration, formalisme, calcul intégral
42

Structure des espaces de recherche, complexité des algorithmes d'optimisation combinatoire stochastique et applications à la bioinformatque

Gras, Robin. January 2004 (has links)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 2004. / Bibliogr. p. 144-162.
43

The graph rewriting calculus properties and expressive capabilities /

Bertolissi, Clara Kirchner, Claude January 2005 (has links) (PDF)
Thèse de doctorat : Informatique : Vandoeuvre-les-Nancy, INPL : 2005. / Titre provenant de l'écran-titre. Bibliogr.
44

Contribution à l'étude des équations différentielles et aux différences dans le champ complexe

Barkatou, My Abdelfattah. Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 189-193.
45

Calcul formel et parallélisme l'architecture du système PAC et son arithmétique rationnelle /

Roch, Jean-Louis Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 185-192.
46

Outils symboliques pour l'écriture de modèles et l'étude de sensibilité des systèmes multicorps

Sandel, Arnaud Fayet, Michel. Boisse, Philippe. Maiffredy, Lionel. January 2008 (has links)
Thèse doctorat : Mécanique : Villeurbanne, INSA : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 190-196.
47

Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base

Hinderer, Sébastien Blackburn, Patrick January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2008. / Titre provenant de l'écran-titre.
48

Structures et modèles de calculs de réécriture

Faure, Germain Kirchner, Claude January 2007 (has links) (PDF)
Thèse doctorat : Informatique : Nancy 1 : 2007. / Titre provenant de l'écran-titre.
49

Une approche dynamique pour l'optimisation des communications concurrentes sur réseaux hautes performance

Brunet, Elisabeth Namyst, Raymond January 2008 (has links) (PDF)
Thèse de doctorat : Mathématiques et Informatique. Informatique : Bordeaux 1 : 2008. / Titre provenant de l'écran-titre.
50

Manipulation du nombre au quotidien par des patients cérébrolésés de l'évaluation à la remédiation /

Massé, Marie-Élodie Calvarin, Suzanne. January 2009 (has links)
Reproduction de : Mémoire d'orthophonie : Médecine : Nantes : 2009. / Bibliogr.

Page generated in 0.0342 seconds