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.

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 !

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

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

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

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