La ressource pédagogique « Histoire(s) de l’ergonomie » est à en ligne. Nous espérons que vous aurez plaisir à retrouver ce programme sur les sites de http://www.uoh.fr et de http://www.canal-u.tv en visualisant les sept chapitres : 

Partie 1 : L’émergence ou la constitution de l’ergonomie comme nouvelle science et technologie 

http://www.uoh.fr/front/notice?id=65357ff6-9fc7-4aa0-8a9e-5caa9346f87e 

Partie 2 : La conceptualisation ou l’essor des concepts et méthodes en ergonomie 

http://www.uoh.fr/front/notice?id=32575d2e-ea3c-4346-bfcd-4d121c2c76fc

Partie 3 : La pratique ou le développement d’un métier 

http://www.uoh.fr/front/notice?id=8071acff-6006-42b3-b395-4d41442fab91 

Partie 4. La démultiplication des domaines de l’ergonomie 

http://www.uoh.fr/front/notice?id=44c6e862-d4e1-4d69-8d62-bf7e2bd3cfe2 

Partie 5. L’institutionnalisation ou la création des organisations de support et de développement de l’ergonomie 

http://www.uoh.fr/front/notice?id=20bf4982-037b-4121-926d-57e6ed9829f5 

Partie 6 : L’essaimage ou la diffusion et l’internationalisation 

http://www.uoh.fr/front/notice?id=e731731c-310a-4014-bde5-64e93f89d64e 

Partie 7 : Prospective ou quelques perspectives sur le futur de l’ergonomie http://www.uoh.fr/front/notice?id=5f88e228-7229-4c14-82c8-a1c76ae684cf 

Le Labo des Savoirs - 12/12/2012

L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des téléscopes.

A écouter  Le Labo des Savoirs - 12/12/2012 sur la science informatique.

http://son.prun.net/S13/labo-des-savoirs/labo-des-savoirs-20121212-1.mp3

L'innovation et le numérique de Michel Serres

Michel Serres, de l'Académie française, a prononcé le 29 janvier 2013 la conférence inaugurale du Programme Paris Nouveaux Mondes, l'Initiative d'excellence du Pôle de recherche et d'enseignement supérieur "hautes études, Sorbonne, arts et métiers"(Pres héSam).
http://www.canal-u.tv/video/universite_paris_1_pantheon_sorbonne/michel_serres_l_innovation_et_le_numerique.11491


Information, support, écriture, géométrie... et Petite Poucette !

Petite Poucette
Auteur : Michel Serres
Collection : Manifeste
84 pages
ISBN/EAN : 9782746506053 / 9782746506053
http://www.editions-lepommier.fr/ouvrage.asp?IDLivre=534

Free Courses

Computer Science (Photo credit: derrickting)

De nombreux cours en ligne en Informatique (sites, podcasts vidéo, etc.)

Get free Computer Science courses from the world’s leading universities. 
 Computer Science: Free Courses | Open Culture

Linked Open Data - What is it?

You don't know what is Linked Open Data ? Watch this short animation !


Linked Open Data - What is it? from Europeana on Vimeo.

Preuves de programmes en COQ

Un podcast vidéo (fuscia.info) sur un langage permettant la preuve de fonctions : COQ.


Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits.

Dans ce cours, sont présentés les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur les relations intimes entre types, spécifications, et calculs.


L'auteur Yves Bertot est chercheur à l'INRIA et travaille avec le système depuis une vingtaine d'années.  Il a utilisé ce système pour des études d'algorithmes en technologie des langages de programmation, géométrie, arithmétique des ordinateurs, ...

Ce cours vidéo s'adresse à un public informaticien avec des prérequis qui sont partagés par la majeure partie des ingénieurs du milieu industriel.

A voir sur :
Preuves de programmes en coq - Yves Bertot INRIA

C'est en licence CC-By.

Interstices - À propos des compilateurs

Instructif à propos des compilateurs et de la preuve de programmes :
Interstices - À propos des compilateurs

A voir aussi : http://interstices.info/jcms/n_52365/comment-faire-confiance-a-un-compilateur