Informatique & pédagogie

Reasoned Programming

emmanuel.desmontils@gmail.com (E. Desmontils) — Thu, 13 Feb 2014 06:34:00 +0000

"Reasoned Programming"

http://www.doc.ic.ac.uk/~susan/firstyearbook.pdf

(K. Broda + S. Eisenbach + H. Khoshnevisan + S. Vickers)

Prentice Hall International Series in Computer Science (1994).

ISBN 0-13-098831-6

Autre url: pdf

Reasoned Programming montre comment appliquer un raisonnement mathématique pour le développement de programmes, en utilisant les spécifications logiques.

Dépôt de ressources pédagogiques en informatique

emmanuel.desmontils@gmail.com (E. Desmontils) — Thu, 24 Oct 2013 04:40:00 +0000

Pour tout développeur, il existe un impressionnant dépôt de documents autour de la programmation : https://github.com/vhf/free-programming-books/blob/master/free-programming-books.md#professional-development

Bonne exploration !

Mathématiques pour l'informatique

emmanuel.desmontils@gmail.com (E. Desmontils) — Thu, 24 Oct 2013 04:32:00 +0000

Voici un document PDF proposant un tour d'horizon des outils mathématiques pour l'informatique : https://www.cs.princeton.edu/courses/archive/spring10/cos433/mathcs.pdf

A lire par tout êtudiant en informatique évidemment !

Livre sur les bases de données

emmanuel.desmontils@gmail.com (E. Desmontils) — Thu, 12 Sep 2013 11:27:00 +0000

Le livre "Bases de données" de G. Gardarin chez Eyrolles est disponible gratuitement ! N'hésitez pas à le consulter !

Site de G. Gardarin : http://georges.gardarin.free.fr/
Le livre en PDF : http://georges.gardarin.free.fr/Livre_BD_Contenu/XX-TotalBD.pdf

Le site pour télécharger en version ebook :
http://izibook.eyrolles.com/produit/2385/9782212175035/Bases%20de%20donnees

Formation qualifiante en Cobol

emmanuel.desmontils@gmail.com (E. Desmontils) — Thu, 18 Jul 2013 13:02:00 +0000

Le langage Cobol, bien qu'ancien, reste extrêmement présent, surtout dans le domaine des banques et assurances. Malheureusement, la génération maîtrisant le Cobol est partie en retraite. Ce langage n'est plus tellement enseigné dans les écoles et universités (sauf à la MIAGE de Nantes). Aussi, l'université de Nantes à décidé de monter une formation qualifiante sur 5 journées. Pour tout renseignement, consulter le site Web (http://www.univ-nantes.fr/cobol) ou la plaquette PDF.

Ouvrage sur le Linked Data

emmanuel.desmontils@gmail.com (E. Desmontils) — Fri, 21 Jun 2013 12:28:00 +0000

Pour tout savoir sur le Linked Data, vous pouvez consulter l'ouvrage :

http://www.uni-koblenz-landau.de/campus-koblenz/fb4/west/teaching/ws1213/seminar-web-science/linked-data.pdf

emmanuel.desmontils@gmail.com (E. Desmontils) — Sat, 18 May 2013 06:30:00 +0000

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

emmanuel.desmontils@gmail.com (E. Desmontils) — Mon, 29 Apr 2013 08:46:00 +0000

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

Algorithmes, machines et langages - Idées - France Culture

emmanuel.desmontils@gmail.com (E. Desmontils) — Mon, 15 Apr 2013 05:53:00 +0000

Algorithmes, machines et langages - Idées - France Culture:

Interview de Gérard Berry à l'émission "L'Eloge du Savoir", le 2 avril 2013 sur France Culture. Des propos à rapprocher de ceux de Michel Serres et sa Petite Poucette.

Sa page au Collège de France avec les vidéos des conférences inaugurales : http://www.college-de-france.fr/site/gerard-berry/

'via Blog this'

Collège de France - Sciences des données : de la logique du premier ordre à la Toile

emmanuel.desmontils@gmail.com (E. Desmontils) — Mon, 15 Apr 2013 05:48:00 +0000

Collège de France - Sciences des données : de la logique du premier ordre à la Toile:

Bases de données, Web sémantique, très belle leçon inaugurale prononcée le jeudi 8 mars 2012 au Collège de France par Serge Abiteboul. A lire !

Et à voir : http://www.college-de-france.fr/site/serge-abiteboul/

Et en particulier la vidéo de cette leçon :
http://www.college-de-france.fr/site/serge-abiteboul/#|q=/site/serge-abiteboul//_audiovideos.jsp|p=http://www.college-de-france.fr/site/serge-abiteboul/inaugural-lecture-2012-03-08-18h00.htm|

