MacBook-Pro-de-Oscar.local 2025-9-8:14:20:41
This commit is contained in:
@@ -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
|
- 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*
|
- ! 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
|
- [ ] #task démonstration correction du tri par insertion ⏫ 📅 2025-09-15
|
||||||
|
|
||||||
|
@@ -1,4 +1,10 @@
|
|||||||
up:: [[langages formels|langage formel]]
|
---
|
||||||
|
up:
|
||||||
|
- "[[langages formels|langage formel]]"
|
||||||
|
tags:
|
||||||
|
- s/science/linguistique
|
||||||
|
- s/informatique
|
||||||
|
---
|
||||||
|
|
||||||
> [!definition] Mot
|
> [!definition] Mot
|
||||||
> Un *mot* (ou une *chaîne*), noté $w$, est une suite finie de symboles choisis sur un alphabet.
|
> Un *mot* (ou une *chaîne*), noté $w$, est une suite finie de symboles choisis sur un alphabet.
|
||||||
|
@@ -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.
|
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]]
|
Ont suivi plusieurs années pendant lesquelles le [[rapport de force]] à été en faveur du progressisme : les [[années 68]]
|
@@ -1,8 +1,8 @@
|
|||||||
---
|
---
|
||||||
aliases:
|
|
||||||
tags:
|
|
||||||
up:
|
up:
|
||||||
- "[[politique]]"
|
- "[[politique]]"
|
||||||
|
tags:
|
||||||
|
- s/science/économie
|
||||||
---
|
---
|
||||||
```breadcrumbs
|
```breadcrumbs
|
||||||
title: "Sous-notes"
|
title: "Sous-notes"
|
||||||
|
@@ -6,4 +6,4 @@ source:
|
|||||||
- "[[conférence gesticulée.Inculture 1]]"
|
- "[[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
|
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.
|
@@ -1,4 +1,9 @@
|
|||||||
up:: [[listes d'idées]]
|
---
|
||||||
|
up:
|
||||||
|
- "[[listes d'idées]]"
|
||||||
|
tags:
|
||||||
|
- "#t/gestion"
|
||||||
|
---
|
||||||
|
|
||||||
> [!question] hanoi
|
> [!question] hanoi
|
||||||
>
|
>
|
||||||
|
@@ -1 +0,0 @@
|
|||||||
up:: [[Cours soutient fac]]
|
|
@@ -1,8 +1,8 @@
|
|||||||
up:: [[gestion]]
|
---
|
||||||
title::notes à refactor (tags à ajouter, notes todo...)
|
"up:": "[[gestion]]"
|
||||||
#s/PKM
|
tags:
|
||||||
|
- t/gestion
|
||||||
----
|
---
|
||||||
|
|
||||||
# notes todo
|
# notes todo
|
||||||
|
|
||||||
|
@@ -1,7 +1,10 @@
|
|||||||
---
|
---
|
||||||
aliases:
|
aliases:
|
||||||
up:
|
up:
|
||||||
tags:
|
tags:
|
||||||
|
- s/science/écologie/climat
|
||||||
|
- s/politique
|
||||||
|
- s/science/économie
|
||||||
sibling:
|
sibling:
|
||||||
- "[[quotas carbonne]]"
|
- "[[quotas carbonne]]"
|
||||||
---
|
---
|
||||||
|
@@ -1,9 +1,10 @@
|
|||||||
---
|
---
|
||||||
up:
|
up:
|
||||||
|
- "[[sous groupe]]"
|
||||||
|
tags:
|
||||||
|
- s/maths/algèbre
|
||||||
---
|
---
|
||||||
|
|
||||||
up:: [[sous groupe]]
|
|
||||||
|
|
||||||
> [!definition] [[théorème de Lagrange]]
|
> [!definition] [[théorème de Lagrange]]
|
||||||
> Soit $G$ un groupe **fini**, et soit $H$ un [[sous groupe]] de $G$
|
> Soit $G$ un groupe **fini**, et soit $H$ un [[sous groupe]] de $G$
|
||||||
> Alors, $\#H$ divise $\#G$
|
> Alors, $\#H$ divise $\#G$
|
||||||
|
Reference in New Issue
Block a user