FDV — Mathématiques, S1 — 2019-2020

Le dessous des maths.
Comme ce sont des choses normalement connues, les cours de théorie des ensembles et de récurrence sont à voir chez vous.


Documents

Logique
Septembre 2019
Générateur de formules aléatoires (avec table de vérité)

Un générateur de formules propositionnelles aléatoires, avec table de vérités. Le programme est appelé à évoluer, comme les fonctionnalités sont encore très limitées. Le tout codé en OCaml
L'exécutable (pour Debian/Ubuntu, x86 64 bits) à lancer avec

                                
                                    ./gen_formula
                                
                            

Et le code source, à compiler avec

                                
                                    ocamlopt.opt gen_formula.ml -o gen_formula
                                
                            
Raisonnement
Septembre 2019
Fonctions
Septembre 2019
Théorie des ensembles
Septembre 2019
Récurrence
Septembre 2019
Exercices
Septembre 2019
DM
Octobre 2019
Test 1 (théorie des ensembles)
Septembre 2019
Test 2 (récurrence)
Septembre 2019
Lexique
Petit guide bilingue de vocabulaire et notations




Protip

N'hésitez pas à poser vos questions sur le forum du Moodle !

Protip

Vous pouvez jeter un oeil au DM, test et exam d'il y a deux ans ou de l'an dernier.