Please enable JavaScript.
Coggle requires JavaScript to display documents.
Funções, Sequências E Arrays - Coggle Diagram
Funções, Sequências E Arrays
Funções são tipos de relações
Função parcial: Um elemento do dominio se relaciona com no máximo 1 elemento do contra-dominio
Função total: Todo elementos do dominio se relacionam com algum elemento do contra-dominio
Função injetora: Os elementos do contra-dominio se relacionam com apenas 1 elemento do dominio
Função sobrejetora: quando seu contra-domínio e imagem são o mesmo conjunto
Função bijetora: Total, Injetora e Bijetora
Sequências, um tipo especial de função
Operações
Size: Retorna o tamanho de uma sequencia
Concatenation: Junta duas sequencias
Reverse: Retorna o inverso de uma sequencia
Prefixing: Retorna a cabeça e a cauda
First: Retorna a cabeça de uma sequencia não vazia
Last: Retorna o último elemento da sequencia
Front: Retorna a sequencia - last
Truncation: Retorna os N primeiros de uma sequencia
Removal: Remove os N primeiros elementos de uma sequencia
Arrays são funções totais e seus índices operaram no conjunto dos inteiros
0 é o indice lower bound
Dado o array [A,B,C,D] r(3) := E remove D e coloca E em seu lugar
r := 0..3*{F} = [F,F,F,F]
r(0), r(1) := E,F não é permitido, mas para fazer algo equivalente faça assim: r := r <+ {0 |-> E, 1 |-> F}