Tri :
Date
Editeur
Auteur
Titre
|
|
Arithmétique dans Z
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2008
/ Unisciel
Bodin Arnaud, Boulakia Muriel, Seguin Nicolas
Voir le résumé
Voir le résumé
Cette série d'exercice est divisée en trois parties: Divisibilité, division euclidienne; pgcd, ppcm, algorithme d'Euclide; Nombres premiers, nombres premiers entre eux. Cette série comprend 19 exercices, des indications et des corrigés. Mot(s) clés libre(s) : Arithmétique, Divisibilité, Division euclidienne, Division, pgcd, ppcm, Algorithme d'Euclide, Nombres premiers, Exo7
|
Accéder à la ressource
|
|
Pourquoi mon ordinateur calcule faux?
/ INRIA
/ 16-06-2009
/ Canal-U - OAI Archive
BOLDO Sylvie
Voir le résumé
Voir le résumé
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010. Mot(s) clés libre(s) : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
|
Accéder à la ressource
|
|
Calcul en précision arbitraire
/ INRIA
/ 16-06-2009
/ Canal-U - OAI Archive
BOUGÉ Luc
Voir le résumé
Voir le résumé
Dans cet exposé Luc Bougé propose une séquence pédagogique autour du calcul avec des très grands nombres qui ne peuvent être codés avec les nombres entiers ou les nombres flottants usuels des machines. Le nombre est alors stocké dans un tableau et devient un objet numérique dont il faut soigneusement définir les opérations, et les méthodes permettant de le manipuler. C'est l'occasion de proposer un travail exemplaire de bonne programmation avec les concepts les mieux adaptés.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010. Mot(s) clés libre(s) : API, application programming interface, arithmétique flottante, calcul numérique, codage, interface, itération, objet, précision arbitraire, programmation, vecteur
|
Accéder à la ressource
|
|
Arithmétique
/ Pascale Boudière, Frédéric Raymond, Cédric Tondeur, Jacques Queyrut, Geneviève Bretenoux, Université Bordeaux-I, Unisciel
/ 2009
/ Unisciel
Felloneau Claude, Sorbe Xavier, Bordas Mirentxu, Dauriac Chantal, Delahaye Xavier, Dubos Jean-Pierre, Gagné Myriam, Lachapèle Antoine, Perrin Ghyslaine
Voir le résumé
Voir le résumé
Cette ressource propose un résumé des connaissances en arithmétique telles qu'elles sont enseignées en Terminale S. Par ailleurs, des exercices d'application immédiate sont proposés sur l'ensemble des notions abordées. Mot(s) clés libre(s) : RAMSES, arithmétique
|
Accéder à la ressource
|
|
Arithmétique - Fiches de synthèse
/ Pascale Boudière, Frédéric Raymond, Cédric Tondeur, Jacques Queyrut, Geneviève Bretenoux, Université Bordeaux-I, Unisciel
/ 2009
/ Unisciel
Felloneau Claude, Sorbe Xavier, Bordas Mirentxu, Dauriac Chantal, Delahaye Xavier, Dubos Jean-Pierre, Gagné Myriam, Lachapèle Antoine, Perrin Ghyslaine
Voir le résumé
Voir le résumé
Cette ressource permet de faire une synthèse des connaissances nécessaires en arithmétique, elle permet également de donner une liste non exhaustive de savoir-faire. Des exercices d'application immédiate sont proposés sur l'ensemble des notions abordées. Mot(s) clés libre(s) : RAMSES, arithmétique
|
Accéder à la ressource
|
|
Exercices d'arithmétique
/ Pascale Boudière, Frédéric Raymond, Cédric Tondeur, Jacques Queyrut, Geneviève Bretenoux, Université Bordeaux-I, Unisciel
/ 2009
/ Unisciel
Felloneau Claude, Sorbe Xavier, Bordas Mirentxu, Dauriac Chantal, Delahaye Xavier, Dubos Jean-Pierre, Gagné Myriam, Lachapèle Antoine, Perrin Ghyslaine
Voir le résumé
Voir le résumé
Cette ressource propose six exercices utilisant les résultats d'arithmétique de Terminale S. Pour chaque exercice, des aides de résolution sont proposées et une solution est donnée. Mot(s) clés libre(s) : RAMSES, arithmétique
|
Accéder à la ressource
|
|
Questionnaires d'arithmétique
/ Pascale Boudière, Frédéric Raymond, Cédric Tondeur, Jacques Queyrut, Geneviève Bretenoux, Université Bordeaux-I, Unisciel
/ 2009
/ Unisciel
Felloneau Claude, Sorbe Xavier, Bordas Mirentxu, Dauriac Chantal, Delahaye Xavier, Dubos Jean-Pierre, Gagné Myriam, Lachapèle Antoine, Perrin Ghyslaine
Voir le résumé
Voir le résumé
Cette ressource propose huit questionnaires. Le premier a pour but de tester les pré-requis avant d'aborder le cours de spécialité. Les questionnaires 2 à 7 permettent de vérifier les connaissances et les savoir-faire. Le dernier nécessite d'organiser une recherche et de suivre un raisonnement. Mot(s) clés libre(s) : RAMSES, arithmétique
|
Accéder à la ressource
|
|
Questionnaires sur les suites numériques réelles ou complexes
/ Pascale Boudière, Frédéric Raymond, Cédric Tondeur, Jacques Queyrut, Geneviève Bretenoux, Université Bordeaux-I, Unisciel
/ 2009
/ Unisciel
Felloneau Claude, Sorbe Xavier, Bordas Mirentxu, Dauriac Chantal, Delahaye Xavier, Dubos Jean-Pierre, Gagné Myriam, Lachapèle Antoine, Perrin Ghyslaine
Voir le résumé
Voir le résumé
Cette ressource propose des questionnaires à choix multiples de niveaux divers et classés par thèmes. Cette ressource permet de s'exercer sur différents aspects des suites avec des aides et des réponses guidant vers la solution. Mot(s) clés libre(s) : RAMSES, suites numériques, suites numériques réelles, suites numériques complexes, borne et convergence, monotonie et convergence, suite arithmétique, suite géométrique
|
Accéder à la ressource
|
|
Suites numériques - fiches de synthèse
/ Pascale Boudière, Frédéric Raymond, Cédric Tondeur, Jacques Queyrut, Geneviève Bretenoux, Université Bordeaux-I, Unisciel
/ 2009
/ Unisciel
Felloneau Claude, Sorbe Xavier, Bordas Mirentxu, Dauriac Chantal, Delahaye Xavier, Dubos Jean-Pierre, Gagné Myriam, Lachapèle Antoine, Perrin Ghyslaine
Voir le résumé
Voir le résumé
Cette ressource propose un résumé des connaissances sur les suites numériques telles qu'elles sont enseignées en terminale S, ainsi que des petits exercices d'application, des questionnaires et des exercices de synthèse. Mot(s) clés libre(s) : RAMSES, suites numériques, raisonnement par récurrence, monotonie d'une suite, suite bornée, suite périodique, suite convergente, suite divergente, suite arithmétique, suite géométrique
|
Accéder à la ressource
|
|
Les fondements des mathématiques
/ UTLS - la suite, Mission 2000 en France
/ 17-06-2000
/ Canal-U - OAI Archive
GIRARD Jean-Yves
Voir le résumé
Voir le résumé
"La "" crise des fondements "" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "" Programme de Hilbert "" (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude de Gödel (1931), qui réfute le programme de Hilbert, a fait le désespoir de tous ceux qui cherchaient une réponse définitive à leurs angoisses fondationnelles. Il a aussi gêné ceux qui cherchaient plus simplement à comprendre la nature des objets mathématiques. Ce n'est qu'avec le développement de l'informatique qu'ont pu se dégager de nouveaux axes de lecture, en rupture de plus en plus nette avec le réductionnisme Hilbertien. " Mot(s) clés libre(s) : analyse, arithmétique de Peano, diagonale de Cantor, expansivité, formalisme mathématique, Hilbert, intuitionnisme, langage informatique, paradoxe, Popperisme, récessivité, théorème de Gödel, théorie des ensembles
|
Accéder à la ressource
|
|