MAT1500-A-A20 - Mathématiques discrètes

Lois de la logique et d'inférence, quantificateurs, preuves. Induction, pgcd, nombres premiers, algorithme d'Euclide, congruence. Récursion, coefficients binomiaux, nombres de Stirling, de Fibonacci, fonctions génératrices.