2024-2025
- "Mathematics for Computer Science", Master International. ([MoSIG]).
- Remediation week
- Basics in Maths [Preliminaries] Summations and geometric sums [Summations] Relations and theorem proving
- Week 0 - Methodology [Overview of proof techniques] [Example: multiple proofs for triangular numbers]
- Week 1 - Various ways for solving a problem [Sum of squares] [training: Sum of cubes]
- Week 2 - Basics of combinatorics [slides] [training class]
- Week 3 - Induction/Recurrences [lecture] [Training class: Josephus]
- Week 4 - Bilinear arithmetic progressions [More on Fibonnaci and Stern sequences]
- Week 5 - Combinatorics 2
- Week 6 - Combinatorics 3
- October 22, 8h00 Test
- Week 7 - Divisibility and Primes [Slides]