ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site
|
|
- Manoela de Vieira Valgueiro
- 6 Há anos
- Visualizações:
Transcrição
1 !"#$%&"$!'!'"& '&()**+,(,-$%.!! /)(,-$'(),*0)**+ /'$/1'"%%!2%/! )**+, ORIENTAÇÃO Leia o Guia Logístico de Avaliação UNITINS publicado no site ATENÇÃO: 1. Verifique se a numeração das questões e a paginação estão corretas. 2. A prova está composta de 10 questões de A a J, enumeradas de 1 a 4; 3. Na segunda folha, consta o cartão-resposta a ser preenchido, destacado e entregue ao Tutor. 4. Caso encontre alguma irregularidade, informe ao Tutor. 5. A interpretação das questões é parte integrante da prova, NÃO SENDO PERMITIDAS perguntas ao Tutor. 6. A prova é INDIVIDUAL, SENDO VEDADAS consultas de qualquer natureza. 7. Para cada questão só há UMA ALTERNATIVA CORRETA. Questão em branco ou com mais de uma alternativa assinalada, anula-se a questão. 8. O cartão-resposta não poderá ser dobrado, amassado, rasurado, apagado por borracha ou corretivo, ou conter qualquer marcação fora dos campos destinados às respostas, pois existindo qualquer das situações especificadas acima tornará nula a questão. 9. Utilize caneta esferográfica azul ou preta para preenchimento do cartão-resposta, a utilização de lápis implicará na anulação do referido cartão. 10. Utilize o verso das folhas da prova como rascunho, se necessário, porém não risque o verso do gabarito. 11. Você dispõe do período de aula para fazer a prova objetiva e o preenchimento do cartãoresposta. 12. Após o término da prova, entregue ao Tutor o cartão-resposta devidamente assinado. Boa Prova.
2 %'!(%$&!&' 3$&'! %$&!&' ' "&'%4$&!"#$%&"$!'!'"& '&()**+,(,-$%.!! /)()-$'(,5*6)**+ /'$/1'"%%!2%/! )**+,!"#!$ %!!!! &!!' (! &! )! &! *+!)!&!*!,&*-$.&!)*/!!!,&/*&&*!$ &!)! &! % )*!!5
3 /788 9: ;<' ;=>? ; 9 A Dizemos que duas proposições são independentes quando na montagem da tabela verdade aparecem todas as combinações de valores lógicos possíveis (VV, VF, FV e FF). Dessa maneira, observe a proposição e a tabela verdade a seguir e aponte a alternativa correta: ((p q) r) (p r) p q r p q (p q) r p r ((p q) r) (p r) V V V V V V V V V F V F V F V F V F V V V V F F F V V V F V V F V V V F V F F V F F F F V F V V V F F F F V F F 1) p, q, e r são dependentes entre si. (errado, pois todas as combinações são verificadas) 2) p q é dependente de r. (errado, pois todas as combinações são verificadas) 3) (p q) r é dependente de p, q e r. (note que comparando (p q) r com p, não aparece a combinação FF, em relação a q, não aparece FF, e em relação a r, não aparece VF, CORRETA) 4) (p q) r é dependente somente de p q (como visto no item anterior, existe dependência, também em relação a r, incorreta) Resposta: alternativa 3 B Em relação aos conceitos de implicação e equivalência, assinale a alternativa correta. 1) A relação de implicação entre duas proposições simples ou compostas ocorre somente quando estas são ligadas pelo conectivo condicional. 2) Para que duas proposições possuam uma relação de implicação, o valor lógico das duas deve ser sempre igual, quando comparadas as suas tabelas verdade. 3) Para que duas proposições sejam consideradas equivalentes, elas devem, sempre, conter os mesmos conectivos lógicos. 4) A equivalência entre duas proposições pode ser observada pela não existência das cominações VF e FV quando comparamos as suas tabelas verdade.
4 De acordo com o que foi visto nas aulas, e com o que está contido na apostila (aula 04) Alternativa 1: a relação de implicação não é derivada somente dos conectivos, isso inclui o condicional. Ela é verificada na tabela verdade, independente dos conectivos usados nas proposições em questão. INCORRETA. Alternativa 2: A relação de implicação é verificada na tabela verdade quando não ocorre a linha VF, nessa ordem. INCORRETA. Alternativa 3: Assim como na relação de implicação, a equivalência é verificada observando-se a tabela verdade, não os conectivos usados. INCORRETA. Alternativa 4: A relação de equivalência é verificada quando, na tabela verdade, os valores lógicos das proposições em questão são idênticos, ou seja, não ocorrem as combinações VF e FV. CORRETA. Resposta: Alternativa 4 C A respeito das relações de implicação e equivalência, é falso afirmar que: 1) é impossível existir equivalência ou implicação entre duas proposições se não houver dependência entre elas. 2) Equivalência e implicação são exatamente a mesma coisa, mas em ordem inversa de verificação; 3) A lei de Morgan e a dupla negação são exemplos de equivalências notáveis. 4) A implicação é uma relação de dependência, no mínimo, simples, enquanto que a equivalência é uma relação de dependência, no mínimo dupla. De acordo com o exposto na aula 04 1) Considerando que a dependência é resultado do não aparecimento de uma ou mais combinações de proposições, e que a equivalência e implicação são verificadas na ausência de combinações específicas, não há implicação ou equivalência sem dependência. CORRETA. 2) Equivalência e Implicação não são a mesma coisa, ainda que a ordem da combinação de valores lógicos seja importante para a implicação. INCORRETA. 3) Como visto em aula e na apostila (aula 04) estes são realmente exemplos de equivalências notáveis. CORRETA 4) A implicação é resultado da não ocorrência de uma combinação de valores na tabela verdade (dependência simples) e a equivalência de duas combinações (dependência dupla). CORRETO. Resposta : alternativa 2. D Em relação a predicados e dos quantificadores Universal e Existencial, podemos afirmar que: 1) Qualquer sentença da lógica de predicados deve apresentar, pelo menos, esses dois quantificadores (universal e existencial). 2) Qualquer sentença, raciocínio ou argumento expresso através da lógica de predicados, exclui terminantemente, os conectivos lógicos de disjunção e conjunção.
5 3) A lógica de predicados inclui uma forma de negar os quantificadores universal (para todo) e existencial (existe), através dos quantificadores NENHUM e NÃO EXISTE, respectivamente. 4) Todas as anteriores estão erradas. De acordo com o exposto na aula 05(tele-aula e apostila) 1) A utilização dos quantificadores universal e existencial deve ser regida pela necessidade de representar bem o fato em questão, não necessariamente devem, sempre, serem os dois utilizados. INCORRETA. 2) Como visto em aula, a lógica de predicados, que utiliza os quantificadores, pode complementar a representação da lógica de proposições, e não excluí-la. INCORRETA. 3) Como visto em aula, existem as negações dos quantificadores. Mas não como proposto no enunciado. INCORRETA 4) Sendo todas as anteriores incorretas, CORRETO. Resposta : alternativa 4. E Assinale a alternativa correta sobre a álgebra de boole. 1) Pode representar sistemas algébricos contendo todos os algarismos arábicos. 2) Considera apenas funções que têm zeros e uns como entradas, e zeros e uns como saída. 3) Consegue expresser raciocínios lógicos sem a utilização de operadores (conectivos). 4) Todas as anteriores estão erradas. De acordo com o exposto na aula 05(tele-aula e apostila) 1) Como visto em aula, a álgebra de boole considera apenas os algarismos 0 e 1. INCORRETA. 2) CORRETA. 3) Apenas as proposições não são suficientes para expressar todo o raciocínio, em quase todos os casos é necessário utilizar quantificadores. INCORRETA 4) Estando a alternativa 2 correta, esta torna-se inválida. INCORRETO. Resposta : alternativa 2. F Sobre funções booleanas, é incorreto afirmar que: 1) Consideram apenas as operações E, OU e NÃO. 2) Pode ser composta de operações, variáveis e constantes lógicas. 3) Podem ser usadas para representar a funcionalidade de circuitos digitais. 4) Apenas podem ser utilizadas para montar tabelas verdade.
6 De acordo com o exposto em aula (tele-aula e apostila) 1) CORRETA. 2) CORRETA. 3) CORRETA 4) Funções booleanas são usadas em várias situações, além disso, a montagem de tabelas verdade pode ser usada justamente para verificar os possíveis valores que uma função booleana pode assumir. INCORRETO. Resposta : alternativa 4. G Sobre funções booleanas, assinale a alternativa incorreta: 1) O seu estudo tem muita utilidade no contexto da informática, da computação e do desenvolvimento de circuitos digitais. 2) Uma função que tem sempre o mesmo valor de saída é chamada de função constante. 3) Algumas propriedades algébricas, como a distributiva e associativa, são possíveis de serem aplicadas nas funções booleanas. 4) Todas as anteriores são falsas. De acordo com o exposto na aula 06 (tele-aula e apostila) 1) CORRETA. 2) CORRETA. 3) CORRETA 4) Como todas as anteriores são corretas, esta é a falsa. INCORRETO. Resposta : alternativa 4. H Sobre a simplificação de funções booleanas, assinale a alternativa falsa: 1 A simplificação de uma função pode resultar na diminuição de custos de fabricação do circuito digital que ela representa. 2 Sua utilidade é muito pouca, já que, na prática ninguém utiliza a simplificação de funções. 3 Funções podem ser simplificadas através do método algébrico. 4 Uma função booleana constante pode, também, ser alvo de simplificação. De acordo com o exposto na aula 06 (tele-aula e apostila) 1) CORRETA. 2) Como visto em aula, a simplificação de funções é muito útil, existindo, inclusive, softwares exclusivos para efetuar esta tarefa. INCORRETA. 3) CORRETA
7 4) CORRETA. Resposta : alternativa 2. I Sobre Mapas de Karnaugh, podemos afirmar que 1 Não servem para efetuar a simplificação de funções. 2 Podem ser usados tanto na representação gráfica de funções quanto na sua simplificação. 3 São utilizados apenas para fins didáticos. 4 Todas as anteriores estão erradas. De acordo com o exposto na aula 07 (tele-aula e apostila) 1) Os mapas de Karnaugh podem ser usados tanto para representação quanto para simplificação de funções booleanas. INCORRETA. 2) CORRETA. 3) Assim como as funções booleanas, são comercialmente utilizados na simplificação de circuitos digitais. INCORRETA 4) Como a alternativas 2 é correta, esta está inválida. INCORRETA. Resposta : alternativa 2. J - Assinale a alternativa correta: 1 Proposições são consideradas equivalentes quando todas as combinações de valores lógicos são verificadas na tabela verdade. 2 Existe uma maneira de transformar uma implicação em uma equivalência, que é negar a negação. 3 A negação da negação é uma implicação notável. 4 Todas as afirmações são falsas. De acordo com o exposto na aula 04 (tele-aula e apostila) 1) Proposições são equivalentes quando na aparecem as combinações VF e FV na tabela verdade, e quando todas as combinações aparecem, as proposições são consideradas independentes. INCORRETA. 2) Para transformar uma implicação em equivalência é necessário alterar as proposições, e a negação da negação, na verdade, acaba tendo o mesmo valor lógico da proposição original INCORRETA. 3) A negação da negação é uma EQUIVALÊNCIA notável, e não uma implicação. INCORRETA 4) CORRETA. Resposta : alternativa 4.
8 Coordenação de Tecnologia em Análise e Desenvolvimento de Sistemas
FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1
FUNDAÇÃO UNIVERSIDADE DO TOCANTINS TADS 2008/1 1º PERÍODO MP1 1º ETAPA 11/07/2008 MATEMÁTICA PARA COMPUTAÇÃO 2008/1 Dados de identificação do Aluno: Nome: Login: Cidade: CA: Data da Prova: / / ORIENTAÇÃO
Leia maisApostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE.
INSTITUTO SUPERIOR POLITÉCNICO METROPOLITANO DE ANGOLA DEPARTAMENTO DE CIÊNCIAS TECNOLÓGICAS E ENGENHARIAS Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. SDC LCC1N
Leia maisaula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:
aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas
Leia maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisCEM. RLM Tabela Verdade
CEM CADERNO DE EXERCÍCIOS MASTER Tabela Verdade Período 2006 2016 1) IBFC - Agente Penitenciário (SEDS MG)-2014 Dentre as alternativas abaixo e considerando o valor lógico das proposições compostas, a
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisProfessor conteudista: Ricardo Holderegger
Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisATA/TO AOCP Resolução: Inicialmente, representaremos o que foi dado pelo enunciado:
ATA/TO AOCP - 2012 01. Considere três conjuntos finitos X, Y e Z. Sabendo que I. X Y tem 16 elementos; II. X Z tem 7 elementos e III. X Y Z tem 2 elementos. O número de elementos de (Y U Z) X é (A) 2.
Leia maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Leia maisComo primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
Leia maisLógica para Computação. Álgebra de Boole
Lógica para Computação Álgebra de Boole Formas Normais Definição: diz-se que uma proposição está na forma normal (FN) se e somente se, quando muito, contém os conectivos ~, ^ e v. - Toda proposição pode
Leia maisParte 2 CIRCUITOS COMBINACIONAIS
1 DEFINIÇÕES Parte 2 CIRCUITOS COMBINACIONAIS DEFINIÇÕES 09/08/2017 1 09/08/2017 2 1 DEFINIÇÕES Formalismo matemático 1 DEFINIÇÕES Tipos de lógica binária Lógica booleana Dois valores Lógica binária Escopo
Leia maisLógica Proposicional e Álgebra de Boole
Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser
Leia maisDados de identificação do Acadêmico: Nome: Login: CA: Cidade: UF Assinatura: CARTÃO RESPOSTA
ANÁLISE E DESENVOLVIMENTO DE SISTEMAS TURMA 2008 4º PERÍODO 7º MÓDULO AVALIAÇÃO A2 DATA 08/10/2009 ESTATÍSTICA 2009/2 Dados de identificação do Acadêmico: Nome: Login: CA: Cidade: UF Assinatura: CARTÃO
Leia maisPREFE ITURA MUNICIPAL DE GUAJ ARÁ MIRIM
Caderno de Questões PREFE ITURA MUNICIPAL DE GUAJ ARÁ MIRIM realização S18 - Médico Clínico Geral AT E N Ç Ã O 1. O caderno de questões contém 20 questões de múltipla-escolha, conforme distribuição abaixo,
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisNome: Login: CA: Cidade: UF CARTÃO RESPOSTA QUESTÃO RESPOSTA QUESTÃO RESPOSTA
CURSO - TADS TURMA 2008.2 4 PERÍODO 4 MÓDULO AVALIAÇÃO MP1 DATA 05/11/2008 BANCO DE DADOS 2008/2 Dados de identificação do Acadêmico: Nome: Login: CA: Cidade: UF CARTÃO RESPOSTA QUESTÃO RESPOSTA QUESTÃO
Leia maisDEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (18 de setembro a 17 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisMatéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Auditor Tributário ISS GRAMADO 2019 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES...
Leia maisLógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch
Lógica Boolena Aula 05 Prof. Msc. Arthur G. Bartsch Departamento de engenharia elétrica DEE Centro de ciências tecnológicas CCT Universidade do estado de Santa Catarina UDESC Álgebra de Boole ALB0001 arthur.bartsch@udesc.br
Leia maisLógica Proposicional (cont.)
Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar
Leia maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisLógica Computacional
Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos
Leia maisUFMT. Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO
UFMT 1) IDENTIFICAÇÃO: Disciplina: Lógica Matemática e Elementos de Lógica Digital Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO Curso:
Leia maisMatemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisOs Fundamentos: Lógica de Predicados
Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01
Leia maisAbaixo descreveremos 6 portas lógicas: AND, OR, NOT, NAND, NOR e XOR.
9. Apêndice - Portas e Operações Lógicas Uma porta lógica é um circuito eletrônico (hardware) que se constitui no elemento básico de um sistema de computação. A CPU, as memórias, as interfaces de E/S são
Leia maisRaciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.
Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender
Leia maisLÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos
Leia maisEletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary
Eletrônica Digital Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos Professor: Francisco Ary Introdução Vimos na aula anterior conversão de números binário fracionários em decimal;
Leia maisProf. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisELETRÔNICA DIGITAL Aula 4-Álgebra de Boole e Simplificações de circuitos lógicos
ELETRÔNICA DIGITAL Aula 4-Álgebra de Boole e Simplificações de circuitos lógicos Prof.ª Eng. Msc. Patricia Pedroso Estevam Ribeiro Email: patriciapedrosoestevam@hotmail.com 08/10/2016 1 Introdução Os circuitos
Leia maisLógica de Predicados. Correção dos Exercícios Regras de Inferência
Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados
Leia maisUnidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital.
Unidade IV 9 INTRODUÇÃO À ÁLGEBRA DE BOOLE Na álgebra booleana, estão todos os fundamentos da eletrônica digital 91 Operador binário O sistema numérico surgiu ao longo da história do desenvolvimento humano
Leia maisCircuitos Digitais Álgebra de Boole
Circuitos Digitais Álgebra de Boole Álgebra de Boole (ou Booleana) Desenvolvida pelo matemático britânico George Boole para estudo da lógica. Definida sobre um conjunto de dois elementos: (falso, verdadeiro)
Leia maisAtenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.
CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases
Leia maisProf. Leonardo Augusto Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Aula 1 Sistemas de numeração posicional Aula 2 Modificadores e conectores lógicos Prof. Leonardo Augusto Casillo OBJETIVOS DO CURSO
Leia maisMATEMÁTICA Questões comentadas Daniela Arboite
MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível
Leia maisÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES
ÁLGEBRA DE BOOLE POSTULADOS, TEOREMAS E PROPRIEDADES A aplicação principal da álgebra de Boole é o estudo e a simplificação algébrica de circuitos lógicos. As variáveis booleanas podem assumir apenas dois
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisO recurso solicita a mudança do gabarito da alternativa C para a alternativa A.
Nível: SUPERIOR Área: Raciocínio Lógico QUESTÃO 14. O recurso solicita a mudança do gabarito da alternativa C para a alternativa A. A alternativa correta é a letra C. O item em questão envolve Princípio
Leia maisDisciplina: Lógica Matemática Prof. Etelvira Leite
Disciplina: Prof. Etelvira Leite A álgebra de Boole é um conjunto de postulados e operações lógicas com variáveis binárias desenvolvido pelo matemático e filósofo inglês George Boole (1815-1864). O inglês
Leia maisVERSÃO 1 RESPOSTAS PROVA DE ADMINISTRAÇÃO DA PRODUÇÃO
UNIVERSIDADE DE SÃO PAULO FACULDADE DE ECONOMIA, ADMINISTRAÇÃO E CONTABILIDADE DE RIBEIRÃO PRETO PROGRAMA DE PÓS-GRADUAÇÃO EM ADMINISTRAÇÃO DE ORGANIZAÇÕES PROCESSO SELETIVO DOUTORADO - TURMA 2012 PROVA
Leia maisCapítulo 3. Álgebra de Bool
Capítulo 3 Álgebra de Bool Adaptado dos transparentes das autoras do livro The Essentials of Computer Organization and Architecture Objectivos Compreender a relação entre lógica Booleana e os circuitos
Leia maisExpandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
Leia maisLABORATÓRIO DE CIRCUITOS DIGITAIS. PREPARAÇÃO 04: Circuitos Combinacionais Decodificadores
AEVSF Autarquia Educacional do Vale do São Francisco FACAPE Faculdade de Ciências Aplicadas e Sociais de Petrolina Curso de Ciência da Computação LABORATÓRIO DE CIRCUITOS DIGITAIS Prof. Sérgio F. Ribeiro
Leia maisFundamentos de Lógica Matemática
Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução
Leia maisElementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
Leia maisCARGO E UNIDADES: Instrutor de Música (Natal e Grande Natal)
CARGO E UNIDADES: Instrutor de Música (Natal e Grande Natal) Atenção: NÃO ABRA este caderno antes do início da prova. Tempo total para resolução desta prova: 3 (três) horas. INSTRUÇÕES Assine seu nome,
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor
Leia maisIntrodução à Programação I
Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem
Leia maisMÓDULO II - PARTE II LÓGICA DOS PREDICADOS
MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS
Leia maisLógica de Predicados. Correção dos Exercícios
Lógica de Predicados Correção dos Exercícios Conteúdo Correção Exercícios Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen 58 1) Transcreva as proposições para
Leia maisLógica Matemática - Quantificadores
Lógica Matemática - Quantificadores Prof. Elias T. Galante - 2017 Quantificador Universal Seja p(x) uma sentença aberta em um conjunto não-vazio A e seja V p o seu conjunto verdade: V p = {x x A p(x)}.
Leia maisVERSÃO RESPOSTAS PROVA DE MÉTODOS QUANTITATIVOS
UNIVERSIDADE DE SÃO PAULO FACULDADE DE ECONOMIA, ADMINISTRAÇÃO E CONTABILIDADE DE RIBEIRÃO PRETO PROGRAMA DE PÓS-GRADUAÇÃO EM ADMINISTRAÇÃO DE ORGANIZAÇÕES PROCESSO SELETIVO MESTRADO - TURMA 2012 PROVA
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia maisBIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES
Olá, pessoal! Meu nome é Guilherme Neves e estou ministrando o curso de Raciocínio Lógico para o concurso da Polícia Federal que será realizado pelo CESPE-UnB. Vamos, de uma maneira sucinta, fazer uma
Leia maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Leia maisGabarito da Avaliação 3 de Lógica Computacional 1
Questões iguais em todas as provas: Gabarito da Avaliação 3 de Lógica Computacional 1 1. (5 pts) Utilize a Regra DC para mostrar que é válido o seguinte argumento: p q r, s ~r ~t, s u p u De acordo com
Leia mais. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia maisFundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Leia maisCAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação
Leia maisRACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Leia mais1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
Leia maisMATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira
MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores
Leia maisDISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter
ESTADO DE MATO GROSSO SECRETARIA DE ESTADO DE CIÊNCIAS E TECNOLOGIA FUNDAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO PRÓ-REITORIA DE ADMINISTRAÇÃO CAMPUS DE SINOP BACHARELADO EM SISTEMAS DE INFORMAÇÃO DISCIPLINA:
Leia maisVERSÃO 1 RESPOSTAS PROVA DE METODOLOGIA DA PESQUISA VERSÃO 1
UNIVERSIDADE DE SÃO PAULO FACULDADE DE ECONOMIA, ADMINISTRAÇÃO E CONTABILIDADE DE RIBEIRÃO PRETO PROGRAMA DE PÓS-GRADUAÇÃO EM ADMINISTRAÇÃO DE ORGANIZAÇÕES PROCESSO SELETIVO DOUTORADO - TURMA 2011 PROVA
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia maisMAPA DE KARNAUGH (Unidade 3)
MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO DISCIPLINA: ELETRÔNICA
Leia maisÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN
ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores
Leia mais3. CAPÍTULO LÓGICAS DIGITAIS
3. CAPÍTULO LÓGICAS DIGITAIS 3.1. Introdução A Lógica é um conjunto de regras para raciocínio sobre um determinado assunto, ela é muito utilizada no ramo da Filosofia e da Matemática. 3.2. Portas lógicas
Leia maisUnidade: Proposições Logicamente Equivalentes. Unidade I:
Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente
Leia maisAula 13. Conceitos Básicos de Eletrônica Digital Circuitos Combinacionais. Prof. Dr. Dilermando Piva Jr.
13 Aula 13 Conceitos Básicos de Eletrônica Digital Circuitos Combinacionais Prof. Dr. Dilermando Piva Jr. Site Disciplina: http://fundti.blogspot.com.br/ Tópicos Álgebra de Boole Portas Lógicas Circuitos
Leia maisPROCESSO SELETIVO EDITAL Nº
PROCESSO SELETIVO EDITAL Nº 01/2017 CARGOS: AUXILIAR DE SERVIÇO EDUCACIONAL / LIXEIRO / INSTRUÇÕES DA PROVA Este caderno contém 15 (quinze) questões objetivas, cada uma constituída de 4 (quatro) alternativas
Leia maisSECRETÁRIO (A) ESCOLAR
CONCURSO PÚBLICO COLÔNIA LEOPOLDINA NÍVEL MÉDIO CADERNO DE QUESTÕES OBJETIVAS ATENÇÃO! Verifique se as informações descritas neste Caderno de Questões Objetivas coincidem com o registrado no topo de cada
Leia maisSistemas Digitais Álgebra de Boole Binária e Especificação de Funções
Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária
Leia mais4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico
Registro CMI 40616 Aula Proposição 4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando
Leia maisRASCUNHO Nº DE INSCRIÇÃO. PROVA ESCRITA OBJETIVA CARGO: ELETROTÉCNICO DATA: 20/03/2016 HORÁRIO: 9h às 11h
PROCESSO SELETIVO SIMPLIFICADO SEDUC FOLHA DE ANOTAÇÃO DO GABARITO - ATENÇÃO: Esta parte somente deverá ser destacada pelo fiscal da sala, após o término da prova. RASCUNHO PROVA ESCRITA OBJETIVA CARGO:
Leia maisFundamentos de Lógica e Algoritmos
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Fundamentos de Lógica e Algoritmos #EquivalênciaLógica Eliezio Soares elieziosoares@ifrn.edu.br
Leia maisMinistério da Educação Secretaria de Educação Profissional e Tecnológica Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul
Edital nº 027/2015 PROVA: INFORMÁTICA/SISTEMAS DIGITAIS E COMPILADORES RECURSOS DA VAGA 6 ## PROTOCOLO: 2 (INFORMÁTICA/SISTEMAS DIGITAIS E COMPILADORES) Inscrição: 0600280 Candidato: ANDRESSA VERGUTZ Campus:
Leia maisCOMO LER NOTAÇÃO LÓGICA
COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque
Leia maisLógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.
Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório
Leia maisFaculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias
Faculdade de Informática e Tecnologia de Pernambuco Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias Instruções 1. No início de cada seção da lista há uma sugestão
Leia maisUNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO
UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO Álgebra de Boole Disciplina: Lógica Professora Dr.ª: Donizete
Leia mais1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Leia maisMetas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: MATEMÁTICA A ANO:10.º Planificação (Conteúdos)... Período Letivo: 1.º Metas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas Álgebra - Radicais
Leia maisProf. Leonardo Augusto Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Aula 6 Álgebra de Boole Prof. Leonardo Augusto Casillo Álgebra de Boole (ou Boleana) Desenvolvida pelo matemático britânico George
Leia maisUNIVERSIDADE FEDERAL FLUMINENSE
UNIVERSIDADE FEDERAL FLUMINENSE REINGRESSO E MUDANÇA DE CURSO 017 MATEMÁTICA CADERNO DE QUESTÕES INSTRUÇÕES AO CANDIDATO Você deverá ter recebido o Caderno com a Proposta de Redação, a Folha de Redação,
Leia maisJOAQUIM GOMES (AL) NÍVEL MÉDIO
CONCURSO PÚBLICO JOAQUIM GOMES (AL) NÍVEL MÉDIO CADERNO DE QUESTÕES OBJETIVAS AUXILIAR DE SALA ATENÇÃO! Verifique se as informações descritas neste Caderno de Questões Objetivas coincidem com o registrado
Leia maisUNIVERSIDADE FEDERAL FLUMINENSE CADERNO DE QUESTÕES INSTRUÇÕES AO CANDIDATO
UNIVERSIDADE FEDERAL FLUMINENSE TRANSFERÊNCIA FACULTATIVA 07 MATEMÁTICA CADERNO DE QUESTÕES INSTRUÇÕES AO CANDIDATO Você deverá ter recebido o Caderno com a Proposta de Redação, a Folha de Redação, dois
Leia maisCircuitos Sequenciais: Circuitos Combinacionais: SISTEMAS DIGITAIS. Módulo 2 Prof. Celso
1 Circuitos Combinacionais: São circuitos cuja saída depende apenas dos valores das entradas. Circuitos Sequenciais: São circuitos cuja saída depende tanto do valor atual das entradas quanto do valor anterior
Leia maisCA: Cidade: UF CARTÃO RESPOSTA QUESTÃO RESPOSTA QUESTÃO RESPOSTA A F B G C H D I
ANÁLISE E DESENVOLVIMENTO DE SISTEMAS TURMA 2008 2º PERÍODO - 4º MÓDULO AVALIAÇÃO MP1 DATA 06/11/2008 PROGRAMAÇÃO Dados de identificação do Acadêmico: Nome: Login: CA: Cidade: UF CARTÃO RESPOSTA QUESTÃO
Leia maisCurso Profissional de Técnico de Gestão de Equipamentos Informáticos 10º ANO
Planificação Anual 2016/2017 Curso Profissional de Técnico de Gestão de Equipamentos Informáticos SISTEMAS DIGITAIS E ARQUITETURA DE COMPUTADORES 10º ANO 1 MÓDULO 1 - Sistemas de Numeração 32 aulas de
Leia mais