Questões Univesp Resolvidas: Estude para as Provas (Comunidade)

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre o banco de dados SQL Server: ( ) O fabricante é a Microsoft. ( ) Não suporta SQL. ( ) Funciona apenas com Windows. ( ) Necessário pagar licença comercial de uso, mas disponibiliza uma versão express. ( ) É um banco de dados relacional. A sequência correta de preenchimento dos parênteses, de cima para baixo, é:

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre diretrizes de projeto informais para esquemas de tabelas: ( ) É importante que a projeção de um esquema de tabela seja algo que possa ser explicado com facilidade. ( ) Busque sempre combinar atributos de várias entidades para construir uma única tabela. ( ) Evite informação redundante nas tabelas, de forma que minimize a quantidade de espaço de armazenamento. ( ) Procure sempre evitar esquemas que possam ter valores NULL com frequência. Os valores NULL devem ser aplicados a casos excepcionais. A sequência correta de preenchimento dos parênteses, de cima para baixo, é:

No contexto dos Sistemas Gerenciadores de Bancos de Dados (SGBD), e na estruturação de um Banco de Dados (BD), existem algumas formas de se mensurar a qualidade de um projeto, uma delas pode ser através da verificação de formas normais que ele alcança. Essa escala de mensuração de qualidade pode ser identificada como: primeira forma normal; segunda forma normal; terceira forma normal; e boyce-codd normal form (BCNF), que corresponde a um processo de normalização. Assinale a alternativa que corresponde ao conceito de normalização.

No contexto do Bancos de Dados (BD), é recorrente a presença da técnica de modelagem de dados para que se possa criar estruturas de dados cada vez mais organizadas e voltadas para o domínio de uso desses dados. Por exemplo, existe um modelo de dados que visa representar um banco de dados como uma coleção de relações, sendo que uma relação remete a uma tabela de valores, na qual cada linha representa uma coleção de valores (colunas) relacionados. Assinale a alternativa que corresponde ao modelo supracitado.

No contexto de Bancos de Dados (BD), existem diferentes tipos de técnicas, orientações, modelos e heurísticas que norteiam como deve ser feita a organização e estruturação dos dados. Em específico, no que tange o Modelo de Entidade-Relacionamento Relacional, existe um elemento que visa uma forma de projetar um esquema de como o banco de dados relacional (um projeto lógico) tendo como base o esquema de um projeto conceitual. Nesse cenário, assinale a alternativa que corresponde ao elemento supracitado no enunciado.

No contexto de _____________________, os valores de chave primária não devem ser do tipo __________ em razão de o valor da _________________ ser utilizado na identificação de _____________. Escolha a alternativa que completa, correta e respectivamente, as lacunas.

Em Banco de Dados (BD), um modelo relacional visa representar o BD como se fosse uma coleção de relação. De maneira informal, cada relação é semelhante a uma tabela de valores ou, até certo ponto, a um arquivo de plano de registros, por exemplo. Nesse sentido, tem-se conceitos e termos bastante presentes, tais como tupla, atributo, relação e domínio. Considerando o contexto dado, avalie as seguintes asserções e a relação proposta entre elas. Domínio visa descrever os tipos de valores que aparecem em cada coluna. PORQUE Um domínio é um conjunto de valores atômicos, sendo que atômico significa que cada valor desse domínio é indivisível. Pode-se concluir que:

Em Bancos de Dados (BD), em específico sobre o modelo relacional e as restrições de integridade, é importante mencionar que nesse tipo de BD relacional existem, obviamente, muitas relações, mas para que isso ocorra de maneira equilibrada e controlada, é necessário determinar certas restrições, tal como restrições de implícitas, restrições baseadas em esquemas e restrições baseadas na aplicação. Considerando o contexto dado, avalie as seguintes asserções e a relação proposta entre elas. As restrições baseadas em esquema têm a possibilidade de serem expressas diretamente nos esquemas de modelos de dados, nos quais, geralmente, são especificadas em DDL. PORQUE São expressas e impostas pelos programas (aplicações), pois não podem ser expressas através dos modelos de dados. Pode-se concluir que:

