diff --git a/cours M1 LOGOS.md b/cours M1 LOGOS.md new file mode 100644 index 00000000..1da3f559 --- /dev/null +++ b/cours M1 LOGOS.md @@ -0,0 +1,17 @@ +--- +up: + - "[[M1 LOGOS]]" +tags: + - s/fac +--- + +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` + + diff --git a/cours algorithmique et complexité.md b/cours algorithmique et complexité.md new file mode 100644 index 00000000..eeda8370 --- /dev/null +++ b/cours algorithmique et complexité.md @@ -0,0 +1,24 @@ +--- +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 + + +