La première partie de ce cours sera dédiée à la formalisation en langage mathématique et à la résolution de problèmes simples qui seront retranscrits en termes d’équations et d’inéquations. 

Les étudiants pourront dans cette partie, réviser les bases du calcul algébrique. L’écriture de ces énoncés et leur résolution permettront de travailler l’utilisation des quantificateurs et la manipulation des opérateurs logiques comme l’implication ou l’équivalence. 

Différentes techniques de résolution seront abordées. Des exemples d’énoncés faisant intervenir des valeurs absolues pourront être résolus de manière géométrique ou algébrique.

Dans la deuxième partie du cours, les bases du calcul matriciel (définitions, addition, produit, inverse de matrices, méthode du pivot de gauss) seront présentées. Des exemples de résolution de systèmes linéaires seront traités.

À la fin de cet EC, vous serez capable de :

• Retranscrire un énoncé en langage mathématique, en termes d’équations et d’inéquations,
• Utiliser correctement les opérateurs logiques (et, ou, implication, équivalence) dans un raisonnement ou une procédure de résolution,
• Appliquer correctement une technique de résolution adaptée au type de problème posé.

Session s 1 et 2 : Contrôle continu 100%

Les évaluations pourront prendre des formes diverses : contrôles écrits, QCM, corrections par les pairs, oraux, projets…

Poursuites possibles : Tous les autres modules de mathématiques.