Enseignant:
Dr ABBOUBAKAR
horaire:
60 heures / 4Crédits ; 60 h CM/TD
objectif:
Acquérir la capacité d’abstraction jugée suffisante pour la poursuite d’études universitaires en sciences ; se familiariser avec les différentes techniques de preuve existantes et avec les concepts fondamentaux nécessaires à la réalisation de telles preuves ; être apte à mathématiser les idées exprimées dans une langue naturelle.
contenu:
Substitution textuelle et égalité. Règle de Leibniz. Opérateurs booléens, expressions booléennes, calcul propositionnel. Quantification, types. Calcul des prédicats, quantificateur universel, quantificateur existentiel. Induction mathématique, définitions inductives. Autres techniques de preuve : preuves par cas, preuves par implication mutuelle, preuves par contradiction, preuves par contraposition. Principes de dénombrement et analyse combinatoire. Applications : modélisation de propositions énoncées en français, spécification et vérification de programmes.
Enseignant:
Dr DANGBE
horaire:
60 heures / 4Crédits ; 60 h CM/TD
objectif:
Fournir à l’étudiant un outil indispensable aux autres disciplines scientifiques et techniques, un langage, un esprit et des méthodes lui permettant de poser, d’analyser et de résoudre les problèmes concrets de la vie professionnelle. Fournir une culture suffisante pour la poursuite le cas échéant d’études plus approfondies.
contenu:
Calcul différentiel des fonctions de plusieurs variables: théorie et applications. Nombres complexes; polynômes. Équations différentielles du premier ordre et du premier degré. Équations différentielles du second ordre de types spéciaux. Équations différentielles linéaires d'ordre n à coefficients constants. Systèmes d'équations différentielles. Applications.