Déclarations conditionnelles et théorie des graphes

Cette séance de cours couvre les déclarations conditionnelles, y compris l'inverse, contrapositive, et inverse, ainsi que des exercices liés à la preuve par les cas et la contradiction. Il approfondit ensuite la théorie des graphes, en discutant des graphes, des chemins, de la connectivité et de la k-connectivité. La séance de cours explore également les protocoles de commérage, la robustesse aux échecs, les échecs aléatoires et les graphiques Erds-Renyi, mettant en évidence leurs propriétés de connectivité et leurs applications dans les systèmes distribués.