Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem.

Qual a regra clássica de inferência designada pela expressão (p→q), ¬q !$ \vdash !$ ¬p?

A política de proteção da informação espelha as decisões da empresa com respeito à manipulação e à proteção da informação.

Um dos pontos chaves dessa política é que

Devido à limitação de recursos, é necessário priorizar e identificar as informações que realmente requerem proteção.

As informações que, se expostas, violam a privacidade de indivíduos, reduzem a vantagem competitiva da empresa ou causam danos à mesma são classificadas como

O sucesso de um programa de proteção da informação depende, em grande parte, do compromisso dos funcionários da empresa com o programa.

A política de mesa limpa e tela protegida, estipulada pela norma ISO 27002:2005, deve ser adotada para

Um usuário identificou uma falha no funcionamento de um sistema e ligou para reportar ao Service Desk. O atendente do Service Desk, que está em contato com o usuário, já havia recebido outras chamadas acerca da mesma situação.

O que deve fazer o atendente primeiramente, nesse caso, segundo as recomendações do ITIL v2?

Segundo o Cobit 4.1, tratar com informação relevante e pertinente ao processo de negócio, entregando-a a seus clientes em tempo, de maneira correta, consistente e utilizável, refere-se a qual critério da informação?

Segundo o ITIL v2, a equipe de desenvolvimento deve tratar o controle de erros de operação dos sistemas desenvolvidos ao passá-los para o ambiente de produção e à equipe de suporte de serviços da seguinte forma:

No Cobit 4.1, o processo responsável pelo gerenciamento do desempenho e da capacidade dos recursos de TI, uma situação na qual necessidades de desempenho são satisfeitas com base nas avaliações de sistemas individuais e no conhecimento dos profissionais das equipes de suporte e de projeto, indica que nível de maturidade?

Entre os fatores críticos de sucesso para o gerenciamento do nível de serviço, segundo o ITIL v2, incluem-se:

Quando os programas esperam por memória livre para serem executados devido à insuficiência de memória principal, o sistema operacional pode solucionar esse problema com a aplicação da técnica de