Voici un cours en ligne sur OPC UA. OPC UA est le middleware de l’Industrie du Futur (Industrie 4.0). C’est le nouveau standard de communication industrielle dédié aux usines et à l’IIoT (Industrial IoT). L’un des concepts de base de l’OPC UA est un espace d’adressage (AddressSpace) utilisé dans le serveur. Il est composé de nœuds (Nodes) comportant des attributs et ils sont reliés par des références. Il est alors possible de développer un modèle abstrait et orientés objet pour la représentation des véritables objets de l’usine comme un processus ou une machine.
Voici un cours en ligne sur la Théorie des combinateurs du logicien Haskell B. Curry. C’est un cours d’informatique théorique qui contient à son début quelques petits exercices en ligne. Ce cours a été réalisé grâce à un financement de l’Agence universitaire de la Francophonie. Le logiciel JSKI est une implémentation en Java de la machine SK de David Turner et illustre le cours ci-dessus. Le logiciel sous licence LGPL est disponible sous la forme d’un jar exécutable ici et les sources sont disponibles ici.
Voici un cours de Logique et informatique (environ 1Mo) assez complet qui fait suite au précédent. Il traite de logique formelle, de théorie des types, de l’intuitionnisme, de l’isomorphisme de Curry-Howard, etc. Bien inspiré de la littérature existante, ce cours évite de mettre en avant les démonstrations par trop compliquées. Il ne s’adresse donc pas à de futurs chercheurs mais à des élèves voulant avoir une culture générale dans ce domaine.
Ici, un cours en ligne de Programmation en Java destiné aux élèevs de première année de Télécom ParisTech. Il est prévu pour être projeté avec une résolution 800×600 et n’a été testé qu’avec Google Chrome.
Enfin, un cours détaillé sur le Protocole BB84 de Cryptographie Quantique (environ 3Mo) suivi d’un cours de communication quantique et de calcul distribué du doctorant Dang Minh Dung. Ce cours est habilement complété par le cours sur les appareillages quantiques du professeur Philippe Gallion.