'via Blog this'

L'innovation et le numérique de Michel Serres

emmanuel.desmontils@gmail.com (E. Desmontils) — Fri, 08 Mar 2013 22:14:00 +0000

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

Bases de données NoSQL basées sur les graphes

emmanuel.desmontils@gmail.com (E. Desmontils) — Sun, 03 Mar 2013 09:02:00 +0000

La bases de données NoSQL sont de plus en plus présentes dans l'univers du développeur Web. Neo4J est un éditeur qui propose se type de base de données basé sur la notion de graphe. Son site propose des ressources pour découvrir cet univers et donne accès à un livre dédié à ce thème : http://www.neo4j.org/learn

Practical Semantic Web and Linked Data Applications

emmanuel.desmontils@gmail.com (E. Desmontils) — Fri, 01 Feb 2013 06:26:00 +0000

Another book for Semantic Web and Linked Data !
It exists in PDF format :
http://www.markwatson.com/opencontent_data/book_java.pdf

CC by-nc-nd

Joda Time !

emmanuel.desmontils@gmail.com (E. Desmontils) — Tue, 08 Jan 2013 16:16:00 +0000

Java date and time API - Home : une API Java pour manipuler plus efficacement les dates et les heures. Prend en compte différents calendriers !

Comprendre les expressions régulières avec Regexper

emmanuel.desmontils@gmail.com (E. Desmontils) — Thu, 03 Jan 2013 06:44:00 +0000

Les expressions rationnelles, ou expressions régulières, sont un outil très puissant pour manipuler les chaines de caractères dans les langages de programmation. Perl en fait son principe fondamental, mais on les trouve aussi dans les langages plus habituels comme en Java avec la méthode "matches". Elles sont présentées au chapitre 3 du cours e-miage B209.

