From 8e32489bfe68db091870ed75e2e23b07ec76eccd Mon Sep 17 00:00:00 2001 From: Louis Date: Wed, 4 Oct 2023 11:51:48 +0200 Subject: [PATCH] vault backup: 2023-10-04 11:51:48 --- Algo/CM/CM du 04 octobre.md | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/Algo/CM/CM du 04 octobre.md b/Algo/CM/CM du 04 octobre.md index b3f19bf..8145e01 100644 --- a/Algo/CM/CM du 04 octobre.md +++ b/Algo/CM/CM du 04 octobre.md @@ -18,4 +18,14 @@ Axioms ``` In this example, the axiom explain that it check nth position in the modified vector -The axiom can't be contradictory. Two (or more) contradictory axioms are call the consistency. When we create the axiom, we have to remove all the consistency. \ No newline at end of file +The axiom can't be contradictory. Two (or more) contradictory axioms are call the consistency. When we create the axiom, we have to remove all the consistency. +Example: +``` +nth(v,1)=0 +nth(v,i)=i +``` +That an consistency, because the two `nth`axioms are contradictory + +The completeness is when we have enough axioms for our abstract type + +To use partial operations we have to create some preconditions