Pages professionnelle – Thomas Robert

Maître de Conférence

COMASIC SDF

Ce site web contient l’ensemble des ressources électroniques disponibles pour le cours COMASIC Sûreté de fonctionnement pour l’année 2019-2020

 

Vous trouverez deux types de contenu :

  • Les transparents de cours, et énoncés de TP/TD
  • Des supports de cours de mise à niveau (en logique propositionnelle, premier ordre, probabilité, modélisation à base d’automate)

L’objectif de ce cours est de vous faire acquérir une compréhension pratique des problèmes résolus par les méthodes proposé en sûreté de fonctionnement, et les bases disciplinaires sur lesquelles les solutions reposent (algorithmique distribué, logique, mathématique…).

Transparents de cours :

Sujets de TP / TD :

Articles de référence :

Vocabulaire de base

Archives et Sujet d’examen corrigé :

Lien pour faire vos retour sur le déroulement de la session 2017-2018

Attention : il me semble ne jamais avoir été insultant, j’aimerai qu’il en aille de même dans vos commentaires.
J’ai déjà une petite idée des points à absolument améliorer pour l’an prochain mais vos retour peuvent guider cet effort.

https://ansr.me/Xxi8P