| 2019-2020 |
| 2020-2021 |
| 2021-2022 |
| 2022-2023 |
| 2023-2024 |
| 2024-2025 |
|
|
|
|
|
|
 |
 |
 |
 LDD-L1-S2 - Logique et Démonstration Assistée par Ordinateurs [jan-jui] |
 |
| cours piloté par le département de mathématiques. | ||
| Module: | LDD1 Informatique et Mathématiques-S2 | |
| 1 * 24 h | TP | Christine Paulin(1)[GRAT] |
24 h présentielles (hors soutien) | ||
| Date: 08-09-2024 @ 05:20 |
|
|
|
|
|
|