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