Acquérir la capacité d'abstraction jugée suffisante pour la poursuite d'études universitaires en informatique; être apte à formaliser des idées exprimées dans une langue naturelle.
Contenu
Calcul propositionnel; calcul des prédicats, quantificateurs. Ensemble, relation, fonction, suite et séquence. Techniques de preuve : preuve par l'absurde (contradiction, contraposée), induction (mathématique, généralisée, constructive). Méthodes élémentaires de dénombrement : arrangement, combinaison, coefficients binomiaux. Éléments de la théorie des graphes et des arbres. Automates finis déterministes et non déterministes; déterminisation et minimisation d'un automate.
Ce site Web utilise des fichiers témoins (cookies) essentiels à son bon fonctionnement.
Vous pouvez paramétrer l'utilisation de témoins facultatifs nous permettant d'optimiser votre expérience à travers le site. Voir la Politique de confidentialité
Paramètres des témoins
Pour obtenir plus d’information sur la nature et l’utilisation des témoins, voir la Politique de confidentialité.
Témoins essentiels
Ces témoins sont nécessaires au bon fonctionnement du site Web. Ils permettent de maintenir
l’accès à certaines sections sécurisées et de conserver des critères de recherche, par exemple.
Ces témoins ne peuvent être désactivés.
Témoins analytiques
Ces témoins nous aident à comprendre votre utilisation de notre site Web et nous permettent d'améliorer l’expérience qu'il propose.
Témoins publicitaires
Ces témoins sont utilisés pour vous proposer des publicités pertinentes en fonction de votre navigation sur notre site. Ces publicités peuvent être émises par l'Université de Sherbrooke ou d'autres entités.
