From 9802d0e9d44957c23ad2c6e9e6e3141fa0d52f21 Mon Sep 17 00:00:00 2001 From: oskar Date: Wed, 4 Feb 2026 12:21:54 +0100 Subject: [PATCH] eduroam-prg-og-1-29-194.net.univ-paris-diderot.fr 2026-2-4:12:21:54 --- S2 LOGOS . mathématiques pour non spécialistes.md | 1 + daily/2026-02-04.md | 2 +- fonction récursive primitive.md | 4 +++- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/S2 LOGOS . mathématiques pour non spécialistes.md b/S2 LOGOS . mathématiques pour non spécialistes.md index fe55507d..d3261639 100644 --- a/S2 LOGOS . mathématiques pour non spécialistes.md +++ b/S2 LOGOS . mathématiques pour non spécialistes.md @@ -36,3 +36,4 @@ share_updated: 2026-01-12T23:01:48+01:00 - définition des [[partie fermée d'un espace métrique|fermés]] comme complémentaires des ouverts dans un espace topologique +# Théorie des catégories \ No newline at end of file diff --git a/daily/2026-02-04.md b/daily/2026-02-04.md index 1cb57b91..bb99d24e 100644 --- a/daily/2026-02-04.md +++ b/daily/2026-02-04.md @@ -5,7 +5,7 @@ due 2026-02-04 not done ``` # I did - + - [[syntax, semantics, discourse 2]] (grammaires de montague) > [!smallquery]- Modified files > ```dataview > LIST file.mtime diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md index 57ddbffa..7f44e620 100644 --- a/fonction récursive primitive.md +++ b/fonction récursive primitive.md @@ -9,11 +9,13 @@ aliases: > [!definition] [[fonction récursive primitive]] > On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit : -> 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) +> [^1] > ^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