Relations, séquences, sommation

Cette séance de cours aborde les sujets des relations, des séquences et de la sommation, en discutant des progressions arithmétiques et géométriques, des treillis, de la vérification formelle, de la théorie du calcul, des cordes, de l'ordre lexicographique, des formules explicites versus récursives, des relations de récurrence, des formules fermées et de la cardinalité des ensembles. Il présente également la séquence de Fibonacci, les ensembles comptés, et l'argument Diagonal de Cantor pour démontrer le concept d'ensembles incomptables.