Questões de Matemática · IFB

MatemáticaOutros temasIFB 2017

IFB

Questão de Matemática

[ 4 ]

Dadas as seguintes definições sobre métodos de descrição semântica, segundo Sebesta: I) Descreve o significado de uma sentença ou ( ) Semântica Axiomática programa pela especificação dos efeitos e executa o em uma máquina. ( ) Semântica Operacional ( ) Semântica Denotacional 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. 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:

Sua resposta

Mais questões de Outros temas

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.