51 ressources en auto-formation par thème : Mathématiques inductives déductives

FILTRES

51 résultats
page 1 sur 6
Résultats de 1 à 10
Présentation de la ressource en auto-formation Alan Turing : du calculable à l’indécidable cours / présentation, démonstration
19/02/2004
Alan Turing : du calculable à l’indécidable
Auteur(s) : Ganascia Jean-Gabriel
Description : Peut-on tout calculer ? Toute propriété mathématique est-elle décidable ? Ces questions ont passionné les mathématiciens bien avant les premiers ordinateurs.
Présentation de la ressource en auto-formation Application à certaines équations différentielles. (Epiphys : Intégration et mesures : Transformation de Laplace) exercice
12/10/2007
Application à certaines équations différentielles. (Epiphys : Intégration et mesures : Transformation de Laplace)
Auteur(s) : Aimé Pierre
Description : Cet exercice corrigé consiste à mettre en oeuvre les propriétés de la transformation de Laplace pour résoudre quelques équations différentielles.
Présentation de la ressource en auto-formation Applications cours / présentation, exercice
2014
Applications
Auteur(s) : Laidebeurre Catherine
Description : Cette séquence propose des rappels de cours et des exercices permettant de revoir les diverses propriétés des applications d'un ensemble dans un autre.
Présentation de la ressource en auto-formation Applications (Module : Logique et langage des ensembles) cours / présentation, exercice, questionnaire, autoévaluation
2000
Applications (Module : Logique et langage des ensembles)
Auteur(s) : Cousquer Eliane, Sacré Carlos
Description : Le but est de généraliser la notion de fonction numérique y=f(x)étudiée au lycée. Nous voulons généraliser cette notion de fonction à des relations entre ensembles. Nous ne parlerons plus alors de fonction, mais plutôt d'application (ou d'application ponctuelle). ...
Présentation de la ressource en auto-formation Base raisonnée d'exercices de mathématiques : Fonctions de R dans R exercice
2009
Base raisonnée d'exercices de mathématiques : Fonctions de R dans R
Auteur(s) : Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Morvan Philippe, Paugam Annette, Quarez Ronan, Viallard Michel, Quere Pierre-Vincent
Description : BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d’exercices. Tout le contenu d’un cours sur le sujet est présent, mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances Chaque exercice est en effet au cœur ...
Présentation de la ressource en auto-formation Base raisonnée d'exercices de mathématiques : Langage et raisonnement exercice
07/2012
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Auteur(s) : Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Quéré Pierre-Vincent, Viallard Michel
Description : BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d’exercices. Tout le contenu d’un cours sur le sujet est présent, mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances. Chaque exercice est ...
Présentation de la ressource en auto-formation Calcul Booléen évaluation
Calcul Booléen
Auteur(s) : Guerimand Fabrice
Description : table de vérité, logique.
Présentation de la ressource en auto-formation Cardinal d'un ensemble(Module : Logique et langage des ensembles) cours / présentation
2000
Cardinal d'un ensemble(Module : Logique et langage des ensembles)
Auteur(s) : Cousquer Eliane, Sacré Carlos
Description : Après une présentation historique de quelques problèmes liés à l'infini dans l'histoire, on introduit la notion de cardinal d'un ensemble.
Présentation de la ressource en auto-formation Connecteurs (Module : Logique et langage des ensembles) cours / présentation, exercice, questionnaire
2000
Connecteurs (Module : Logique et langage des ensembles)
Auteur(s) : Cousquer Eliane, Sacré Carlos
Description : Ce chapitre s'interesse aux connecteurs logiques. Les lois de Morgan et de distributivité seront vu. Une série d'exercice est disponible en fin de chapitre.
Présentation de la ressource en auto-formation Démonstrations (Module : Logique et langage des ensembles) cours / présentation, exercice, questionnaire
2000
Démonstrations (Module : Logique et langage des ensembles)
Auteur(s) : Cousquer Eliane, Sacré Carlos
Description : Dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets, à l'aide ...