Questões de Concurso Público SERPRO 2010 para Analista - Tecnologia da Informação

Considere um programa P, cujo predicado Q(X) descreve as condições que os valores de entrada devem satisfazer, e um predicado R, que descreve as condições que os valores de saídas devem satisfazer. Nesse caso, o programa P estará corretoseacondicional ( ∀ X )(Q(X) ) → R[X,P{X)]) forválida.

O interpretador da linguagem bash script é integrado ao shell; por isso, os scripts escritos em bash script, que são executados de forma transparente, não necessitam de permissão especial para sua execução.