Reasoned Programming

"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

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

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

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

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

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

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

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

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

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

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

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

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 !

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

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

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

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

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

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

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