Mathématiques pour l'informatique (2e partie)

A l'issue de l'enseignement, l'étudiant devra être capable

• de manipuler le langage mathématique, de manière formelle afin de réaliser des déductions,  des preuves formelles, 
• de manipuler le graphe d'une fonction, de calculer une dérivée ou une intégrale simple et d'en comprendre l'utilisation,
• d'utiliser les fondements en théorie des ensembles et des relations pour décrire formellement des systèmes et en établir le cas échéant la consistance, 
• de déduire les propriétés de relations ordonnées ou pas, 
• de dénombrer le contenu d'un ensemble, lorsque celui-ci est spécifié en compréhension ou par récurrence, 
• d'utiliser les fondements de l'arithmétique et de la théorie des fonctions elliptiques, à bon escient pour réaliser le chiffrement et le déchiffrement de message (transformations affines et RSA)
• de modéliser des systèmes par des équations de récurrence et de les résoudre (systèmes de récurrence linéaire).