Questão 2322823

• Banca: IFB
• Órgão: IFB
• Ano: 2017
• Provas: IFB - 2017 - IFB - Professor - Informática/ Desenvolvimento de Sistemas
• Disciplina: Programação
• Assuntos: Conceitos básicos de programação

Dadas as seguintes definições sobre métodos de descrição semântica, segundo Sebesta:

I) Descreve o significado de uma sentença ou programa pela especificação dos efeitos e executa-o em uma máquina.

II) Método mais rigoroso e mais conhecido para a descrição do significado de programas.

III) Baseada em lógica matemática, é a abordagem mais abstrata para a especificação de semântica.

---

( ) Semântica Axiomática

( ) Semântica Operacional

( ) Semântica Denotacional

---

Assinale a alternativa que descreve a ordem correta de preenchimento, de cima para baixo, dos parênteses, de acordo com a relação entre as definições e os tipos de semântica:

• A. II, III e I
• B. III, I e II
• C. III, II e I
• D. I, II e III
• E. I, III e II

Gabarito: B

Comentários

• Gabarito letra "B"

   

  Semântica Axiomática: Baseada em lógica matemática, é a abordagem mais abstrata para a especificação de semântica.

  Semântica Operacional: Descreve o significado de uma sentença ou programa pela especificação dos efeitos e executa-o em uma máquina.

  Semântica Denotacional: Método mais rigoroso e mais conhecido para a descrição do significado de programas.

• Axiomática --> mais abstrata --> lógica matemática

  Operacional --> execução

  Denotacional --> descrição do significado