Em restrições de domínio, no contexto de Banco de Dados (BD), existe uma especificidade relacionada à tipagem de dados, na qual tem-se que restringir formatos, tamanhos e tipos dos dados que serão inseridos em cada uma das tuplas da BD. Isso é necessário para que se possa manter um padrão e controle dos dados inseridos no sistema e manutenção dos existentes. Considerando o contexto dado, avalie as seguintes asserções e a relação proposta entre elas. Tratando-se de restrições de domínio, elas visam especificar valores dentro de uma das tuplas, sendo que esse valor existente em cada atributo é um valor indivisível dentro do domínio. PORQUE Os tipos de dados associados aos domínios costumam incluir valores numéricos por padrão para números inteiros e reais, dados numéricos padrão para inteiros (como show integer , integer e long integer ) e os números reais ( float e double ). Pode-se concluir que:

Observe a tabela a seguir: PEDIDO Nro_Pedido Cod_Produto Qtde Valor_Unit 1 1929292 1 230,50 1 7667701 2 499,90 2 9888221 3 56,00 3 7654884 1 619,99 Agora observe o seguinte comando: DELETE FROM PEDIDO WHERE NRO_PEDIDO=1 OR VALOR_UNIT < 100; Analise as informações abaixo. Todos os registros da tabela serão excluídos. Serão excluídos 3 registros da tabela. O comando tem um erro de sintaxe e não será executado. O registro que tem o nro_pedido igual a 2 será excluído. O registro que tem o cod_produto igual a 1929292 não será excluído. De acordo com as afirmações apresentadas, indique qual alternativa é a correta:

No contexto de Banco de Dados (BD), existem diferentes técnicas, metodologias, terminologias e heurísticas que são amplamente utilizadas para a estruturação, manutenção e ampliação de BD. Entre elas, existe a indexação, que está relacionada à atividade de estruturação de dados no intuito de otimizar processos de localização e de recuperação dos registros. Considerando o contexto dado, avalie as seguintes asserções e a relação proposta entre elas. Para encontrar um registro em um arquivo de dados com base em uma condição de pesquisa em um campo de índice, o índice é pesquisado levando o ponteiro para onde os registros estão localizados no arquivo principal. PORQUE Os tipos predominantes de índice são baseados em arquivos ordenados e usam estruturas em árvores para organizar o índice. A respeito dessas asserções, assinale a alternativa correta.

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre o comando Alter Table: ( ) Pode ser utilizado para alterar o nome de uma tabela. ( ) Pode ser utilizado para adicionar um campo em uma tabela. ( ) Pode ser utilizado para excluir um campo de uma tabela. ( ) Pode ser utilizado para definir a chave primária de uma tabela. ( ) Pode ser utilizado para excluir dados de uma tabela. A sequência correta de preenchimento dos parênteses, de cima para baixo, é:

Os comandos abaixo são chamados de DDL ( Data Definition Language ), com exceção do comando:

É uma estrutura de acesso auxiliar utilizada para agilizar a recuperação de registros em resposta a certas condições de consulta. Estamos nos referindo a:

Considere a seguinte conjectura: "Para todo natural n ≥ 1 n \geq 1 , temos que 2 n 2 - 7 n + 5 ≥ 0 2n^2-7n+5 \geq 0 . Assinale a alternativa abaixo que corresponda a um contra-exemplo correto de que tal conjectura é falsa.

De especial utilidade no âmbito da ciência da computação, determinado princípio mostra-se como uma implicação, com a tese de que uma sentença da forma P(n) é verdadeira para todos os inteiros n positivos. Portanto, quando é necessário demonstrar que alguma propriedade é válida para qualquer inteiro positivo n , pode-se recorrer ao emprego dessa técnica de demonstração. Assinale a alternativa que apresenta a descrição correta do princípio em questão .

Na demonstração do teorema: Para todo n ∈ ℕ n \in \mathbb{N} , n ≥ 1 n \geq 1 , 1 + 3 + . . . + ( 2 n - 1 ) = n 2 1 + 3 + ... + (2n-1) = n^2 , utilizando o Princípio da Indução Finita, assinale a alternativa que corresponde à sequência correta de passos a serem seguidos:

