Logo ÉTS
Session
Cours
Responsable(s) Anouk Bergeron-Brlek

Se connecter
 

Sauvegarde réussie
Echec de sauvegarde
Avertissement


Préalables

Programme(s) : 7065,7070,7084,7086,7365,7610
             
  Profils(s) : Tous profils  
             
    MAT145    
             
 

Unités d’agrément

100,0 %
Total d'unités d'agrément : 64,8

Qualités de l’ingénieur

 












Qn
Qualité visée dans ce cours  
Qn
  Qualité visée dans un autre cours  
  Indicateur enseigné
  Indicateur évalué
  Indicateur enseigné et évalué

- Survolez les icones pour voir le nom de chaque qualité.
- Cliquez sur les icones pour voir la description.

Descriptif du cours

Acquérir les notions fondamentales de la logique mathématique. S’initier aux concepts des mathématiques discrètes.

Introduction à la logique : calcul propositionnel, calcul des prédicats, méthodes de preuve et algèbre de Boole. Théorie des ensembles. Comportement asymptotique des fonctions et compexité temporelle des algorithmes. Théorie des nombres : nombres premiers, algorithme d'Euclide, arithmétique modulaire et applications. Preuves par récurrence et relations de récurrence. Principes de base du dénombrement. Théorie des graphes : terminologie, représentations, chemins et circuits.

Séances de travaux pratiques portant sur la logique et les applications des mathématiques discrètes.






Objectifs du cours

Apprendre et maîtriser les concepts de logique et de mathématiques discrètes liés aux problèmes de programmation et de structures informatiques. À l’occasion, appliquer ces notions à la réalisation de programmes informatiques.


Stratégies pédagogiques

Chaque rencontre comportera une partie théorique et une partie pratique, pour un total d'environ trois heures trente de théorie et trois heures d'exercices par semaine.

Pendant que les cours seront donnés à distance, certaines notions théoriques seront présentées sous forme de capsules vidéos. 





Coordonnées de l’enseignant

* Double-cliquez sur le champ pour modifier le contenu