Toggle navigation sidebar

Toggle in-page Table of Contents

MP/MP* Option informatique

DS et DM

Détail des notes
DS 1 corrigé : Centrale 2015
DM 1 corrigé : Centrale 2021
DS 2 corrigé
DM 2 corrigé : Centrale 2017
DS 3 corrigé

Généralités

Révisions OCaml
Résumés de cours
- Résumé option info

Rappels sur les graphes

Cours
Exercices
- TD : Définitions sur les graphes
- TD : Représentations et parcours de graphes

Arbre couvrant de poids minimum

Cours
- Arbre couvrant de poids minimum
Exercices

Couplage maximum dans un graphe biparti

Cours
- Couplage maximum dans un graphe biparti
Exercices
- TD : Couplage maximum dans un graphe biparti

Tas et file de priorité

Cours
- Tas et file de priorité
Exercices
- TD : Tas et file de priorité

Langages réguliers

Cours
Exercices

Logique

Cours
- Rappels : Logique propositionnelle
- Déduction naturelle
Exercices
- TD : Logique propositionnelle
- TD : Déduction naturelle

Backtracking

Cours
- Backtracking

Révisions

Exercices
- Arbres croissants (X-ENS 2014)

repository
open issue
suggest edit

.md

Déduction naturelle

Déduction naturelle#

previous

Rappels : Logique propositionnelle

next

Exercices

By Quentin Fortier
© Copyright 2022.