eduroam-prg-og-1-28-168.net.univ-paris-diderot.fr 2026-1-19:13:50:1
This commit is contained in:
oskar
2
.obsidian/appearance.json
vendored
2
.obsidian/appearance.json
vendored
@@ -1,7 +1,7 @@
|
|||||||
{
|
{
|
||||||
"theme": "system",
|
"theme": "system",
|
||||||
"cssTheme": "",
|
"cssTheme": "",
|
||||||
"baseFontSize": 26.5,
|
"baseFontSize": 26,
|
||||||
"enabledCssSnippets": [
|
"enabledCssSnippets": [
|
||||||
"pdf_darkmode",
|
"pdf_darkmode",
|
||||||
"query_header_title",
|
"query_header_title",
|
||||||
|
|||||||
@@ -8,7 +8,7 @@
|
|||||||
"lineWidth": 40,
|
"lineWidth": 40,
|
||||||
"lineWidthWide": 50,
|
"lineWidthWide": 50,
|
||||||
"maxWidth": 98,
|
"maxWidth": 98,
|
||||||
"textNormal": 26.5,
|
"textNormal": 26,
|
||||||
"textSmall": 18,
|
"textSmall": 18,
|
||||||
"imgGrid": false,
|
"imgGrid": false,
|
||||||
"imgWidth": "img-default-width",
|
"imgWidth": "img-default-width",
|
||||||
|
|||||||
@@ -19,6 +19,8 @@ share_updated: 2026-01-12T23:01:48+01:00
|
|||||||
|
|
||||||
- [[entiers de von Neumann]]
|
- [[entiers de von Neumann]]
|
||||||
|
|
||||||
|
- [[démonstration de l'irrationnalité de la racine carrée de 2|démonstration irrationnalité de √2]]
|
||||||
|
|
||||||
# Topologie
|
# Topologie
|
||||||
|
|
||||||
- def **espace métrique** $(E, d)$ : ensemble $E$ muni d'une distance $d$
|
- def **espace métrique** $(E, d)$ : ensemble $E$ muni d'une distance $d$
|
||||||
|
|||||||
@@ -10,8 +10,8 @@ cssclasses:
|
|||||||
share_link: https://share.note.sx/2ev0yp52#Ts4dTsDh9iqnKsYdvy0SGx62WfsYG/bTGzULkNiaOq8
|
share_link: https://share.note.sx/2ev0yp52#Ts4dTsDh9iqnKsYdvy0SGx62WfsYG/bTGzULkNiaOq8
|
||||||
share_updated: 2026-01-15T00:03:04+01:00
|
share_updated: 2026-01-15T00:03:04+01:00
|
||||||
---
|
---
|
||||||
- [ ] #task envoyer mail brice pour inscription moddle philo des maths 🔺
|
|
||||||
|
|
||||||
|
- [ ] #task envoyer mail brice pour inscription moddle philo des maths 🔺
|
||||||
|
|
||||||
%% séance 1 (2026-01-12) %%
|
%% séance 1 (2026-01-12) %%
|
||||||
|
|
||||||
@@ -59,7 +59,7 @@ Brice : la métaphysique contemporaine est "plus naïve" que la métaphysique du
|
|||||||
- le monde concu comme le tout de la réalité semble permettre de garantir les références : parler de toute·s chose·s, c'est parler de toute·s chose·s du monde.
|
- le monde concu comme le tout de la réalité semble permettre de garantir les références : parler de toute·s chose·s, c'est parler de toute·s chose·s du monde.
|
||||||
- def problème du **_nexus rerum_** (noeud des choses)
|
- def problème du **_nexus rerum_** (noeud des choses)
|
||||||
- c il faut rendre compte de ce qui fait l'unité du monde ? comment le monde constitue-t-il une totalité cohérente ? comment faire tenir ensemble ses parties ?
|
- c il faut rendre compte de ce qui fait l'unité du monde ? comment le monde constitue-t-il une totalité cohérente ? comment faire tenir ensemble ses parties ?
|
||||||
- def problème des ***possibilia*** (problème des entités non actuellement existantes)
|
- def problème des ***possibilia*** (problème des entités qui n'existent pas réellement et actuellement)
|
||||||
- c trop étroit pour des visée de généralités plus larges que le seul existant.
|
- c trop étroit pour des visée de généralités plus larges que le seul existant.
|
||||||
- = trop large pour le logico-mathématique : le nombre 3 n'est pas existant comme une chaise. Il ne fait pas partie du monde, mais on veut toujours le considérer dans certaines références générales
|
- = trop large pour le logico-mathématique : le nombre 3 n'est pas existant comme une chaise. Il ne fait pas partie du monde, mais on veut toujours le considérer dans certaines références générales
|
||||||
- def Phénoménologie
|
- def Phénoménologie
|
||||||
|
|||||||
@@ -27,7 +27,7 @@ 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
|
- [x] #task démonstration correction du tri par insertion ⏫ 📅 2025-09-15 ✅ 2026-01-19
|
||||||
- [ ] #task écrire *in place quick sort* ⏫ 📅 2025-09-15
|
- [x] #task écrire *in place quick sort* ⏫ 📅 2025-09-15 ✅ 2026-01-19
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
# Todo
|
# Todo
|
||||||
- [ ] #task test 📅 2025-09-20
|
- [x] #task test 📅 2025-09-20 ✅ 2026-01-19
|
||||||
|
|
||||||
```tasks
|
```tasks
|
||||||
due 2025-09-19
|
due 2025-09-19
|
||||||
|
|||||||
Reference in New Issue
Block a user