Cours d'informatique en libre accès à Polytechnique

http://catalogue.polytechnique.fr/index.php?table=cours&domaine=10003
 

Pour le domaine de l'informatique, 25 supports de cours sont proposés, de niveaux UnderGraduate (Licence) ou Graduate (Maîtrise).

(U) INF431 : Algorithmique et programmation. Benjamin Werner, François Pottier
(G) INF559 : Architecture des ordinateurs. Olivier Temam
(G) INF564 : Compilation. François pottier
(U) INF422 : Composants d'un système informatique : Introduction à l'architecture des ordinateurs et à leurs systèmes d'exploitation. Albert-Henri cohen
(G) INF550 : Conception et analyse des algorithmes. Gilles Schaeffer
(G) INF568 : Cryptologie. Francois Morain
(G) INF423 : Fondements de l'Informatique : Logique, modèles, calculs. Olivier Bournez
(G) INF562 : Géométrie algorithmique : de la théorie aux applications. Luca Castelli Aleardi, Steve Oudot
(G) INF560 : Informatique parallèle et distribuée. Éric Goubault
(U) INF311 : Introduction à l'informatique.  : Francois Morain
(G) INF554 : Introduction à la théorie des langages de programmation. David Monniaux
(G) INF557 : Introduction aux réseaux. Thomas Clausen
(U) INF421 : Les bases de la programmation et de l'algorithmique. Leo Liberti
(U) INF441 : Modal d'Informatique. Thomas Clausen, Dominique Rossin, Christoph Durr, Renaud Keriven, Jean-Marc Steyaert, Olivier Serre
(G) INF556 : Modélisation des systèmes logiciels. Daniel Krob
(G) INF583 : Principes et programmation des systèmes d'exploitation. Albert-Henri Cohen
(G) INF585 : Programmation en C++. Leo Liberti
(G) INF580 : Programmation par contraintes et programmation mathématique. Christoph Durr
(G) INF551 : Raisonnement mathématique assisté par ordinateur. Stéphane Lengrand
(G) INF572 : Recherche opérationnelle : modélisation et utilisation logiciels. Leo Liberti
(G) INF555 : Représentation numérique et analyse de formes. Frank Nielsen, Luca Castelli Aleardi, Maks Ovsjanikov
(G) INF586 : Sécurité des réseaux. Julien Cervelle
(G) INF558 : Théorie de l'information. Jean-Pierre Tillich
(G) INF561 : Utilisation de l'aléatoire en algorithmique. Frédéric Magniez
(G) INF565 : Vérification. David Monniaux, Xavier Rival

À titre d'exemple, pour le cours « Architecture des ordinateurs » d'Olivier Temam :

   Les buts de ce cours sont de comprendre en détail la structure d'un ordinateur et particulièrement celle d'un processeur qui en est l'élément principal, de comprendre comment un programme écrit dans un langage de haut niveau est exécuté sur un ordinateur, et de comprendre les facteurs qui déterminent l'évolution des processeurs et ordinateurs. On étudiera notamment les problèmes que posent les architectures actuelles, et on abordera les évolutions possibles des architectures à moyen et long terme.

   Le but des TD/TP est de construire entièrement un processeur simple à partir de composants élémentaires (portes logiques et signal d'horloge), puis de le programmer. Pour la construction de ce processeur, on utilisera DigLog, un logiciel de conception de circuits digitaux développé à CalTech aux États-Unis ; l'architecture du processeur est celle du processeur exemple LC-2 proposé récemment pour l'enseignement de l'architecture.

Cours
Poly (en Francais) :
Chapitres 1 à 5 (PDF)
Chapitre 7 (PDF)
Chapitre 8 (PDF)
Chapitre 9 (PDF)
Chapitre 10 (PDF)

   Les chapitres du cours sont indiqués ci-dessous. Les transparents du cours sont disponibles au format PDF (3 par page) ou au format HTML (utiliser Internet Explorer à cause des animations).

Slides (English version) :
Chapitre 4 (PDF)
Chapitre 5 (PDF)
Chapitre 6 (PDF)
Chapitre 7 (PDF)
Chapitre 8 (PDF)
Chapitre 10 (PDF)

http://catalogue.polytechnique.fr/site.php?id=31

___________________
Association EPI
Mai 2012