Considere a prova do seguinte teorema, utilizando o Princípio da Indução Finita: Para todo n ∈ ℕ n \in \mathbb{N} , 2 + 5 + 8 + . . . + ( 2 + 3 n ) = ( n + 1 ) ( 4 + 3 n ) 2 2 + 5 + 8 + ... + (2+3n) = \frac{(n+1)(4+3n)}{{2}} . Assinale a alternativa que corresponde à hipótese de indução.

Seja s i s_i uma proposição dada por um laço da forma: enquanto B, faça P fim do enquanto Na verificação de correção do trecho s i s_i , se Q Q é a pré-condição, qual deve ser a pós-condição que deve ser verificada após a aplicação da proposição s i s_i ?

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 :

Produzir programas mais seguros é uma ciência, no sentido de um domínio de conhecimentos formais que utilizam abordagens sistemáticas e métodos meticulosos, dentre eles, há o Método B, um valioso ferramental que sustenta o trabalho de demonstração de correção. Analise as asserções a seguir e a relação proposta entre elas. I. O Método B apoia a especificação formal de um projeto, mediante um modelo empírico do sistema a ser desenvolvido. PORQUE II. Gerar, de forma automática, os lemas que precisam ser provados, para garantir que o modelo reflete os requisitos do sistema, constitui parte desse apoio. Avaliando essas asserções, é correto afirmar que :

Assinale a alternativa que corresponde à negação da seguinte proposição: ( ∃ n ∈ ℕ ) ( ∀ m ∈ ℕ ) ( m d c ( n , m ) = 1 ) (\exists n \in\mathbb{N})(\forall m \in \mathbb{N})(mdc(n,m)=1) .

Considere a sentença: "Se todo carro inglês é confortável e uma Porsche não é confortável, então a Porsche não é um carro inglês". Assinale a alternativa que corresponde à escrita em linguagem simbólica da frase acima, onde: C(x): o carro x é confortável I(x): o carro x é inglês p: Porsche

