Please enable JavaScript.
Coggle requires JavaScript to display documents.
Functions and Sequences, Sequences, Functions, Arrays - Coggle Diagram
Functions and Sequences
Sequences
Operations
Size
Concatenation
Reverse
Prefixing
First
Last
Front
Truncation
Removal
A special type of function
Used to describe lists of a given type
Functions
Functions can be
Partial
Each element of
S
matches at most 1 element of
T
Total
Each element of
S
matches exactly 1 element of
T
Injective
Each element of
T
is related to at most one element in
S
Surjective
Every element of
T
is related to at least one element of
S
Bijective
Functions that are total, injective and surjective
A particular type of relation
A function
f
from
S
to
T
must relate an element of
S
to only one corresponding element of
T
Arrays
Total functions with integer domains starting at 0