ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site

Tamanho: px
Começar a partir da página:

Download "ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site"

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 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 mais

Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE.

Apostila 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 mais

aula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:

aula 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 mais

Introduçã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 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 mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 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 mais

UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira

UNIP 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 mais

CEM. RLM Tabela Verdade

CEM. 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 mais

Cálculo proposicional

Cá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 mais

Professor conteudista: Ricardo Holderegger

Professor 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 mais

Cálculo proposicional

Cá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 mais

ATA/TO AOCP Resolução: Inicialmente, representaremos o que foi dado pelo enunciado:

ATA/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 mais

Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:

Unidade 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 mais

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

Como 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 mais

Lógica para Computação. Álgebra de Boole

Ló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 mais

Parte 2 CIRCUITOS COMBINACIONAIS

Parte 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 mais

Lógica Proposicional e Álgebra de Boole

Ló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 mais

Dados de identificação do Acadêmico: Nome: Login: CA: Cidade: UF Assinatura: CARTÃO RESPOSTA

Dados 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 mais

PREFE ITURA MUNICIPAL DE GUAJ ARÁ MIRIM

PREFE 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 mais

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

MD 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 mais

Nome: Login: CA: Cidade: UF CARTÃO RESPOSTA QUESTÃO RESPOSTA QUESTÃO RESPOSTA

Nome: 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 mais

DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:

DEPARTAMENTO 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 mais

Conteú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) 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 mais

Fundamentos 1. Lógica de Predicados

Fundamentos 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 mais

Matéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira

Maté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 mais

Lógica Boolena. Aula 05. Prof. Msc. Arthur G. Bartsch

Ló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 mais

Lógica Proposicional (cont.)

Ló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 mais

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013

Prof. 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 mais

Lógica Computacional

Ló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 mais

UFMT. Ministério da Educação UNIVERSIDADE FEDERAL DE MATO GROSSO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO PLANO DE ENSINO

UFMT. 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 mais

Matemática Discreta - 01

Matemá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 mais

Os Fundamentos: Lógica de Predicados

Os 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 mais

Abaixo descreveremos 6 portas lógicas: AND, OR, NOT, NAND, NOR e XOR.

Abaixo 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 mais

Raciocí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. 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 mais

LÓGICA I ANDRÉ PONTES

LÓ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 mais

Eletrô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 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 mais

Prof. Jorge Cavalcanti

Prof. 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 mais

ELETRÔ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 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 mais

Ló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 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 mais

Unidade IV. Unidade III. Na álgebra booleana, estão todos os fundamentos da eletrônica digital.

Unidade 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 mais

Circuitos Digitais Álgebra de Boole

Circuitos 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 mais

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

Atençã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 mais

Prof. Leonardo Augusto Casillo

Prof. 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 mais

MATEMÁTICA Questões comentadas Daniela Arboite

MATEMÁ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 Á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 mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 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 mais

O recurso solicita a mudança do gabarito da alternativa C para a alternativa A.

O 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 mais

Disciplina: Lógica Matemática Prof. Etelvira Leite

Disciplina: 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 mais

VERSÃO 1 RESPOSTAS PROVA DE ADMINISTRAÇÃO DA PRODUÇÃO

VERSÃ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 mais

Capítulo 3. Álgebra de Bool

Capí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 mais

Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019

Expandindo 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 mais

LABORATÓRIO DE CIRCUITOS DIGITAIS. PREPARAÇÃO 04: Circuitos Combinacionais Decodificadores

LABORATÓ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 mais

Fundamentos de Lógica Matemática

Fundamentos 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 mais

Elementos de Lógica Matemática p. 1/2

Elementos 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 mais

CARGO E UNIDADES: Instrutor de Música (Natal e Grande Natal)

CARGO 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 mais

Matemática para Ciência de Computadores

Matemá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 mais

Introdução à Programação I

Introduçã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 mais

MÓDULO II - PARTE II LÓGICA DOS PREDICADOS

MÓ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 mais

Lógica de Predicados. Correção dos Exercícios

Ló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 mais

Lógica Matemática - Quantificadores

Ló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 mais

VERSÃO RESPOSTAS PROVA DE MÉTODOS QUANTITATIVOS

VERSÃ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 mais

RECEITA FEDERAL ANALISTA

RECEITA 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 mais

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

Proposiçõ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 mais

BIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES

BIZU 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 mais

Introdução à Lógica Matemática

Introduçã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 mais

Gabarito da Avaliação 3 de Lógica Computacional 1

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

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

Fundamentos de Lógica Lógica Proposicional

Fundamentos 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 mais

CAPÍTULO I. Lógica Proposicional

CAPÍ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 mais

RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL

RACIOCÍ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 mais

1 Lógica de primeira ordem

1 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 mais

MATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira

MATEMÁ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 mais

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter

DISCIPLINA: 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 mais

VERSÃO 1 RESPOSTAS PROVA DE METODOLOGIA DA PESQUISA VERSÃO 1

VERSÃ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 mais

LÓGICA PROPOSICIONAL

LÓ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 mais

MAPA DE KARNAUGH (Unidade 3)

MAPA 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 Á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 mais

3. CAPÍTULO LÓGICAS DIGITAIS

3. 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 mais

Unidade: Proposições Logicamente Equivalentes. Unidade I:

Unidade: 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 mais

Aula 13. Conceitos Básicos de Eletrônica Digital Circuitos Combinacionais. Prof. Dr. Dilermando Piva Jr.

Aula 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 mais

PROCESSO SELETIVO EDITAL Nº

PROCESSO 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 mais

SECRETÁRIO (A) ESCOLAR

SECRETÁ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 mais

Sistemas 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 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 mais

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico

4 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 mais

RASCUNHO Nº DE INSCRIÇÃO. PROVA ESCRITA OBJETIVA CARGO: ELETROTÉCNICO DATA: 20/03/2016 HORÁRIO: 9h às 11h

RASCUNHO 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 mais

Fundamentos de Lógica e Algoritmos

Fundamentos 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 mais

Ministé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

Ministé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 mais

COMO LER NOTAÇÃO LÓGICA

COMO 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 mais

Ló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 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 mais

Faculdade 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 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 mais

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

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 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 mais

1 TEORIA DOS CONJUNTOS

1 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 mais

Metas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas

Metas/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 mais

Prof. Leonardo Augusto Casillo

Prof. 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 mais

UNIVERSIDADE FEDERAL FLUMINENSE

UNIVERSIDADE 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 mais

JOAQUIM GOMES (AL) NÍVEL MÉDIO

JOAQUIM 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 mais

UNIVERSIDADE FEDERAL FLUMINENSE CADERNO DE QUESTÕES INSTRUÇÕES AO CANDIDATO

UNIVERSIDADE 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 mais

Circuitos Sequenciais: Circuitos Combinacionais: SISTEMAS DIGITAIS. Módulo 2 Prof. Celso

Circuitos 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 mais

CA: Cidade: UF CARTÃO RESPOSTA QUESTÃO RESPOSTA QUESTÃO RESPOSTA A F B G C H D I

CA: 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 mais

Curso Profissional de Técnico de Gestão de Equipamentos Informáticos 10º ANO

Curso 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