---
author:
  - "[[Bertrand GENTOU]]"
tags:
  - s/informatique
  - s/fac
number headings: auto, first-level 1, max 3, 1.1 -
---

> [!idea] But du cours
> Les [[IA générative|IAs génératives]] peuvent produire des programmes, mais pas de certifier qu'ils sont corrects.
> La moitié des attendus (examen) sont donc des preuves sur le code.
> L'autre moitié est de la production de code python.
> - i Jour 1 : "le deep learning n'arrivera jamais à ça [prouver la correction de son code]" (de la part d'un ancien ingénieur qui travaillait sur l'IA)


> [!info] Choses supposées connues
> - être à l'a


# 1 - Algorithmes de tris