<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>12817</entry>
</identifier>
<title><string language="fre"><![CDATA[Les nombres et l'ordinateur]]></string></title>
<language>FRE</language>
<description>
<string language="fre"><![CDATA[Nous confions à nos ordinateurs de nombreux calculs (météo, simulations 
aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons 
naturellement que l'ordinateur fournira une réponse juste.
Malheureusement, la machine a ses limites que l'esprit humain n'a pas. 
Elle utilise une arithmétique dite flottante qui a ses contraintes. 
D'une part chaque calcul est effectué avec un certain nombre de 
chiffres  et donc chaque calcul peut créer une erreur, certes faible, 
mais qui peut s'accumuler avec les précédentes pour fournir un résultat 
complètement faux. D'autre part, les valeurs que l'ordinateur appréhende
ont des limites vers l'infiniment petit et l'infiniment grand. Après 
quelques éléments historiques sur les nombres et les calculs, cet exposé
montrera que l'ordinateur n'est pas infaillible ou plutôt que son 
utilisation est parfois abusive.]]></string></description>
<keyword><string language="fre"><![CDATA[calcul informatique]]></string></keyword><keyword><string language="fre"><![CDATA[preuve de programme]]></string></keyword><keyword><string language="fre"><![CDATA[analyse numérique]]></string></keyword><keyword><string language="fre"><![CDATA[arithmétique virgule flottante]]></string></keyword><keyword><string language="fre"><![CDATA[erreur de calcul]]></string></keyword><keyword><string language="fre"><![CDATA[méthodes formelles]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:29:27
FN:Sylvie BOLDO
N:BOLDO;Sylvie;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/boldo_sylvie
ROLE:author
NOTE:Sylvie Boldo est Chargée de recherche INRIA dans l'équipe-projet PROVAL. Elle est chercheuse en preuve de programmes et arithmétique des ordinateurs. 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2013-06-05</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:29:27
FN:INRIA (Institut national de recherche en informatique et automatique)
N:INRIA (Institut national de recherche en informatique et automatique);;;;
URL;TYPE=work:http://www.inria.fr/
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2013-06-05</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:29:27
FN:Académie de Versailles
N:Académie de Versailles;;;;
URL;TYPE=work:http://www.ac-versailles.fr
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2013-06-05</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/inria/les_nombres_et_l_ordinateur.12817]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/les.nombres.et.l.ordinateur_12817/les_nombres_et_l_ordinateur_12817.sd.mp4]]></location>
<size>244453051</size>
<duration><duration>PT0H46M22S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>master</value>
</context>
<context>
<source>LOMv1.0</source>
<value>formation continue</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[Droits réservés à l'éditeur et aux auteurs. 
]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/inria/science_info_lycee_profs_conferences_de_formation_des_professeurs_du_secondaire_en_science_informatique</entry>
</identifier>
<description>
<string language="fre"><![CDATA[Science Info Lycée Profs : conférences de formation des professeurs du secondaire en science informatique.]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>005.14</id>
<entry>
<string language="fre"><![CDATA[Vérification, essai, mesure, débogage]]></string>
</entry>
</taxon>
</taxonPath>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>518.1</id>
<entry>
<string language="fre"><![CDATA[Algorithmes]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>