27 lines
802 B
Markdown
27 lines
802 B
Markdown
---
|
|
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'aise avec les calculs de [[complexité algorithmique]]
|
|
|
|
|
|
# 1 - Algorithmes de tris
|
|
|
|
[[M1_algo_chap1_algos_de_tri.pdf]]
|
|
|
|
[[démonstration complexité minimale algorithme de tri par comparaison]]
|
|
|