Techniques logiques et de preuve

Cette séance de cours aborde des sujets tels que les entiers et les rationnels, la logique, les techniques de preuve, les relations, les fonctions, la composition des fonctions, les fonctions réciproques, les classes d'équivalence, les entiers et les rationnels (IN, Z, Q). L'instructeur explique les concepts à l'aide d'exemples et de tableaux de vérité pour illustrer les implications et les équivalences.