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.

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 !

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

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

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

Livre sur l'algorithmique

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

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

Udacity - Our Courses:

Books and papers every graduate student should read

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)

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)

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

Bayesian Reasoning and Machine Learning

"Bayesian Reasoning and Machine Learning", By David Barber

The last decade has seen considerable growth in interest in Arti cial Intelligence and Machine Learning. In the broadest sense, these elds aim to `learn something useful' about the environment within which the organism operates. How gathered information is processed leads to the development of algorithms how to process high dimensional data and deal with uncertainty. In the early stages of research in Machine Learning and related areas, similar techniques were discovered in relatively isolated research communities. Whilst not all techniques have a natural description in terms of probability theory, many do, and it is the framework of Graphical Models (a marriage between graph and probability theory) that has enabled the understanding and transference of ideas from statistical physics, statistics, machine learning and information theory. To this extent it is now reasonable to expect that machine learning researchers are familiar with the basics of statistical modelling techniques.

This book concentrates on the probabilistic aspects of information processing and machine learning.

The 2012 version of the book : http://web4.cs.ucl.ac.uk/staff/D.Barber/textbook/270212.pdf
The book website :  http://www.cs.ucl.ac.uk/staff/d.barber/brml/
The author website : http://web4.cs.ucl.ac.uk/staff/D.Barber/pmwiki/pmwiki.php?n=Brml.HomePage

Apprendre à coder | Learn to code

English: Official Ruby logo Русский: Официальный логотип языка программирования «Ruby» (Photo credit: Wikipedia)

Pour découvrir la programmation, allez voir la Codecademy ! Vous y trouverez des ressources pour faire de la programmation Web et pour utiliser Javascript et Ruby.


Learn to code
Codecademy is the easiest way to learn to code. It's interactive, fun, and you can do it with your friends.


http://www.codecademy.com/

CCS 2012

The new ACM Computing Classification System is available as a SKOS ontology : http://dl.acm.org/ccs.cfm (CCS 2012). It replaces the traditional 1998 version. The next update ? 2014 !

Denotational Semantics

Denotational Semantics : A METHODOLOGY FOR LANGUAGE DEVELOPMENT

David A. Schmidt

https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/DenSem-full-book.pdf

Good Ideas, Through the Looking Glass

Niklaus Wirth, 1969 (Photo credit: Wikipedia)

Good Ideas, Through the Looking Glass 

Niklaus Wirth

Abstract
An entire potpourri of ideas is listed from the past decades of Computer Science and
Computer Technology. Widely acclaimed at their time, many have lost in splendor and
brilliance under today’s critical scrutiny. We try to find reasons. Some of the ideas are
almost forgotten. But we believe that they are worth recalling, not the least because one
must try to learn from the past, be it for the sake of progress, intellectual stimulation, or
fun.


www.inf.ethz.ch/personal/wirth/Articles/GoodIdeas_origFig.pdf

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.