Please enable JavaScript.
Coggle requires JavaScript to display documents.
L06, L07 - Coggle Diagram
L06
Tipo de Conjuntos
-
-
Deferidos
Conjuntos declarados sem especificação dos seus elementos no nível de abstração atual; usados para dados abstratos cujo tamanho/conteúdo é postergado
-
Cláusulas do B
-
ABSTRACT_SETS
Conjuntos definidos apenas por suas propriedades lógicas, omitindo detalhes concretos
PROPERTIES
Cláusula onde se definem os axiomas, tipos e valores das constantes e conjuntos
L07
Conceito de relação
-
-
Pares ordenados - Estrutura fundamental (a, b) que estabelece a ligação entre dois elementos
Aplicações em B
-
-
Invariantes Complexos - Restrições matemáticas rígidas sobre as relações para garantir a consistência do sistema
Operadores e Domínios
-
Restrição/Subtração
Operadores de filtragem (<|, <<|, |>, |>>) para limitar pares por subconjuntos