FDV — Mathématiques, S1 — 2018-2019

Calcul propositionnel

Septembre 2018

• Slides : logique_slides.pdf
• Cours complet : logique_full.pdf
• Cours minimal : logique_minimal.pdf
• TD : TD1.pdf (français) TD1_en.pdf (english)
  Corrigé du TD : TD1_corrige.pdf (français) TD1_en_corrige.pdf (english)

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

OCaml

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.
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 2018

• Slides : raisonnement_slides.pdf
• Cours complet : raisonnement_full.pdf
• Cours minimal : raisonnement_minimal.pdf

Ensembles et relations

Septembre 2018

• Slides : relations_slides.pdf
• Cours complet : relations_full.pdf
• Cours minimal : relations_minimal.pdf
• TD : TD2.pdf
  TD avec correction : TD2_corrige.pdf

Prédicats et récurrence

Septembre 2018

• Slides : predicats_slides.pdf
• Cours complet : predicats_full.pdf
• Cours minimal : predicats_minimal.pdf

Fonctions

Octobre 2018

• Cours complet : fonctions_full.pdf
• Cours minimal : fonctions_minimal.pdf
• TD : TD3.pdf (français) TD3_en.pdf (english)
  Corrigé du TD : TD3_corrige.pdf (français) TD3_en_corrige.pdf (english)
• Autre TD (fortement inspiré de celui de Salma) : TD3_bis.pdf
  Corrigé du TD : TD3_bis_corrige.pdf

Lois internes

Octobre 2018

• Cours complet : lci_full.pdf
• Cours minimal : lci_minimal.pdf

Groupes, anneaux et corps

Octobre 2018

• Cours complet : groupes_full.pdf
• Cours minimal : groupes_minimal.pdf

DM

Octobre 2018

• Sujet du DM en français : DM_2018-2019.pdf
• Corrigé du DM en français : DM_2018-2019_corrige.pdf

Test 1

Septembre 2018

• Sujet du test : test_1_2018-2019.pdf
• Corrigé du test : test_1_2018-2019_corrige.pdf

Test 2

Septembre 2018

• Sujet du test : test_2_2018-2019.pdf
• Corrigé du test : test_2_2018-2019_corrige.pdf

Exam

Novembre 2018

• Sujet de l'exam en français : exam_2018-2019_fr.pdf
• Corrigé de l'exam en français : exam_2018-2019_fr_corrige.pdf