Mathématiques discrètes: Logique, Structures, Algorithmes

Cette séance de cours présente les bases des mathématiques discrètes, en se concentrant sur la logique, les structures et les algorithmes. Il couvre la logique de proposition, les tables de vérité, les connectifs logiques, les propositions composées et les implications. Le cours vise à fournir une base pour comprendre les systèmes informatiques et la pensée computationnelle, en mettant l'accent sur la résolution de problèmes et l'analyse de l'évolutivité sans programmation. Les sujets comprennent les ensembles, les fonctions, les relations, les séquences, la complexité des algorithmes, le comptage et la théorie des probabilités. L'approche pédagogique comprend des séances interactives, des quiz et des discussions de groupe. Les élèves sont encouragés à participer activement, à suivre l'horaire et à s'engager dans la résolution des problèmes. Le matériel du cours suit de près le livre 'Discrete Mathematics and Its Applications' de Kenneth H. Rosen.