Mathematics for computer sciences (part 2) [IHDCB222]

At the end of the cursus, students should be able to 

• Use mathematical language in a correct manner, in order to make formal deductions and to establish proof, 
• study the graph of a function, to compute its derivate or its integral and to understand their interest,
• use set and relation theory to formally describe specified systems, and accordingly be able to establish their consistency, 
• determine relation's properties, 
• count the elements in any specified set,
• use arithmetics and elliptic functions in a correct manner to ciffer any given message or to determine the content to any ciphered message, 
• model system behavior equations by recurrent equations and to solve them. 

The lecture's content is divided into four main parts, 

1. first order logic and proof technics,
2. Functional analysis
3. Set theory and relation theory, with analysis of order relation. Combinatorial analysis. 
4. Discrete mathematics continued,
   • recurrence equations
   • arithmetics
   • cryptography
   • elliptic function