Logique et mathématiques discrètes

Ce cours présente d'une part la logique et les méthodes classiques de preuve. Par ailleurs, il présente une introduction à l'arithmétique et à l'algèbre linéaire.

• Techniques de preuve: implication, contraposée, équivalence, disjonction de cas, contradiction
• Logique: formalisation d'énoncés, tables de vérité, validité, satisfiabilité
• Récurrence et introduction à l'induction structurelle
• Arithmétique : pgcd, algorithme d'Euclide, anneau cyclique, lemme chinois
• Algèbre linéaire : produit de matrices, pivot de Gauss, résolution d'équations linéaires