O predicado g(x, y) é avaliado como verdadeiro se ?x gosta de y?. A sentença ?se...

Questão de Sistemas Operacionais da banca CESGRANRIO aplicada no concurso LIQUIGAS (2012). Confira a resolução completa abaixo:

Q230432•
Sistemas Operacionais•
CESGRANRIO•
LIQUIGAS•
Profissional Júnior Desenvolvimento de Aplicações

O predicado g(x, y) é avaliado como verdadeiro se ?x gosta de y?.
A sentença ?se uma pessoa não gosta de si mesma então não gosta de qualquer outra? pode ser expressa em lógica de primeira ordem como

¬g(i, i) ? ?x¬g(i, x)

¬g(i, i) ? ¬ ?x¬g(i, x)

?x g(x, i) ? ¬?x¬g(i, x)

?x g(i, x) ? ¬ ?x¬g(i, x)

¬?x¬g(x, i) ? ¬ ?x¬g(i, x)

Questões Relacionadas

Q118297•
Sistemas Operacionais •
Sistemas Operacionais•
CESGRANRIO•
TRANSPETRO•
Analista de Sistemas

Um sistema operacional é formado por um conjunto de rotinas que oferecem serviços aos usuários, às suas aplicações e também ao próprio sistema. Esse conjunto de rotinas é denominado núcleo do sistema operacional ou kernel. A estrutura do sistema operacional, ou seja, a maneira como o código do sistema é organizado, pode variar conforme a concepção do projeto. A arquitetura monolítica pode ser definida como um programa:

composto por vários módulos que são compilados separadamente e depois linkados, formando um único programa executável.

composto por vários níveis sobrepostos, onde cada camada fornece um conjunto de funções que podem ser utilizadas apenas pelas camadas superiores.

composto por várias camadas, onde cada camada isola as funções do sistema operacional, facilitando sua manutenção e depuração, além de criar uma hierarquia de níveis de modos de acesso, protegendo as camadas mais internas.

formado por vários níveis, sendo que a camada de nível mais baixo é o hardware, e cada um dos níveis acima cria uma máquina virtual independente, em que cada uma oferece uma cópia virtual do hardware.

cujo núcleo do sistema é o menor e o mais simples possível e, neste caso, os servidores do sistema são responsáveis por oferecer um conjunto específico de funções, como gerência de arquivos, por exemplo.

Q120393•
Sistemas Operacionais •
Gerência de Memória•
COVEST COPSET•
UFPE•
Analista de Tecnologia da Informação

Um dos tipos de gerenciamento de memória utilizados por sistemas operacionais é a memória virtual. Este tipo de memória pode ser gerenciada por segmentação. Assinale a alternativa que descreve o funcionamento do gerenciamento de memória virtual por segmentação:

Divide o espaço de endereçamento virtual e espaço de endereçamento real em blocos do mesmo tamanho chamados de segmentos.

Divide o espaço de endereçamento virtual e espaço de endereçamento real em blocos do mesmo tamanho chamados de buffer.

Divide o espaço do endereçamento virtual em blocos de tamanhos diferentes chamados segmentos.

Divide o espaço de endereçamento virtual e espaço de endereçamento real em blocos do mesmo tamanho chamados de páginas.

Divide o endereçamento memória virtual em partes semelhantes chamadas de blocos.

Q121709•
Sistemas Operacionais •
I O•
COVEST COPSET•
UFPE•
Analista de Tecnologia da Informação

O sistema operacional desempenha um papel importante no tratamento da E/S, atuando como interface entre o hardware e o software que solicita a E/S. Neste contexto é correto afirmar que:

os sistemas de E/S normalmente usam interrupções para comunicar informações sobre operações de E/S. Como essas interrupções causam uma transferência ao modo kernel ou supervisor, elas precisam ser tratadas pelo sistema operacional (SO).

não é responsabilidade do sistema operacional fornecer abstrações para acessar dispositivos nem fornecer rotinas que tratam as operações de baixo nível dos dispositivos.

o sistema operacional tenta oferecer acesso equilibrado aos recursos de E/S, mas não é responsabilidade do SO escalonar acessos a fim de melhorar a vazão do sistema.

o sistema operacional precisa ser capaz de dar comandos aos dispositivos E/S. Esses comandos incluem apenas operações como ler e escrever.

o sistema operacional precisa ser capaz de comunicar-se com os dispositivos de E/S mas não pode impedir que o programa do usuário se comunique com os dispositivos de E/S diretamente.

Notificações

Nada por aqui