Mon ÉTS  |  Bibliothèque  |  Bottins  |  Emplois  |  Intranet  |  ENGLISH
1er cycle > Fiche de cours
Niveau : 1er cycle
Crédits : 4 cr.
Préalable: MAT145

Charge hebdomadaire :
cours (3 h)
travaux pratiques (3 h)

Responsable :
Service des enseignements généraux

Fiche de cours

Cours destiné spécifiquement aux étudiants inscrits au programme de baccalauréat en génie logiciel.

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.