Please enable JavaScript.

Coggle requires JavaScript to display documents.

SEMÂNTICA DINÂMICA - Coggle Diagram

- - - - Eles estabelecem relações diretas entre pré-condições e pós-condições, sem depender de outras asserções.
    - - Elas desempenham um papel fundamental na construção de provas de corretude de programas, permitindo a dedução lógica das pré-condições e pós-condições ao longo da execução do programa.
  - - - Ao aplicar a semântica axiomática, os desenvolvedores podem utilizar axiomas e regras de inferência para demonstrar matematicamente que cada passo do algoritmo de ordenação preserva as pré-condições e satisfaz as pós-condições, garantindo assim a corretude do algoritmo.
      - Pré-condição: A pré-condição define o estado inicial antes da execução do algoritmo de ordenação. Por exemplo, a pré-condição pode afirmar que a lista a ser ordenada está definida e contém elementos.
      - Pós-condição: A pós-condição especifica o estado final após a execução do algoritmo de ordenação. Por exemplo, a pós-condição pode afirmar que a lista está ordenada em ordem crescente e não há elementos duplicados.
- - - - Na semântica denotacional, associamos cada variável (num), operador (%, ==) e estrutura de controle (if, else) a seu significado correspondente.
      - Podemos então entender o comportamento do programa com base nos valores atribuídos à variável num.
    - - Na semântica denotacional, podemos associar cada variável (x e y) a seus respectivos valores.
      - Além disso, associamos > à operação de comparação "maior que" e and à operação lógica "E".
      - Então, podemos avaliar a expressão de acordo com os valores atribuídos às variáveis x e y.
- - - - Baseia-se em Execução
      - Foco na Computação
    - - Baseia-se em Funções Matemáticas
      - Foco na Significação
    - - Baseia-se em Axiomas e Regras de Inferência
      - Foco na Verdade Lógica
  - - - Vantagens:
        Intuitiva
        Boa para Entendimento Prático
      - Desvantagens:
        Dependência da Implementação
        Limitações na Análise
    - - Vantagens:
        Precisão Matemática
        Facilita Provas Formais
      - Desvantagens:
        Abstração Elevada
        Dificuldade de Implementação
    - - Vantagens:
        Formalidade e Rigor
        Independência de Implementação
      - Desvantagens:
        Complexidade
        Dificuldade de Aplicação Prática