Cours : Ordres, Treillis et induction - HAI715I

Aperçu des sections

Généralités

Tout replier Tout déplier
- Annonces Forum
- Enseignants Page
  
  David Delahaye (responsable du module)
  Marianne Huchard
- Sujets d'examens 2021-2022 Dossier
  
  Des éléments de correction un peu schématiques ont été déposés le 2 janvier pour la session 1, partie sur les ordres.
- Sujets d'examen 2022-2023 partie ordres et treillis Dossier
- Diapositives de présentation du module (2024-2025) Fichier
S38- 18/09/2024- M. Huchard- Relations et morphismes (1h50)
- cours1 HAI715 Fichier
- td1 HAI715 Fichier
S39 -25/09/2024 - M. Huchard - Exercices sur les morphismes (1h50)
La séance sera consacrée à la correction des exercices sur les morphismes.
S40 - 2/10/2024 - M. Huchard - Ordres produits (1h50)
Peut-être commencerons-nous aussi le cours sur les treillis (document dans la section suivante)
S41 - 9/10/2024 - M. Huchard - Treillis, fermetures, correspondances de Galois (1h50)
- Cours et TD sur les treillis Fichier
  
  Mise à jour le 8 octobre 2024
- Eléments de solution du cours sur les treillis Dossier
S42 - 16/10/2024 - M. Huchard - Treillis de concepts, treillis de Galois
- treillisGalois Fichier
S45 - 06/11/2024 - D. Delahaye - Types inductifs
- Types inductifs Fichier
S50 - 19/11/2024 - M. Huchard - Révisions sur la partie Ordres et Treillis
- Ecrit HAI715I 2024 session1 Fichier
- Ecrit HAI715I 2024 session2 Fichier
S38- 21/09/2022- M. Huchard- Relations (1h50)

Non disponible
S39-28/09/2022-M. Huchard- Développement sur les morphismes - exercices (voir dernières pages du premier cours)

Non disponible
S40-05/10_2022-M. Huchard - Formalisation des relations extends, implements - Produit direct de 2 ordres

Non disponible
S41-12/10/2022-M. Huchard- Produit direct de n ordres - Application au classement de produits et à la relation overrides de Java

Non disponible
S42-19/10/2022- M.Huchard- Treillis, Opérateurs de fermeture, Treillis de concepts

Non disponible
S47 - 23/11/2022 - D. Delahaye - Preuves par induction
- Preuves par induction Fichier
Semaine 37 - 15 Sept 2021 - Introduction - M. Huchard

Non disponible
Semaine 38 - 22 Sept 2021 - Chaînes et anti-chaînes, extensions d'ordre, applications - M. Huchard

Non disponible
Semaine 39 - 29 Sept 2021

Non disponible
Semaine 40 - 6 Oct 2021

Non disponible
Semaine 41 - 13 Oct 2021

Non disponible
Semaine 42 - 20 Oct 2021

Non disponible

Aperçu des sections

Généralités

S38- 18/09/2024- M. Huchard- Relations et morphismes (1h50)

S39 -25/09/2024 - M. Huchard - Exercices sur les morphismes (1h50)

S40 - 2/10/2024 - M. Huchard - Ordres produits (1h50)

S41 - 9/10/2024 - M. Huchard - Treillis, fermetures, correspondances de Galois (1h50)

S42 - 16/10/2024 - M. Huchard - Treillis de concepts, treillis de Galois

S45 - 06/11/2024 - D. Delahaye - Types inductifs

S50 - 19/11/2024 - M. Huchard - Révisions sur la partie Ordres et Treillis

S38- 21/09/2022- M. Huchard- Relations (1h50)

S39-28/09/2022-M. Huchard- Développement sur les morphismes - exercices (voir dernières pages du premier cours)

S40-05/10_2022-M. Huchard - Formalisation des relations extends, implements - Produit direct de 2 ordres

S41-12/10/2022-M. Huchard- Produit direct de n ordres - Application au classement de produits et à la relation overrides de Java

S42-19/10/2022- M.Huchard- Treillis, Opérateurs de fermeture, Treillis de concepts

S47 - 23/11/2022 - D. Delahaye - Preuves par induction

Semaine 37 - 15 Sept 2021 - Introduction - M. Huchard

Semaine 38 - 22 Sept 2021 - Chaînes et anti-chaînes, extensions d'ordre, applications - M. Huchard

Semaine 39 - 29 Sept 2021

Semaine 40 - 6 Oct 2021

Semaine 41 - 13 Oct 2021

Semaine 42 - 20 Oct 2021