Divers


Articles publiés dans cette rubrique

mercredi 13 décembre 2017
par  JL

Pourquoi il faut prouver ses algorithmes et faire attention au codage des nombres...

https://www.francetvinfo.fr/sciences/espace/la-perte-d-un-satellite-russe-a-ete-causee-par-une-erreur-de-calcul_2511267.html#xtor=CS1-746

jeudi 1er septembre 2016
par  JL

Math Park du 11/4 à 15h de J. Chaussard : COMMENT UN ORDINATEUR PEUT COMPRENDRE LE CONTENU D’UNE IMAGE ?

L’être humain possède un cerveau très efficace pour le traitement de l’image, que ce soit pour y reconnaître des mots ou différentes formes : savoir si une image contient du texte, un visage, ou y détecter un objet en particulier sont des tâches que l’on fait constamment et sans difficulté. Faire (...)

jeudi 1er septembre 2016
par  JL

Vidéo du Math Park de J.-C. Filliâtre, « Vérification déductives des programmes »

Résumé :
L’histoire du logiciel, pourtant relativement courte, est déjà émaillée d’un grand nombre de faillites célèbres. Notre quotidien lui-même est régulièrement affecté par des erreurs logicielles et le mot « bug » est passé sans mal dans le langage courant. Cet exposé donnera une introduction à la (...)

samedi 23 janvier 2016
par  JL

Cahier de texte

 
samedi 5 septembre 2015
par  JL

Installer un python fonctionnel comme au lycée

Vous pouvez installer pyzo + anaconda comme c’est très bien expliqué ici. C’est la distribution à l’oral de Centrale, et c’est le plus simple sous Windows et Mac OS et c’est disponible aussi sous Linux.
Sinon, si vous voulez un python minimaliste avec l’éditeur idle (je vous conseille quand même, en (...)