Um professor do IFCE está desenvolvendo um programa para manipular diferentes tipos de dados em um sistema acadêmico. Durante a implementação, ele precisa definir corretamente os tipos de dados primitivos utilizados no código. Assinale a alternativa que apresenta apenas tipos de dados primitivos. 

Um professor IFCE está orientando estudantes no desenvolvimento de um sistema especialista para apoio à tomada de decisão em processos acadêmicos. Durante a explicação, o docente destaca que, nesse sistema, o programa é construído por meio da declaração de fatos e regras, enquanto um mecanismo de inferência responde às consultas dos usuários e determina automaticamente as conclusões possíveis.

Com base nessa situação, assinale a alternativa que apresenta corretamente o paradigma de programação utilizado e uma linguagem que o implementa, respectivamente. 

Considere o seguinte trecho de código simples:

{ x > 0 }
y := x + 1
{ y > 1 }

A pré-condição { x > 0 } garante que, depois da execução da instrução y := x + 1, a pós-condição {y > 1} será satisfeita, permitindo raciocinar formalmente sobre a correção do programa sem executá-lo.
Com base nessa abordagem, qual é o tipo de semântica formal utilizada para relacionar précondições e pós-condições e raciocinar sobre a correção do programa?

Um professor IFCE orienta estudantes na implementação de funções genéricas que operam sobre diferentes tipos de dados. O docente apresenta uma função que calcula a média de uma coleção de valores, podendo ser aplicada a inteiros, números de ponto flutuante ou outros tipos numéricos, sem alterar a lógica do cálculo.
Qual é o tipo de polimorfismo envolvido nessa situação?