Please enable JavaScript.
Coggle requires JavaScript to display documents.
The B-Method: L08, L09 - Coggle Diagram
The B-Method: L08, L09
L08: Functions and Sequences
Functions
Partial
Total
Injective
Partial
Total
Surjective
Partial
Total
Bijective
Sequences
Operations
Size
Concatenation
Reverse
Prefixing
First
Last
Front
Truncation
Removal
Types
seq1
iseq
perm
L09: Arrays
Total functions
Domain: interval of intergers
0 as a lower bound