Carregando...
Carregando...
Ajude a melhorar a plataforma
Produzir programas mais seguros é um norteador básico em qualquer projeto da área da computação. Nesse sentido, a demonstração de correção é um trabalho meticuloso, relacionado à verificação de que determinado programa ou, até mesmo, segmento de programa computacional estão rigorosamente em conformidade com suas especificações. Analise as asserções a seguir e a relação proposta entre elas. I. Tal abordagem de demonstração de correção requer lógica formal para provar que certa relação (precondição) entre as variáveis do programa é válida antes da execução de determinado comando e que outra relação (pós-condição) é válida depois da execução do comando. PORQUE II. Uma vez que a natureza da demonstração de correção abrange um trabalho deveras intenso, seu uso fica normalmente reservado para seções mais triviais do código em aplicações acessórias. Avaliando essas asserções, é correto afirmar que :
Explique melhor esta questão
Abre o Tutor com o enunciado e as alternativas já no campo — você revisa e envia.
Esta questão foi verificada por um de nossos administradores.
JUSTIFICATIVA A asserção I está correta, porque a lógica formal é estritamente necessária, para que se consiga fornecer as devidas garantias, em termos de precondição e pós-condição. Não é possível avançar no estudo dos fundamentos matemáticos da ciência da computação sem que se enverede pelo exame dos ditames da lógica formal. A asserção II está incorreta, porque, justamente pelo fato de que a natureza da demonstração de correção resulta em trabalho bastante intenso, seu uso corriqueiro é reservado para seções mais críticas (e não mais triviais) do código em aplicações importantes (e não acessórias).
