lgallet/epicours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vault backup: 2023-10-04 22:18:38

Browse Source
This commit is contained in:
Louis Gallet 2023-10-04 22:18:38 +02:00
parent 24720f75ba
commit 31fa06ec3b
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Algo/CM/CM du 04 octobre.md
View File

@ -26,7 +26,11 @@ nth(v,i)=i
``` ```
That an consistency, because the two `nth`axioms are contradictory That an consistency, because the two `nth`axioms are contradictory
The completeness is when we have enough axioms for our abstract type The completeness is when we have enough axioms for our abstract type :
1. **Completeness**: Axioms should provide a complete and unambiguous specification of the ADT's behavior. This means that they should cover all possible scenarios and outcomes for the ADT's operations. Users of the ADT should be able to rely on these axioms to understand how the ADT behaves in different situations.
2. **Consistency**: Axioms should be consistent with each other and with the intended behavior of the ADT. This means that the axioms should not contradict each other, and they should accurately reflect the expected behavior of the ADT's operations. Inconsistent axioms can lead to confusion and incorrect usage of the ADT.
To use partial operations we have to create some preconditions To use partial operations we have to create some preconditions