jeudi 13 février 2014

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.

jeudi 24 octobre 2013

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 !

jeudi 12 septembre 2013

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

jeudi 18 juillet 2013

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.
Enhanced by Zemanta

samedi 18 mai 2013

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 

Partie 2 : La conceptualisation ou l’essor des concepts et méthodes en ergonomie 

Partie 3 : La pratique ou le développement d’un métier 

Partie 4. La démultiplication des domaines de l’ergonomie 

Partie 5. L’institutionnalisation ou la création des organisations de support et de développement de l’ergonomie 

Partie 6 : L’essaimage ou la diffusion et l’internationalisation 

Partie 7 : Prospective ou quelques perspectives sur le futur de l’ergonomie http://www.uoh.fr/front/notice?id=5f88e228-7229-4c14-82c8-a1c76ae684cf