Logique et algorithmes

Cette séance de cours couvre les concepts fondamentaux de logique, de raisonnement mathématique, de structures de base et d'algorithmes. Il explore l'importance de comprendre les structures et les solutions d'échelle, ainsi que la vitesse et la complexité des algorithmes. La séance de cours se décline également en preuves, ensembles, fonctions, relations, séquences, et le concept de la comptabilité. Au moyen d'exemples et de définitions récursives, les élèves apprendront l'induction, la récursion et l'application d'une induction forte pour prouver les propriétés définies.