Questão de Ciência da ComputaçãoBanco Nacional de Desenvolvimento Econômico e Social (BNDES) - Analista de Sistemas Área Desenvolvimento de Sistemas (Com Inglês)
Enunciado
Considere a seguinte especificação para um processo que recebe como entrada um vetor V com n+1 posições e produz uma saída O que é verdadeira se e somente se o valor da primeira posição aparece em uma das n posições seguintes.
Pré: {n>1 }
A pós-condição que completa esta especificação é:
Ver gabarito
A
Gabarito oficial: alternativa A
Relatar um erro nesta questão
Continue estudando Ciência da Computação
Mais questões da mesma disciplina para manter o ritmo.
- CESPE2018A respeito de sistemas operacionais e de aplicativos de edição de textos e planilhas, julgue os itens a seguir. Windows e Linux são exemplos de sistemas operacionais de núcleo monolítico, em que um único processo executa as principais funçõResolver
- FGV2018O principal arquivo do Microsoft Active Directory que tem por função servir como base de dados para armazenar as informações sobre objetos de usuários, grupos e associação de grupos, é denominadoResolver
- FGV2018A maior segurança dos sistemas operacionais, por exemplo, do sistema operacional Microsoft Windows 10 para, especificamente, reforçar o mesmo contra ameaças que exploram vulnerabilidades presentes nas distribuições originais do respectivo sResolver
- FGV2018Relacione os aplicativos listados a seguir, encontrados em um computador com sistema operacional Windows 10, às suas respectivas funções. 1. MS Edge 2. MS Notepad 3. MS Paint 4. MS Excel ( ) Editor de texto ( ) Planilha eletrônica ( Resolver