vault backup: 2023-09-05 15:02:49
This commit is contained in:
parent
d9d826fcbd
commit
4c95cef899
10
.obsidian/workspace.json
vendored
10
.obsidian/workspace.json
vendored
@ -13,7 +13,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "markdown",
|
"type": "markdown",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Introduction.md",
|
"file": "Algo/Séminaire/Exercices sémaines.md",
|
||||||
"mode": "source",
|
"mode": "source",
|
||||||
"source": false
|
"source": false
|
||||||
}
|
}
|
||||||
@ -85,7 +85,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "backlink",
|
"type": "backlink",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Introduction.md",
|
"file": "Algo/Séminaire/Exercices sémaines.md",
|
||||||
"collapseAll": false,
|
"collapseAll": false,
|
||||||
"extraContext": false,
|
"extraContext": false,
|
||||||
"sortOrder": "alphabetical",
|
"sortOrder": "alphabetical",
|
||||||
@ -102,7 +102,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "outgoing-link",
|
"type": "outgoing-link",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Introduction.md",
|
"file": "Algo/Séminaire/Exercices sémaines.md",
|
||||||
"linksCollapsed": false,
|
"linksCollapsed": false,
|
||||||
"unlinkedCollapsed": true
|
"unlinkedCollapsed": true
|
||||||
}
|
}
|
||||||
@ -125,7 +125,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "outline",
|
"type": "outline",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Introduction.md"
|
"file": "Algo/Séminaire/Exercices sémaines.md"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -148,10 +148,10 @@
|
|||||||
},
|
},
|
||||||
"active": "13c9bfe482ec2d42",
|
"active": "13c9bfe482ec2d42",
|
||||||
"lastOpenFiles": [
|
"lastOpenFiles": [
|
||||||
|
"Algo/Séminaire/Introduction.md",
|
||||||
"Algo/Séminaire/Exercices sémaines.md",
|
"Algo/Séminaire/Exercices sémaines.md",
|
||||||
"Algo/Séminaire/Chapter 2 - Functions.md",
|
"Algo/Séminaire/Chapter 2 - Functions.md",
|
||||||
"Algo/Séminaire/Chapter 1 - CAML basics.md",
|
"Algo/Séminaire/Chapter 1 - CAML basics.md",
|
||||||
"Algo/Séminaire/Introduction.md",
|
|
||||||
"Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg",
|
"Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg",
|
||||||
"Algo/Séminaire/assets",
|
"Algo/Séminaire/assets",
|
||||||
"Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg",
|
"Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg",
|
||||||
|
@ -1,4 +1,37 @@
|
|||||||
|
## 2.2 (Power)
|
||||||
|
|
||||||
|
```Ocaml
|
||||||
|
(*First version*)
|
||||||
|
# let power28(x) =
|
||||||
|
let x2 = x + x in
|
||||||
|
let x4 = x2*x2 in
|
||||||
|
let x8 = x4*x4 in
|
||||||
|
let x16 = x8*x8 in
|
||||||
|
x16*x8*x4 ;;
|
||||||
|
|
||||||
|
(*Second version*)
|
||||||
|
# let power28(x) = x*x*x*x*x*x...*x ;;
|
||||||
|
|
||||||
|
(*Third version*)
|
||||||
|
# let power28(x) =
|
||||||
|
let sq(x) = x+x in
|
||||||
|
let pow4(x) = sq(sq(x)) in
|
||||||
|
pow4(pow4(x))*sq(pow4(x))*pow4(x);;
|
||||||
|
|
||||||
|
(*Fourth version*)
|
||||||
|
# let power28(x)=
|
||||||
|
let sq(x) = x+x in
|
||||||
|
let p4=sq(sq(x)) in
|
||||||
|
sq(sq(p4))*sq(p4)*p4;;
|
||||||
|
```
|
||||||
|
|
||||||
## 2.3
|
## 2.3
|
||||||
![[69E2987C-209A-48CD-8964-5A60462966E5.jpg]]
|
|
||||||
|
|
||||||
![[F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg]]
|
![[F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg]]
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
![[69E2987C-209A-48CD-8964-5A60462966E5.jpg]]
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user