Considere a seguinte fórmula bem-formulada: [ ( ∀ x ) ( P ( x ) → ( Q ( x ) ∨ R ( x ) ) ] ∧ ( R ( y ) ' ∧ P ( y ) ) → Q ( y ) [(\forall x)(P(x) \to (Q(x) \vee R(x))]\wedge (R(y)'\wedge P(y)) \to Q(y) Analisando a demonstração abaixo, assinale a alternativa que corresponde à justificativa correta do item 4. ( ∀ x ) ( P ( x ) → ( Q ( x ) ∨ R ( x ) ) (\forall x)(P(x) \to (Q(x) \vee R(x)) hipótese R ( y ) ' R(y)' hipótese P ( y ) P(y) hipótese P ( y ) → Q ( y ) ∨ R ( y ) P(y) \to Q(y) \vee R(y) Q ( y ) ∨ R ( y ) Q(y) \vee R(y) 3,4, modus ponens Q ( y ) Q(y) 2,5 e tautologia ( Q ∨ R ) ∧ R ' ) → Q (Q\vee R)\wedge R') \to Q

A linguagem de programação Prolog tem seu nome formado pelas iniciais de Programming in Logic (Programando em Lógica). Para todos os efeitos, trata-se de uma linguagem de programação declarativa. O conjunto de declarações que perfazem um programa em Prolog também é denominado banco de dados Prolog. A peculiaridade é que, necessariamente, em um banco de dados Prolog, os itens têm uma de duas formas. Assinale a alternativa que apresenta a descrição correta das duas formas em questão .

O axioma de atribuição é uma daquelas regras de inferência que se mostra especialmente apropriada para declarações de atribuição. Afinal, o que esse axioma preconiza é que, quando a precondição e a pós-condição se encontram devidamente relacionadas, a consequência é que a Tripla de Hoare consegue ser posicionada em qualquer lugar junto a uma sequência de demonstração, dispensando que seja preciso inferir a seu respeito, quanto a alguma proposição anterior nessa sequência. Essa é a razão pela qual a Tripla de Hoare, diante de uma declaração de atribuição, seja similar a uma hipótese. Analise as asserções a seguir e a relação proposta entre elas. I. Na precondição, busca-se a localização de todos os lugares onde aparece a variável sobre a qual se conduz uma atribuição, na declaração de atribuição, logo acima da precondição. PORQUE II. Em cada um desses lugares, é preciso substituir a expressão que está sendo atribuída, o que consequentemente resulta na pós-condição. Avaliando essas asserções, é correto afirmar que :

Considere o seguinte programa, que visa trocar a posição das entradas x, y e z, de tal forma que transforme uma terna (x,y,z) em (z,x,y):

v1:=x
v2:=y
x:=z
y:=v1
z:=v2

Ao fazer a demonstração de correção desse programa, assinale a alternativa que corresponde à pré-condição da sétima linha a seguir:

{x=a, y=b, z=c}
v1:=x
{v1=a, y=b, z=c}
v2:=y
{v1=a, v2=b, z=c}
x:=z
y:=v1
{x=c, y=a, v2=b}
z:=v2
{x=c, y=a, z=b}

Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido é denominado lógica proposicional, lógica declarativa ou cálculo proposicional. No presente contexto, o termo “cálculo” é utilizado no sentido mais amplo, portanto, muito mais inclinado à avaliação e ao raciocínio do que à diferenciação e à integração. Com base nas informações apresentadas, analise as afirmativas a seguir e assinale V para a(s) verdadeira(s) ou F para a(s) falsa(s). I. ( ) Um argumento válido deveria ser verdadeiro com base integralmente em sua estrutura interna. II. ( ) Para todos os efeitos, uma hipótese de um argumento válido corresponde à conclusão do argumento. III. ( ) Por meio do sistema lógico completo, entende-se que todos os argumentos válidos deveriam ser demonstráveis. Assinale a alternativa que apresenta a sequência correta .

O valor lógico da expressão (∀ x ) (x > 0) é dependente do domínio dos objetos sobre os quais se faz a referência ou a interpretação da expressão. Portanto, há uma dependência da coleção de objetos dentre os quais x pode ser selecionado. Analise as asserções a seguir e a relação proposta entre elas. I. Essa coleção de objetos é denominada conjunto universo. PORQUE II. Inexistem condições impostas para o valor lógico da expressão. Avaliando essas asserções, é correto afirmar que :

Ao se adentrar o campo de estudo da lógica proposicional, no contexto dos fundamentos matemáticos para computação, é praticamente inevitável se deparar com os quantificadores e predicados. Em relação aos quantificadores, sabe-se que eles informam quantos objetos têm determinada propriedade. Assinale a alternativa que apresenta a descrição correta do conceito de predicados ternários .

Todas as Questões

Feedback

Todas as Questões

Móveis Planejados de Alto Padrão | Marcenaria RGM

Precisa de conforto para estudar? 📚

Móveis Planejados de Alto Padrão | Marcenaria RGM

Precisa de conforto para estudar? 📚

Quer divulgar sua marca aqui?

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre o banco de dados SQL Server: ( ) O fabricante é a Microsoft. ( ) Não suporta SQL....

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre diretrizes de projeto informais para esquemas de tabelas: ( ) É importante que a ...

No contexto dos Sistemas Gerenciadores de Bancos de Dados (SGBD), e na estruturação de um Banco de Dados (BD), existem algumas formas de se mensurar a...

No contexto do Bancos de Dados (BD), é recorrente a presença da técnica de modelagem de dados para que se possa criar estruturas de dados cada vez mai...

No contexto de Bancos de Dados (BD), existem diferentes tipos de técnicas, orientações, modelos e heurísticas que norteiam como deve ser feita a organ...

Móveis Planejados de Alto Padrão | Marcenaria RGM

No contexto de ___, os valores de chave primária não devem ser do tipo em razão de o valor da _ ser utili...

Em Banco de Dados (BD), um modelo relacional visa representar o BD como se fosse uma coleção de relação. De maneira informal, cada relação é semelhant...

Precisa de conforto para estudar? 📚

Em Bancos de Dados (BD), em específico sobre o modelo relacional e as restrições de integridade, é importante mencionar que nesse tipo de BD relaciona...

Em restrições de domínio, no contexto de Banco de Dados (BD), existe uma especificidade relacionada à tipagem de dados, na qual tem-se que restringir ...

Observe a tabela a seguir: PEDIDO Nro_Pedido Cod_Produto Qtde Valor_Unit 1 1929292 1 230,50 1 7667701 2 499,90 2 9888221 3 56,00 3 7654884 1 619,99 Ag...

No contexto de Banco de Dados (BD), existem diferentes técnicas, metodologias, terminologias e heurísticas que são amplamente utilizadas para a estrut...

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre o comando Alter Table: ( ) Pode ser utilizado para alterar o nome de uma tabela. ...

Os comandos abaixo são chamados de DDL ( Data Definition Language ), com exceção do comando:...

É uma estrutura de acesso auxiliar utilizada para agilizar a recuperação de registros em resposta a certas condições de consulta. Estamos nos referind...

Considere a seguinte conjectura: "Para todo natural n ≥ 1 n \geq 1 , temos que 2 n 2 - 7 n + 5 ≥ 0 2n^2-7n+5 \geq 0 . Assinale a alternativa abaixo qu...

De especial utilidade no âmbito da ciência da computação, determinado princípio mostra-se como uma implicação, com a tese de que uma sentença da forma...

Na demonstração do teorema: Para todo n ∈ ℕ n \in \mathbb{N} , n ≥ 1 n \geq 1 , 1 + 3 + . . . + ( 2 n - 1 ) = n 2 1 + 3 + ... + (2n-1) = n^2 , utiliza...

Considere a prova do seguinte teorema, utilizando o Princípio da Indução Finita: Para todo n ∈ ℕ n \in \mathbb{N} , 2 + 5 + 8 + . . . + ( 2 + 3 n ) = ...

Seja s i s_i uma proposição dada por um laço da forma: enquanto B, faça P fim do enquanto Na verificação de correção do trecho s i s_i , se Q Q é a pr...

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 trabal...

Produzir programas mais seguros é uma ciência, no sentido de um domínio de conhecimentos formais que utilizam abordagens sistemáticas e métodos meticu...

Assinale a alternativa que corresponde à negação da seguinte proposição: ( ∃ n ∈ ℕ ) ( ∀ m ∈ ℕ ) ( m d c ( n , m ) = 1 ) (\exists n \in\mathbb{N})(\fo...

Considere a sentença: "Se todo carro inglês é confortável e uma Porsche não é confortável, então a Porsche não é um carro inglês". Assinale a alternat...

Considere a seguinte fórmula bem-formulada: [ ( ∀ x ) ( P ( x ) → ( Q ( x ) ∨ R ( x ) ) ] ∧ ( R ( y ) ' ∧ P ( y ) ) → Q ( y ) [(\forall x)(P(x) \to (Q...

A linguagem de programação Prolog tem seu nome formado pelas iniciais de Programming in Logic (Programando em Lógica). Para todos os efeitos, trata-se...

O axioma de atribuição é uma daquelas regras de inferência que se mostra especialmente apropriada para declarações de atribuição. Afinal, o que esse a...

Considere o seguinte programa, que visa trocar a posição das entradas x x , y y e z z , de tal forma que transforme uma terna ( x , y , z ) (x,y,z) , ...

Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido é denominado lógica...

O valor lógico da expressão (∀ x ) (x > 0) é dependente do domínio dos objetos sobre os quais se faz a referência ou a interpretação da expressão. Por...

Ao se adentrar o campo de estudo da lógica proposicional, no contexto dos fundamentos matemáticos para computação, é praticamente inevitável se depara...

Todas as Questões

Feedback

Todas as Questões

Móveis Planejados de Alto Padrão | Marcenaria RGM

Precisa de conforto para estudar? 📚

Móveis Planejados de Alto Padrão | Marcenaria RGM

Precisa de conforto para estudar? 📚

Quer divulgar sua marca aqui?

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre o banco de dados SQL Server: ( ) O fabricante é a Microsoft. ( ) Não suporta SQL....

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre diretrizes de projeto informais para esquemas de tabelas: ( ) É importante que a ...

No contexto dos Sistemas Gerenciadores de Bancos de Dados (SGBD), e na estruturação de um Banco de Dados (BD), existem algumas formas de se mensurar a...

No contexto do Bancos de Dados (BD), é recorrente a presença da técnica de modelagem de dados para que se possa criar estruturas de dados cada vez mai...

No contexto de Bancos de Dados (BD), existem diferentes tipos de técnicas, orientações, modelos e heurísticas que norteiam como deve ser feita a organ...

Móveis Planejados de Alto Padrão | Marcenaria RGM

No contexto de _____________________, os valores de chave primária não devem ser do tipo __________ em razão de o valor da _________________ ser utili...

Em Banco de Dados (BD), um modelo relacional visa representar o BD como se fosse uma coleção de relação. De maneira informal, cada relação é semelhant...

Precisa de conforto para estudar? 📚

Em Bancos de Dados (BD), em específico sobre o modelo relacional e as restrições de integridade, é importante mencionar que nesse tipo de BD relaciona...

Em restrições de domínio, no contexto de Banco de Dados (BD), existe uma especificidade relacionada à tipagem de dados, na qual tem-se que restringir ...

Observe a tabela a seguir: PEDIDO Nro_Pedido Cod_Produto Qtde Valor_Unit 1 1929292 1 230,50 1 7667701 2 499,90 2 9888221 3 56,00 3 7654884 1 619,99 Ag...

No contexto de Banco de Dados (BD), existem diferentes técnicas, metodologias, terminologias e heurísticas que são amplamente utilizadas para a estrut...

Considere verdadeiras (V) ou falsas (F) as afirmações a seguir sobre o comando Alter Table: ( ) Pode ser utilizado para alterar o nome de uma tabela. ...

Os comandos abaixo são chamados de DDL ( Data Definition Language ), com exceção do comando:...

É uma estrutura de acesso auxiliar utilizada para agilizar a recuperação de registros em resposta a certas condições de consulta. Estamos nos referind...

Considere a seguinte conjectura: "Para todo natural n ≥ 1 n \geq 1 , temos que 2 n 2 - 7 n + 5 ≥ 0 2n^2-7n+5 \geq 0 . Assinale a alternativa abaixo qu...

De especial utilidade no âmbito da ciência da computação, determinado princípio mostra-se como uma implicação, com a tese de que uma sentença da forma...

Na demonstração do teorema: Para todo n ∈ ℕ n \in \mathbb{N} , n ≥ 1 n \geq 1 , 1 + 3 + . . . + ( 2 n - 1 ) = n 2 1 + 3 + ... + (2n-1) = n^2 , utiliza...

Considere a prova do seguinte teorema, utilizando o Princípio da Indução Finita: Para todo n ∈ ℕ n \in \mathbb{N} , 2 + 5 + 8 + . . . + ( 2 + 3 n ) = ...

Seja s i s_i uma proposição dada por um laço da forma: enquanto B, faça P fim do enquanto Na verificação de correção do trecho s i s_i , se Q Q é a pr...

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 trabal...

Produzir programas mais seguros é uma ciência, no sentido de um domínio de conhecimentos formais que utilizam abordagens sistemáticas e métodos meticu...

Assinale a alternativa que corresponde à negação da seguinte proposição: ( ∃ n ∈ ℕ ) ( ∀ m ∈ ℕ ) ( m d c ( n , m ) = 1 ) (\exists n \in\mathbb{N})(\fo...

Considere a sentença: "Se todo carro inglês é confortável e uma Porsche não é confortável, então a Porsche não é um carro inglês". Assinale a alternat...

Considere a seguinte fórmula bem-formulada: [ ( ∀ x ) ( P ( x ) → ( Q ( x ) ∨ R ( x ) ) ] ∧ ( R ( y ) ' ∧ P ( y ) ) → Q ( y ) [(\forall x)(P(x) \to (Q...

A linguagem de programação Prolog tem seu nome formado pelas iniciais de Programming in Logic (Programando em Lógica). Para todos os efeitos, trata-se...

O axioma de atribuição é uma daquelas regras de inferência que se mostra especialmente apropriada para declarações de atribuição. Afinal, o que esse a...

Considere o seguinte programa, que visa trocar a posição das entradas x x , y y e z z , de tal forma que transforme uma terna ( x , y , z ) (x,y,z) , ...

Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido é denominado lógica...

O valor lógico da expressão (∀ x ) (x > 0) é dependente do domínio dos objetos sobre os quais se faz a referência ou a interpretação da expressão. Por...

Ao se adentrar o campo de estudo da lógica proposicional, no contexto dos fundamentos matemáticos para computação, é praticamente inevitável se depara...

No contexto de ___, os valores de chave primária não devem ser do tipo em razão de o valor da _ ser utili...