1. Objectifs et description détaillée du cours 
Description détaillée du cours 
Ce cours fournit aux étudiant·e·s les fondements conceptuels et méthodologiques des mathématiques 
discrètes, indispensables pour la formation en informatique, systèmes d’information et disciplines techniques 
connexes. Il vise à rendre l’étudiant·e à la fois compétent·e techniquement (manipulation d’objets discrets, 
calculs et résolutions de problèmes) et rigoureux·se sur le plan méthodologique (construction et exposition 
de preuves, formalisation d’énoncés). 
Le parcours pédagogique s’articule autour de trois axes complémentaires et imbriqués : 
1. Langage formel et logique mathématique 
o Acquisition des outils de la logique propositionnelle et du calcul des prédicats (connecteurs 
logiques, tables de vérité, quantificateurs, portée, équivalences). 
o Traduction d’énoncés naturels en formules formelles et lecture formelle d’énoncés techniques 
(spécifications simples). 
o Analyse de la validité d’arguments et identification des erreurs de raisonnement. 
2. Méthodes de démonstration et raisonnement rigoureux 
o Maîtrise des techniques de preuve : preuve directe, contraposée, contradiction, cas, récurrence 
(simple et variantes). 
o Structuration d’une démonstration (hypothèses, schéma argumentatif, conclusion), rédaction 
mathématique claire et conventions de présentation. 
o Exercices systématiques de rédaction et d’évaluation par pairs pour développer la clarté 
d’expression et la justesse logique. 
3. Objets discrets : arithmétique élémentaire et combinatoire 
o Eléments de théorie des nombres : division euclidienne, divisibilité, PGCD et algorithme 
d’Euclide, congruences élémentaires, notions sur les nombres premiers, fonctions 
plancher/plafond. 
o Notions fondamentales de combinatoire : arbres de possibilités, principe de multiplication, 
permutations, combinaisons, coefficients binomiaux et applications élémentaires 
(dénombrement, probabilités élémentaires). 
o Ces chapitres servent d’exemples concrets pour appliquer les méthodes de preuve et la 
logique formelle. 
Objectifs pédagogiques généraux et compétences visées 
À l’issue du cours, l’étudiant·e devra être capable de : 
• Formaliser une situation informelle en un énoncé mathématique ou logique précis ; 
• Évaluer la validité d’arguments et détecter des erreurs logiques ; 
• Construire des démonstrations rigoureuses en utilisant les méthodes vues ; 
• Résoudre des problèmes concrets de théorie des nombres et de combinatoire en présentant des 
démarches justifiées ; 
• Communiquer des raisonnements mathématiques de manière claire, structurée et argumentée, tant à 
l’oral qu’à l’écrit ; 
• Appliquer les notions étudiées à des problèmes simples issus de l’informatique (spécifications, calcul 
d’options, complexité de base des choix). 
3 | P a g e IT 223 Probabi l ités & Statistiques Descriptives 
Approche pédagogique et méthodes d’enseignement 
• Exposés magistraux pour l’introduction des concepts et des cadres formels. 
• Travaux dirigés et sessions d’exercices guidés pour l’entraînement à la résolution et à la rédaction de 
preuves. 
• Devoirs hebdomadaires destinés à maintenir un travail régulier et à pratiquer la rédaction formelle. 
• Quizz courts et fréquents pour vérifier la compréhension conceptuelle et favoriser l’apprentissage 
continu. 
• Évaluations sommatives (mi-parcours, final) pour mesurer l’intégration des compétences clés. 
• Feedback écrit et correction commentée des devoirs pour entraîner l’amélioration progressive des 
compétences rédactionnelles. 
Modalités d’apprentissage attendues (charge de travail estimée) 
• Charge de travail hétérogène selon profil : prévoir en moyenne 6 heures de travail personnel par 
semaine pour 3 heures de cours (étude des notes, exercices, devoirs). 
• Attente d’une pratique régulière : les mathématiques discrètes requièrent un entraînement actif 
(rédaction de preuves, résolution d’exercices). 
Articulation avec le parcours disciplinaire 
• Ce cours établit la base nécessaire pour : structures de données, algorithmique, théorie des langages 
formels, cryptographie élémentaire et autres disciplines informatiques ou mathématiques appliquées. 
• Les compétences de formalisation et de démonstration servent de socle pour tous les cours exigeant 
rigueur et raisonnement analytique. 
Résultats d’apprentissage généraux — aperçu (brève mention pour situer le cours ; les libellés détaillés et 
évaluables seront fournis dans la section correspondante du syllabus) 
L’étudiant·e sera amené·e à démontrer des compétences observables : traduction formelle d’énoncés, 
évaluation d’arguments, rédaction de preuves, résolution de problèmes arithmétiques et combinatoires, analyse 
de fonctions et de relations, et présentation structurée des solutions. 
Critères de réussite et qualité attendue 
• Capacité à justifier chaque étape d’un raisonnement ; 
• Utilisation correcte du vocabulaire et des symboles mathématiques ; 
• Respect des consignes d’intégrité académique (originalité, citation, interdiction du plagiat).