From 6832b2e2956133fd589e0557f4ca27848795d71b Mon Sep 17 00:00:00 2001 From: oskar Date: Mon, 8 Sep 2025 12:40:41 +0200 Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-8:12:40:41 --- cours M1 LOGOS.md | 17 +++++++++++++++++ cours algorithmique et complexité.md | 24 ++++++++++++++++++++++++ 2 files changed, 41 insertions(+) create mode 100644 cours M1 LOGOS.md create mode 100644 cours algorithmique et complexité.md 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 + + +