diff --git a/.obsidian/appearance.json b/.obsidian/appearance.json index 5a092cc3..c2ff2424 100644 --- a/.obsidian/appearance.json +++ b/.obsidian/appearance.json @@ -1,7 +1,7 @@ { "theme": "system", "cssTheme": "", - "baseFontSize": 26.5, + "baseFontSize": 26, "enabledCssSnippets": [ "pdf_darkmode", "query_header_title", diff --git a/.obsidian/plugins/obsidian-minimal-settings/data.json b/.obsidian/plugins/obsidian-minimal-settings/data.json index 67d8c6c0..501c2dda 100644 --- a/.obsidian/plugins/obsidian-minimal-settings/data.json +++ b/.obsidian/plugins/obsidian-minimal-settings/data.json @@ -8,7 +8,7 @@ "lineWidth": 40, "lineWidthWide": 50, "maxWidth": 98, - "textNormal": 26.5, + "textNormal": 26, "textSmall": 18, "imgGrid": false, "imgWidth": "img-default-width", diff --git a/S2 LOGOS . mathématiques pour non spécialistes.md b/S2 LOGOS . mathématiques pour non spécialistes.md index 06fd4904..fe55507d 100644 --- a/S2 LOGOS . mathématiques pour non spécialistes.md +++ b/S2 LOGOS . mathématiques pour non spécialistes.md @@ -19,6 +19,8 @@ share_updated: 2026-01-12T23:01:48+01:00 - [[entiers de von Neumann]] + - [[démonstration de l'irrationnalité de la racine carrée de 2|démonstration irrationnalité de √2]] + # Topologie - def **espace métrique** $(E, d)$ : ensemble $E$ muni d'une distance $d$ diff --git a/S2 LOGOS . philosophie des mathématiques.md b/S2 LOGOS . philosophie des mathématiques.md index 212d9447..8595d7e9 100644 --- a/S2 LOGOS . philosophie des mathématiques.md +++ b/S2 LOGOS . philosophie des mathématiques.md @@ -10,8 +10,8 @@ cssclasses: share_link: https://share.note.sx/2ev0yp52#Ts4dTsDh9iqnKsYdvy0SGx62WfsYG/bTGzULkNiaOq8 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) %% @@ -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. - 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 ? - - 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. - = 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 diff --git a/cours algorithmique et complexité.md b/cours algorithmique et complexité.md index 4436db21..164fe16f 100644 --- a/cours algorithmique et complexité.md +++ b/cours algorithmique et complexité.md @@ -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 - ! 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 écrire *in place quick sort* ⏫ 📅 2025-09-15 +- [x] #task démonstration correction du tri par insertion ⏫ 📅 2025-09-15 ✅ 2026-01-19 +- [x] #task écrire *in place quick sort* ⏫ 📅 2025-09-15 ✅ 2026-01-19 diff --git a/daily/2025-09-19.md b/daily/2025-09-19.md index 5230915e..1627fc74 100644 --- a/daily/2025-09-19.md +++ b/daily/2025-09-19.md @@ -1,5 +1,5 @@ # Todo -- [ ] #task test 📅 2025-09-20 +- [x] #task test 📅 2025-09-20 ✅ 2026-01-19 ```tasks due 2025-09-19