Il existe un outil intéressant permettant de représenter de manière graphique de telles expressions : Regexper (http://www.regexper.com/).

Par exemple, l'expression "a*|(b+c)*b" donnera :

A tester d'urgence !

Free Datascience books

emmanuel.desmontils@gmail.com (E. Desmontils) — Mon, 31 Dec 2012 08:21:00 +0000

Voici un site qui donne des liens sur quelques livres gratuits autour de la thématique de la science des données (Data Science). On y trouve aussi des livres sur l'apprentissage.

p-value.info: Free Datascience books

Mining of Massive datasets by Rajamaran, Leskovic & Ullman
Bayesian Reasoning and Machine Learning by David Barber [website]
Information Theory, Inference, and Learning Algorithms by David J.C. Mackay
Foundations of Statistical Natural Language Processing by Manning & Schütze
Data Jujitsu by D.J. Patil
Building Data Science Teams by D.J. Patil
Network Science by A.-L. Barabasi
Introduction to Information Retrieval, by Manning, Raghavan and Schütze
A first encounter with machine learning by Welling
Gaussian processes for Machine Learning by C.E. Rasmussen
The Elements of Statistical Learning, by Hastie, Tibshirani, Friedman -- grandaddy of them all
Introduction to Machine Learning by Smola, Vishwanathan
Think Bayes by Downey

Cours de Cobol en ligne

emmanuel.desmontils@gmail.com (E. Desmontils) — Tue, 11 Dec 2012 10:29:00 +0000

50 years of Running COBOL (Photo credit: national museum of american history)

Cobol est toujours un langage encore très utilisé, en particulier dans le domaine des banques et des assurances. Cependant, de moins en moins de personnes ont des compétences à ce sujet. Du coup, l'offre sur le marché de l'emploi est souvent très intéressante... Si vous voulez vous auto-former, un cours en ligne de la e-miage est disponible :
http://pagesperso.lina.univ-nantes.fr/info/perso/permanents/vailly/Enseignement/EMIAGE/EnDev/ModuleA206EMiageV2.5/A206.html

Le développement avec Java

emmanuel.desmontils@gmail.com (E. Desmontils) — Mon, 03 Dec 2012 07:29:00 +0000

Java (programming language) (Photo credit: Wikipedia)

Ce site comporte un tutoriel assez riche sur le développement en Java :
Le développement avec Java : le tutorial développons en Java et développons en Java avec Eclipse:

Dont, en PDF : ftp://ftp2.jmdoudoux.fr/jmdoudoux/dej_1_80.pdf

et en ligne : http://www.jmdoudoux.fr/java/dej/indexavecframes.htm

'via Blog this'

Digital_Humanities book is published

emmanuel.desmontils@gmail.com (E. Desmontils) — Sun, 25 Nov 2012 18:27:00 +0000

Digital_Humanities is a compact, game-changing report on the state of contemporary knowledge production. Answering the question, “What is digital humanities?,” it provides an in-depth examination of an emerging field. This collaboratively authored and visually compelling volume explores methodologies and techniques unfamiliar to traditional modes of humanistic inquiry--including geospatial analysis, data mining, corpus linguistics, visualization, and simulation--to show their relevance for contemporary culture.

Included are chapters on the basics, on emerging methods and genres, and on the social life of the digital humanities, along with “case studies,” “provocations,” and “advisories.” These persuasively crafted interventions offer a descriptive toolkit for anyone involved in the design, production, oversight, and review of digital projects. The authors argue that the digital humanities offers a revitalization of the liberal arts tradition in the electronically inflected, design-driven, multimedia language of the twenty-first century.

Written by five leading practitioner-theorists whose varied backgrounds embody the intellectual and creative diversity of the field, Digital_Humanities is a vision statement for the future, an invitation to engage, and a critical tool for understanding the shape of new scholarship.

Software Studies: Digital_Humanities book is published - download free open edition

Petites leçons de typographie

emmanuel.desmontils@gmail.com (E. Desmontils) — Sat, 17 Nov 2012 15:34:00 +0000

Parce que nous en avons tous besoin, aussi bien en informatique que dans le reste des disciplines. Bref, pour tout ce qui concerne l'édition numérique ! "Petites leçons de typographie" est un recueil de conseils pour bien rédiger livres, rapports et compte-redus. Rédigé par Jacques André (IRISA), il est mis à jour très régulièrement. N'hésitez pas à avoir ce document comme "livre de chevet" !

jacques-andre.fr/faqtypo/lessons.pdf

Les 7 lois universelles de l'informatique

emmanuel.desmontils@gmail.com (E. Desmontils) — Sat, 17 Nov 2012 12:46:00 +0000

Loi n°1 - Loi de Moore (1975)

Le nombre de transistors sur une puce de silicium double tous les dix-huit mois ou tous les deux ans.

Corollaire :

Les ressources informatiques doublent leur capacité tous les dix-huit mois.

Loi n°2 - Loi de la gravitation communicationnelle de Thomas Allen (1984)

L'efficacité de la communication diminue de façon exponentielle avec la distance physique entre les personnes.

Loi n°3 - Loi de Parkinson (1958)

Le travail s'étale de façon à occuper le temps disponible pour son achèvement.

Loi n°4 - Loi de Little (1961)

Le délai est proportionnel à l'en-cours de travail et à la durée de cycle de sa livraison.

Loi n°5 - Loi de Meskiman (?)

On a jamais le temps de bien faire les choses, mais toujours le temps de les refaire.

Loi n°6 - Loi de Brooks (1975)

Ajouter des personnes à un projet déjà en retard accroît ce retard.

Loi n°7 - Loi de Conway (1968)

Les organisations qui conçoivent les systèmes sont contraintes de produire des modèles qui sont des copies de leur propre structure de communication.

Livre sur l'algorithmique

emmanuel.desmontils@gmail.com (E. Desmontils) — Wed, 14 Nov 2012 18:08:00 +0000

Univerity of California, Berkeley logo (Photo credit: Wikipedia)

Un livre intéressant sur l'algorithmique fait par des enseignants de Berkeley :
http://www.cs.berkeley.edu/~vazirani/algorithms/all.pdf
par S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani
en 2006.

Cela couvre surtout l'algorithmique numérique et les graphes.

Udacity - Des MOOCs encore des MOOCs

emmanuel.desmontils@gmail.com (E. Desmontils) — Fri, 09 Nov 2012 05:55:00 +0000

La société Udacity propose des MOOCs principalement autour de l'informatique.

Udacity - Our Courses:

Books and papers every graduate student should read

emmanuel.desmontils@gmail.com (E. Desmontils) — Fri, 02 Nov 2012 15:56:00 +0000

Une série de références de livres pour tout étudiant en informatique (en particulier autour des langages de programmation et des compilateurs).

Books and papers every graduate student should read

10 Papers Every Programmer Should Read (At Least Twice)

emmanuel.desmontils@gmail.com (E. Desmontils) — Wed, 31 Oct 2012 07:07:00 +0000

English: Programmer (Photo credit: Wikipedia)

10 références sur la programmation... et beaucoup de commentaires qui en proposent d'autres. A parcourir, lire...

10 Papers Every Programmer Should Read (At Least Twice)