From 644b7faee0ceeb8e83a116e67a8cf326139ca2a7 Mon Sep 17 00:00:00 2001 From: oskar Date: Mon, 8 Sep 2025 14:20:41 +0200 Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-8:14:20:41 --- cours algorithmique et complexité.md | 3 ++- langage formel mot.md | 8 +++++++- mai 68.md | 7 ++++++- marché.md | 4 ++-- participer c'est refuser de juger.md | 2 +- post queue challenges docstring.md | 7 ++++++- soutient Avril.md | 1 - stage.md | 6 ++++++ tags to add - notes to organize.md | 10 +++++----- taxe carbonne.md | 9 ++++++--- théorème de Lagrange.md | 5 +++-- 11 files changed, 44 insertions(+), 18 deletions(-) delete mode 100644 soutient Avril.md diff --git a/cours algorithmique et complexité.md b/cours algorithmique et complexité.md index c25417a6..8d912737 100644 --- a/cours algorithmique et complexité.md +++ b/cours algorithmique et complexité.md @@ -27,4 +27,5 @@ Pdf du cours : [[M1_algo_chap1_algos_de_tri.pdf]] - on choisit une propriétée que l'on veut montrer vraie, et on la montre par récurrence sur la variable de boucle - ! ne pas se tromper sur la propriété invariante. Pour le tri par sélection, la propriété doit être "les $i$ premier éléments sont à leur place définitive", et pas simplement "les $i$ premiers éléments sont triés", car on veut pouvoir faire la réccurence : il faut que les $i$ premiers soient *les plus petits du tableau* et pas simplement *des éléments triés parmi ceux du tableau* -- [ ] #task démonstration correction du tri par insertion ⏫ 📅 2025-09-15 \ No newline at end of file +- [ ] #task démonstration correction du tri par insertion ⏫ 📅 2025-09-15 + diff --git a/langage formel mot.md b/langage formel mot.md index d19eb793..8138b6b1 100644 --- a/langage formel mot.md +++ b/langage formel mot.md @@ -1,4 +1,10 @@ -up:: [[langages formels|langage formel]] +--- +up: + - "[[langages formels|langage formel]]" +tags: + - s/science/linguistique + - s/informatique +--- > [!definition] Mot > Un *mot* (ou une *chaîne*), noté $w$, est une suite finie de symboles choisis sur un alphabet. diff --git a/mai 68.md b/mai 68.md index 5c33dd5c..cad12cf9 100644 --- a/mai 68.md +++ b/mai 68.md @@ -1,4 +1,9 @@ -up:: [[grève générale]] +--- +up: + - "[[grève générale]]" +tags: + - s/politique +--- grève générale ouvrière et étudiante, avec de grands mouvements de revendications. Ont suivi plusieurs années pendant lesquelles le [[rapport de force]] à été en faveur du progressisme : les [[années 68]] \ No newline at end of file diff --git a/marché.md b/marché.md index 0adcbc66..0280eeaf 100644 --- a/marché.md +++ b/marché.md @@ -1,8 +1,8 @@ --- -aliases: -tags: up: - "[[politique]]" +tags: + - s/science/économie --- ```breadcrumbs title: "Sous-notes" diff --git a/participer c'est refuser de juger.md b/participer c'est refuser de juger.md index 481f5ef1..7c4a76aa 100644 --- a/participer c'est refuser de juger.md +++ b/participer c'est refuser de juger.md @@ -6,4 +6,4 @@ source: - "[[conférence gesticulée.Inculture 1]]" --- -Lorsque l'on participe à quelque chose (projet, ouvrage, œuvre...), on ne peut pas juger réellement, puisqu'on est pris dans la structure que l'on voudrai \ No newline at end of file +Lorsque l'on participe à quelque chose (projet, ouvrage, œuvre...), on ne peut pas juger réellement, puisqu'on est pris dans la structure que l'on voudrait critiquer. \ No newline at end of file diff --git a/post queue challenges docstring.md b/post queue challenges docstring.md index 6f82c80a..c24075bd 100644 --- a/post queue challenges docstring.md +++ b/post queue challenges docstring.md @@ -1,4 +1,9 @@ -up:: [[listes d'idées]] +--- +up: + - "[[listes d'idées]]" +tags: + - "#t/gestion" +--- > [!question] hanoi > diff --git a/soutient Avril.md b/soutient Avril.md deleted file mode 100644 index cb51020f..00000000 --- a/soutient Avril.md +++ /dev/null @@ -1 +0,0 @@ -up:: [[Cours soutient fac]] diff --git a/stage.md b/stage.md index 7b1654ba..2cd81d53 100644 --- a/stage.md +++ b/stage.md @@ -1,3 +1,9 @@ +--- +tags: + - s/informatique + - s/fac +--- + # Sujet diff --git a/tags to add - notes to organize.md b/tags to add - notes to organize.md index 378d1c15..72a3f95e 100644 --- a/tags to add - notes to organize.md +++ b/tags to add - notes to organize.md @@ -1,8 +1,8 @@ -up:: [[gestion]] -title::notes à refactor (tags à ajouter, notes todo...) -#s/PKM - ----- +--- +"up:": "[[gestion]]" +tags: + - t/gestion +--- # notes todo diff --git a/taxe carbonne.md b/taxe carbonne.md index 54bc7eca..ad126188 100644 --- a/taxe carbonne.md +++ b/taxe carbonne.md @@ -1,7 +1,10 @@ --- -aliases: -up: -tags: +aliases: +up: +tags: + - s/science/écologie/climat + - s/politique + - s/science/économie sibling: - "[[quotas carbonne]]" --- diff --git a/théorème de Lagrange.md b/théorème de Lagrange.md index a6ef82a0..3c983524 100644 --- a/théorème de Lagrange.md +++ b/théorème de Lagrange.md @@ -1,9 +1,10 @@ --- up: + - "[[sous groupe]]" +tags: + - s/maths/algèbre --- -up:: [[sous groupe]] - > [!definition] [[théorème de Lagrange]] > Soit $G$ un groupe **fini**, et soit $H$ un [[sous groupe]] de $G$ > Alors, $\#H$ divise $\#G$