Bloc de texte
Ce cours s’intéresse aux bases de la logique mathématique à travers le calcul propositionnel et le calcul des prédicats. Son objectif est d’apprendre à utiliser des connecteurs logiques et des quantificateurs afin de former des propositions et expressions mathématiques complexes.