From 91ea71795fec1a1b92a627b5ca17abcfe356f218 Mon Sep 17 00:00:00 2001 From: Louis Date: Tue, 12 Sep 2023 17:15:21 +0200 Subject: [PATCH] vault backup: 2023-09-12 17:15:21 --- .obsidian/workspace.json | 4 ++-- Algo/Séminaire/Exercices seminaire.md | 24 ++++++++++++++++-------- 2 files changed, 18 insertions(+), 10 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 1756ea8..0a23f8d 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -171,6 +171,8 @@ "active": "c82ce15f72f65a11", "lastOpenFiles": [ "Algo/Séminaire/Chapter 5 - Recursivity.md", + "Algo/Séminaire/Chapter 3 - Case analysis.md", + "Algo/Séminaire/Chapter 2 - Functions.md", "Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/assets/fact function response.png", "Algo/Séminaire/assets/recursivite-meme.png", @@ -180,10 +182,8 @@ "Algo/Séminaire/Untitled", "Algo/Séminaire/Introduction.md", "Algo/Séminaire/Chapter 1 - CAML basics.md", - "Algo/Séminaire/Chapter 2 - Functions.md", "Mathématiques/Séminaire/Logics/Logics.md", "Algo/Chapter 0 - A bit of imperative", - "Algo/Séminaire/Chapter 3 - Case analysis.md", "README.md", "Algo/Séminaire/Weird stuff.md", "Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg", diff --git a/Algo/Séminaire/Exercices seminaire.md b/Algo/Séminaire/Exercices seminaire.md index a1e9263..dbfd27a 100644 --- a/Algo/Séminaire/Exercices seminaire.md +++ b/Algo/Séminaire/Exercices seminaire.md @@ -250,13 +250,21 @@ let time_difference (d1, md1, sd1, pos1) (d2, md2, sd2, pos2) ## Exercise 4.2 ```Ocaml -let rec suite n = let a = 0 in - if n <= 0 then - a - else - a + suite (4*(n-1) - 1);; - - let rec sequence = function | 0 -> 1 - | n -> 4* sequence(n-1) - 1;; \ No newline at end of file + | n -> 4* sequence(n-1) - 1;; +val sequence : int -> int = +``` + +```mermaid +flowchart LR + +A[seq 3] --> B[4*seq2-1] --> C[4*seq1-1] --> D[4*seq0-1] --> E[1] --> F[4*1-1] --> G[4*3-1] --> H[4*11-1] +``` + +## Exercise 4.5 +```Ocaml +let rec add a = function + | 0 -> a + | b -> 1 + add a (b-1);; +```