Séance de cours
Techniques logiques et de preuve
Description
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.