|
|<
<< Page précédente
1
2
3
4
5
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
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
|
|
Exercice 5 (Dénombrement) [00239]
/ Guy Vantomme, UNISCIEL
/ 13-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frBonus (à 4'14'') : poker, probabilité d'avoir un carré, un full,... ... (plus d'infos) Mot(s) clés libre(s) : jeu de 52 cartes, nombre de mains
|
Accéder à la ressource
|
|
Exercice 3 (Nombres complexes) [00011]
/ Guy Vantomme, UNISCIEL
/ 13-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frModule, argument d'un nombre complexe.Bonus (à 2'23'') : forme trigonométrique, multiplication, quotient, puissance. Mot(s) clés libre(s) : forme trigonométrique, multiplication, nombre compexe, puissance., quotient
|
Accéder à la ressource
|
|
Exercice 18 (Arithmétique dans Z) [00348]
/ Guy Vantomme, UNISCIEL
/ 24-11-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frNombres premiers de la forme 4k+3.Bonus (à 5'29'') : théorème de Fermat Euler, cryptographie RSA. Mot(s) clés libre(s) : cryptographie RSA, nombres premiers, théorème de Fermat Euler
|
Accéder à la ressource
|
|
Exercice 17 (Arithmétique dans Z) [00341]
/ Guy Vantomme, UNISCIEL
/ 14-12-2011
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Bonus (à 7'18'') : principe des tiroirs. Mot(s) clés libre(s) : nombres de Fermat
|
Accéder à la ressource
|
|
Exercice 15 (Arithmétique dans Z) [00349]
/ Guy Vantomme, UNISCIEL
/ 14-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants.Retrouvez la correction écrite sur http://exo7.emath.frNombres premiers de la forme a^n+1.Bonus (à 3'49'') : nombres de Fermat, exercice. Mot(s) clés libre(s) : nombres premiers
|
Accéder à la ressource
|
|
Exercice 14 (Logique, ensembles, raisonnements) [00151]
/ Guy Vantomme, UNISCIEL
/ 14-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frAbsurde, contraposée, infinité de nombres premiers.Bonus (à 4'20'') : nombres premiers jumeaux. Mot(s) clés libre(s) : absurde, contraposée, nombres premiers
|
Accéder à la ressource
|
|
Exercice 14 (Arithmétique dans Z) [00336]
/ Guy Vantomme, UNISCIEL
/ 14-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants.Retrouvez la correction écrite sur http://exo7.emath.fr Nombres premiers de la forme 2^p-1.Bonus (à 5'56'') : nombres de Mersenne. Mot(s) clés libre(s) : nombres premiers
|
Accéder à la ressource
|
|
Exercice 11 (Nombres complexes) [00056]
/ Guy Vantomme, UNISCIEL
/ 13-12-2011
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frRacine cubique, racine carrée de nombres complexes.Bonus (à 4'26'') : équations de degré 2,3,4, équations de degré 5 ou plus. Mot(s) clés libre(s) : racine carrée de nombres complexes, racine cubique
|
Accéder à la ressource
|
|
Exercice 10 (Nombres complexes) [00043]
/ Guy Vantomme, UNISCIEL
/ 13-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frRacines cubique de nombres complexes.Bonus (à 3'02'') : racine n-ième, polygone régulier. Mot(s) clés libre(s) : polygone régulier, racine n-ième, racines cubique de nombres complexes
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
2
3
4
5
Page suivante >>
>|
|
documents par page
|