From ef8d8287b5f4bbcf86d301fae858d700762f75a4 Mon Sep 17 00:00:00 2001 From: oskar Date: Thu, 5 Feb 2026 09:35:11 +0100 Subject: [PATCH] eduroam-prg-sg-1-47-33.net.univ-paris-diderot.fr 2026-2-5:9:35:11 --- .DS_Store | Bin 153604 -> 153604 bytes .obsidian/graph.json | 2 +- Richard Montague.md | 5 ++++- daily/2026-02-03.md | 4 ++-- daily/2026-02-04.md | 1 + daily/2026-02-05.md | 19 ++++++++++++++++++ fonction récursive primitive.md | 14 +++++++++---- sources/films/Anatomie d'une chute.md | 14 ++++++------- ...p of the Ring (le seigneur des anneaux).md | 2 +- syntax, semantics, discourse 2.md | 9 +++++++++ valeur d'adhérence d'une suite.md | 5 ++--- 11 files changed, 56 insertions(+), 19 deletions(-) create mode 100644 daily/2026-02-05.md diff --git a/.DS_Store b/.DS_Store index 0440b23376b1054e211ce789805b290f397dc0c1..dcd92553c3e77411578afeb2417d1dd5594b468f 100644 GIT binary patch delta 145 zcmZqKz}d2abAmtPzKsF9`5B!z^9XEX-TX>ak!xbL#%6AXqx_rBg- zoV@5}ZUYpa0}3zTKEHT!Qcivn0|SEq0|QGh0|VoV|6s70G2t&iGmyENu>i(sfH5Y( S7z-ebX2uQM88 [!smallquery]- Modified files > ```dataview > LIST file.mtime diff --git a/daily/2026-02-05.md b/daily/2026-02-05.md new file mode 100644 index 00000000..48d8367f --- /dev/null +++ b/daily/2026-02-05.md @@ -0,0 +1,19 @@ +# Todo + +```tasks +due 2026-02-05 +not done +``` +# I did + +> [!smallquery]- Modified files +> ```dataview +> LIST file.mtime +> where file.mtime > date(this.file.name) and file.mtime < (date(this.file.name) + dur(1 day)) sort file.mtime asc +> ``` +```tasks +done 2026-02-05 +short mode +``` +# I am gratefull to + diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md index 7f44e620..5978a11c 100644 --- a/fonction récursive primitive.md +++ b/fonction récursive primitive.md @@ -9,13 +9,19 @@ aliases: > [!definition] [[fonction récursive primitive]] > On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit : -> [^1] -> +> - i Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide) +> +> > [!info] Fonctions projection +> > On note $P_{p}^{i}$ (pour $1 \leq i \leq p$) la fonction de $\mathscr{F}_{p}$ telle que pour tout $x_1, \dots, x_{p} \in \mathbb{N}$ on a : +> > $P_{p}^{i}(x_1, x_2, \dots, x_{p}) = x_{i}$ +> +> > [!info] Définition par récurrence +> > Soient $f \in \mathscr{F}_{p}$ et $g \in \mathscr{F}_{p+2}$, il existe une unique fonction de $\mathscr{F}_{p+1}$ qui, pour tout $x_1, \dots, x_{p}, y \in \mathbb{N}$ respecte : +> > - $f(x_1, x_2, \dots, x_{p}, 0) = g(x_1, x_2, \dots, x_{p})$ +> > - $f(x_1, x_2, \dots, x_{p}, y+1) = h(x_1, x_2, \dots, x_{p}, y, f(x_1, x_2, \dots, x_{p}, y))$ ^definition # Propriétés # Exemples - -[^1]: Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide) \ No newline at end of file diff --git a/sources/films/Anatomie d'une chute.md b/sources/films/Anatomie d'une chute.md index 6dabdbdc..4610a444 100644 --- a/sources/films/Anatomie d'une chute.md +++ b/sources/films/Anatomie d'une chute.md @@ -4,18 +4,18 @@ genre: - "[[Drame]]" - "[[Mystère]]" director: -rating: +rating: 6 scoreImdb: 7.6 cast: -cover: "https://m.media-amazon.com/images/M/MV5BM2JiMDQxZTYtMmU4Mi00NmE4LTk0OGYtMDA3ZTY3MmJmOGNjXkEyXkFqcGc@._V1_.jpg" -plot: "Alors qu'une femme est suspectée du meurtre de son mari, son fils aveugle est placé face à un dilemme moral en tant qu'unique témoin." +cover: https://m.media-amazon.com/images/M/MV5BM2JiMDQxZTYtMmU4Mi00NmE4LTk0OGYtMDA3ZTY3MmJmOGNjXkEyXkFqcGc@._V1_.jpg +plot: Alors qu'une femme est suspectée du meurtre de son mari, son fils aveugle est placé face à un dilemme moral en tant qu'unique témoin. year: 2023 created: 2025-10-24 tags: - - "t/source/film" - - "s/art/cinema" -nb_times_seen: "0" -date_last_seen: + - t/source/film + - s/art/cinema +nb_times_seen: 1 +date_last_seen: 2026/01/31 --- `VIEW[Vu {nb_times_seen} fois (le {date_last_seen})][text]` diff --git a/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md b/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md index 876bfac6..30259f83 100644 --- a/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md +++ b/sources/films/The Lord of the Rings The Fellowship of the Ring (le seigneur des anneaux).md @@ -18,7 +18,7 @@ created: 2025-08-26 tags: - t/source/film - s/art/cinema -nb_times_seen: +nb_times_seen: 0 date_last_seen: --- diff --git a/syntax, semantics, discourse 2.md b/syntax, semantics, discourse 2.md index 8bac3766..2858719a 100644 --- a/syntax, semantics, discourse 2.md +++ b/syntax, semantics, discourse 2.md @@ -6,6 +6,15 @@ tags: aliases: --- +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` + - [[compositionnality]] language meaning need to satisfy a constraint much more concrete than [[compositionnality]], namely [[incrementality]] : NL input is processed word by word : - A The train... diff --git a/valeur d'adhérence d'une suite.md b/valeur d'adhérence d'une suite.md index 7d2c163b..9cd166c7 100644 --- a/valeur d'adhérence d'une suite.md +++ b/valeur d'adhérence d'une suite.md @@ -18,7 +18,6 @@ Une valeur d'adhérence est une valeur que l'on trouve une infinité de fois dan > [!définition] Autre définition > $(x_{n})$ admet $x$ pour *valeur d'adhérence* ssi il existe une [[suite extraite|suite extraite]] de $(x_{n})$ qui [[suite convergente|converge]] (ou [[suite divergente|diverge]]) vers $x$ -> [!corrolary] -> test -> chose + +