Álgebra Booleana: Axiomas, Teoremas e Leis de De Morgan
|
|
- Mariana Mirandela do Amaral
- 6 Há anos
- Visualizações:
Transcrição
1 Arquitectura de Computadores I Engenharia Informática (11537) Tecnologias e Sistemas de Informação (6616) Álgebra Booleana: Axiomas, Teoremas e Leis de De Morgan Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 1
2 Axiomas: É uma sentença que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria Axioma 1: Seja A uma variável lógica. A=0 ou A=1. Axioma 2: 0.0=0; 1.1=1; 0.1=0; 1.0=0 Axioma 3: 0+0=0; 1+1=1; 0+1=1; 1+0=1 Axioma 4: 0 = 1; 1 = 0 Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 2
3 Teorema 1: A soma lógica de uma variável lógica com 0 é igual ao valor da variável: A + 0 = A Teorema 2 (dual do Teorema 1): O produto lógico de uma variável lógica por 1 é igual ao valor da variável. A.1 = A Teorema 3: A soma lógica de uma variável lógica com 1 é igual a 1. A + 1 = 1 Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 3
4 Teorema 4 (dual do Teorema 3): O produto lógico de uma variável lógica por 0 é igual a 0. A.0 = 0 Teorema 5: A soma lógica de duas variáveis lógicas iguais é igual ao valor dessa variável. A + A = A Teorema 6 (dual do Teorema 5): O produto lógico de duas variáveis lógicas iguais é igual ao valor dessa variável. A. A = A Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 4
5 Teorema 7: A soma lógica de uma variável lógica com a negação dessa variável é igual a 1. A + A = 1 Teorema 8 (dual do Teorema 7): O produto lógico de uma variável lógica com a negação dessa variável é igual a 0. A. A = 0 Teorema 9: A dupla negação de uma variável lógica é equivalente a essa variável lógica. A = A Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 5
6 Teorema 10: Propriedade Comutativa A + B = B + A A. B = B. A Teorema 11: Propriedade Associativa A + B + C = A + ( B + C) = ( A + B) + C A. B. C = A.( B. C) = ( A. B). C Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 6
7 Teorema 12: Propriedade Distributiva A. B + AC. = A.( B + C) ( A + B).( A + C) = A + B. C Teorema 13: Teorema de De Morgan A. B = A + B A + B = A. B Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 7
8 Teorema da Absorção Total: A + A. B = A A.( A + B) = A Teorema da Absorção Parcial: A + AB. = A + B A.( A + B) = A. B Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 8
9 Teorema da Adjacência Lógica: A. B + A. B = A ( A + B).( A + B) = A Teorema do Consenso: A. B + AC. + B. C = A. B + AC. ( A + B).( A + C).( B + C) = ( A + B).( A + C) Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 9
10 Exercício 1: Demonstre os seguintes teoremas: Absorção parcial: A + AB. = A + B Propriedade distributiva: ( A + B).( A + C) = A + B. C Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/
11 Exercício 2: Simplifique as seguintes funções lógicas por aplicação dos teoremas da Álgebra de Boole: F( A, B, C, D) = B. C. D + C. D + A. B. C Aplicando-se o teorema da absorção vem: F( A, B, C, D) = C. D + A. B. C F( A, B, C, D) = A. B + B. D + AC.. D + B. C. D 1ª propriedade distributiva F( A, B, C, D) = A. B + B. D + C. D.( A + B) 2ª Teorema de De Morgan F( A, B, C, D) = A. B + B. D + C. D. A. B 3ª Teorema da Absorção Parcial F( A, B, C, D) = A. B + B. D + C. D Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/
12 Bibliografia: 1. Thomas L. Floyd, Digital Fundamentals, Prentice Hall, 2006; 2. M. Morris Mano and Charles R. Kime, Logic and Computer Design Fundamentals, Prentice Hall, Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/
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 maisMapa de Karnaugh. UNIVERSIDADE DA BEIRA INTERIOR Faculdade de Engenharia Departamento de Informática
Mapa de Karnaugh Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 15 Simplificação Na forma mínima soma de produtos só devem aparecer termos correspondentes a grupos primários. Cada célula
Leia maisMódulos Combinatórios
Arquitectura de Computadores I Engenharia Informática (11537) Tecnologias e Sistemas de Informação (6616) Módulos Combinatórios Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 1 Somadores
Leia maisÁlgebra de Boole. Nikolas Libert. Aula 4B Eletrônica Digital ET52C Tecnologia em Automação Industrial
Álgebra de Boole Nikolas Libert Aula 4B Eletrônica Digital ET52C Tecnologia em Automação Industrial Álgebra de Boole Álgebra de Boole Augustus De Morgan (1806-1871) e George Boole (1815-1864). Desenvolvimento
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 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 maisArquitetura e Organização de Computadores. Álgebra Booleana
Arquitetura e Organização de Computadores Álgebra Booleana 1 Histórico e Propriedades Formalizada por George Boole em 1854 Usada por Shannon em 1938 para provar propriedades de circuitos de chaveamento
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 maisIntrodução à Informática. Álgebra de Boole. Ageu Pacheco e Alexandre Meslin
Introdução à Informática Álgebra de oole geu Pacheco e lexandre Meslin Objetivo da ula: Estudar os conceitos e regras que regem o projeto e funcionamento dos circuitos lógicos dos computadores digitais.
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 maisDescrevendo Circuitos Lógicos (Continuação) Teoremas Booleanos. CPCX UFMS Slides: Prof. Renato F. dos Santos Adaptação: Prof. Fernando Maia da Mota
Descrevendo Circuitos Lógicos (Continuação) Teoremas Booleanos CPCX UFMS Slides: Prof. Renato F. dos Santos Adaptação: Prof. Fernando Maia da Mota 3.10 Teoremas booleanos Investigaremos os vários teoremas
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 joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária através do recurso à utiliação
Leia maisIntrodução à Arquitetura de Computadores
Introdução à Arquitetura de Computadores José Costa Introdução à Arquitetura de Computadores Departamento de Engenharia Informática (DEI) Instituto Superior Técnico 2013-09-18 José Costa (DEI/IST) Introdução
Leia mais3. Computadores Industriais
UNIVERSIDADE DO ESTADO DE SANTA CATARINA UDESC CENTRO DE CIÊNCIAS TECNOLÓGICAS CCT DEPARTAMENTO DE ENG. DE PRODUÇÃO E SISTEMAS - DEPS INFORMÁTICA INDUSTRIAL IFD 3. Computadores Industriais Igor Kondrasovas
Leia maisSistemas Digitais. Prof.Doutor Victor Lobo. Preparação básica necessária à compreensão de:
Sistemas Digitais Prof.Doutor Victor Lobo Objectivo Preparação básica necessária à compreensão de: Sistemas de Controlo Digital Computadores Electrónica Digital 1 Porquê Sistemas Digitais para um oficial
Leia maisÁLGEBRA BOOLEANA. Foi um modelo formulado por George Boole, por volta de 1850.
ÁLGEBRA BOOLEANA Foi um modelo formulado por George Boole, por volta de 1850. Observando a lógica proposicional e a teoria de conjuntos verificamos que elas possuem propriedades em comum. Lógica Proposicional
Leia maisOrganização de computadores
Organização de computadores Aula 6 - Álgebra de Boole Professora Marcela Santos marcela@edu.estacio.br Tópicos Portas lógicas e álgebra de boole Álgebra de boole regras e propriedades Provas de algumas
Leia mais(A1) As operações + e são comutativas, ou seja, para todo x e y em A, x + y = y + x e x y = y x
Notas de aula de MAC0329 (2003) 17 3 Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, a qual é feita via um conjunto de axiomas (ou postulados). Veremos também algumas leis
Leia maisÁlgebra de Boole. George Simon Boole ( ) O criador da álgebra dos circuitos digitais. Profª Jocelma Rios. Out/2012
Out/2012 Álgebra de Boole George Simon Boole (1815-1864) O criador da álgebra dos circuitos digitais Profª Jocelma Rios O que pretendemos: Contar um pouco sobre a história da Álgebra, especialmente a Álgebra
Leia maisAula 07 : Portas Lógicas e Álgebra Booleana
ELE 0316 / ELE 0937 Eletrônica Básica Departamento de Engenharia Elétrica FEIS - UNESP Aula 07 : Portas Lógicas e Álgebra Booleana 1. 1 7.1 Portas Lógicas e Expressões Algébricas 1. 2 7.1 Portas Lógicas
Leia maisSISTEMAS DIGITAIS Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com
- Aula 3 - ÁLGEBRA BOOLEANA 1. Introdução O ponto de partida para o projeto sistemático de sistemas de processamento digital é a chamada Álgebra de Boole, trabalho de um matemático inglês que, em um livro
Leia maisA Lógica e Álgebra de George Boole. Alexssandra Dayanne Soares de Campos 1 Natalie Geny Silva Braz 2 Nicole Motta Ferreira 3
A Lógica e Álgebra de George Boole Alexssandra Dayanne Soares de Campos 1 Natalie Geny Silva Braz 2 Nicole Motta Ferreira 3 Resumo: O presente trabalho apresenta a vida e obra de George Boole, denominado
Leia maisCircuitos Digitais. Conteúdo. Lógica. Introdução. Tabela-Verdade. Álgebra Booleana. Álgebra Booleana / Funções Lógicas. Ciência da Computação
Ciência da Computação Álgebra Booleana / Funções Lógicas Prof. Sergio Ribeiro Material adaptado das aulas de I do Prof. José Maria da UFPI Conteúdo Introdução Álgebra Booleana Constantes e Variáveis Booleanas
Leia maisTransistor. Portas Lógicas (2) Base; Coletor; Emissor.
Nível da Lógica Digital Nível da Lógica Digital (Aula 6) Portas Lógicas e Lógica Digital Estudar vários aspectos da lógica digital Base de estudo para os níveis mais elevados da hierarquia das máquinas
Leia maisCAPÍTULO 1 REVISÃO DE LÓGICA COMBINACIONAL
1 CAPÍTULO 1 REVISÃO DE LÓGICA COMBINACIONAL Sumário 1.1. Sistemas de Numeração... 3 1.1.1. Conversão Decimal Binária... 3 1.1.2. Conversão Binária Decimal... 3 1.1.3. Conversão Binária Hexadecimal...
Leia maisCircuitos Lógicos Capítulo 3 Portas Lógicas e Álgebra Booleana Parte II
UNIVERSIDADE FEDERAL DE SÃO JOÃO DEL REI Circuitos Lógicos Capítulo 3 Portas Lógicas e Álgebra Booleana Parte II Prof. Davidson Lafitte Firmo http://www.ppgel.net.br/davidson davidson@ufsj.edu.br São João
Leia maisElementos de Matemática
Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br
Leia maisSistemas de Numeração
Arquitectura de Computadores I Engenharia Informática (11537) Tecnologias e Sistemas de Informação (6616) Sistemas de Numeração Nuno Pombo / Miguel Neto Arquitectura Computadores I 2014/2015 1 Conversão
Leia maisSistemas Digitais Minimização de Funções: Mapas de Karnaugh
Sistemas Digitais Minimização de Funções: Mapas de Karnaugh João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc-id.pt Minimização de uma Função Trata-se de obter a expressão mínima
Leia maisÁlgebra de Boole. Este material é uma adaptação das notas de aula dos professores Edino Fernandes, Juliano Maia, Ricardo Martins e Luciana Guedes
Álgebra de Boole Este material é uma adaptação das notas de aula dos professores Edino Fernandes, Juliano Maia, Ricardo Martins e Luciana Guedes Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto
Leia maisOrganização e Arquitetura de Computadores I
Universidade Federal de Campina Grande Centro de Engenharia Elétrica e Informática Unidade Acadêmica de Sistemas e Computação Curso de Bacharelado em Ciência da Computação Organização e Arquitetura de
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 maisCEFET/RJ - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca Rio de Janeiro, 23 de setembro de 2008.
CEFET/RJ - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca Rio de Janeiro, 23 de setembro de 2008. 1 a LISTA DE EXERCÍCIOS DE ELETRÔNICA DIGITAL Prof. Alessandro Jacoud Peixoto 1. Implemente
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 maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular ARQUITECTURA DE COMPUTADORES Ano Lectivo 2014/2015
UNIVERSIDADE LUSÍADA DE LISBOA Programa da Unidade Curricular ARQUITECTURA DE COMPUTADORES Ano Lectivo 2014/2015 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Engenharia Informática
Leia mais4. Álgebra Booleana e Simplificação Lógica. 4. Álgebra Booleana e Simplificação Lógica 1. Operações e Expressões Booleanas. Objetivos.
Objetivos 4. Álgebra Booleana e Simplificação Lógica Aplicar as leis e regras básicas da álgebra Booleana Aplicar os teoremas de DeMorgan em expressões Booleanas Descrever circuitos de portas lógicas com
Leia maisÁlgebra de Boole. João Paulo Cerquinho Cajueiro 19 de agosto de 2009
Álgebra de Boole João Paulo Cerquinho Cajueiro 19 de agosto de 2009 A álgebra de Boole foi desenvolvida por George Boole(1815 1864) em seu livro An Investigation of the Laws of Thought on Which are Founded
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 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 maisCircuitos Lógicos e Organização de Computadores
Circuitos e Organização de Computadores Capítulo 2 Introdução aos Circuitos Ricardo Pannain pannain@puc-campinas.edu.br http://docentes.puc-campinas.edu.br/ceatec/pannain/ VARIÁVEI E FUNÇÕE Chaves de dois
Leia maisÁlgebra Booleana. Introdução ao Computador 2010/01 Renan Manola
Álgebra Booleana Introdução ao Computador 2010/01 Renan Manola Histórico George Boole (1815-1864) Considerado um dos fundadores da Ciência da Computação, apesar de computadores não existirem em seus dias.
Leia maisIntrodução à Informática Aulas 27 e 28
FAPAN SISTEMAS DE INFORMAÇÃO - SI Introdução à Informática Aulas 27 e 28 Prof. Roberto Tikao Tsukamoto Júnior Cáceres, 18 de abril de 2011. REVISÃO Conversão Decimal para Binário Exemplo 1: número 107
Leia maisSCE Elementos de Lógica Digital I
SCE - Elementos de Lógica Digital I Introdução aos circuitos lógicos Prof. Vanderlei Bonato Tópicos da Aula de Hoje Variáveis e funções lógicas Tabela verdade Álgebra Booleana Diagrama de Venn Processo
Leia maisÁlgebra de Boole e Teorema de De Morgan Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h
Álgebra de Boole e Teorema de De Morgan Prof. Rômulo Calado Pantaleão Camara Carga Horária: 2h/60h Álgebra de Boole A Álgebra de Boole é empregada no projeto de circuitos digitais, para: análise - é um
Leia maisÁLGEBRA LINEAR. Subespaços Vetoriais. Prof. Susie C. Keller
ÁLGEBRA LINEAR Subespaços Vetoriais Prof. Susie C. Keller Às vezes, é necessário detectar, dentro de um espaço vetorial V, subconjuntos S que sejam espaços vetoriais menores. Tais conjuntos S são chamados
Leia maisNotas de Aula - Álgebra de Boole Parte 1
Universidade de Brasília Departamento de Engenharia Elétrica Sistemas Digitais 1 Prof. Dr. Alexandre Romariz Revisado em 27/4/06 Notas de Aula - Álgebra de Boole Parte 1 1 Introdução Fundamentos, Teoremas
Leia maisLOGIC CIRCUITS CMOS Circuitos Lógicos CMOS
LOGIC CIRCUITS CMOS Circuitos Lógicos CMOS M-1112A *Only illustrative image./imagen meramente ilustrativa./ Imagem meramente ilustrativa. EXPERIMENTS MANUAL Manual de Experimentos Manual de Experimentos
Leia maisSistemas Digitais Circuitos Combinatórios Típicos
Sistemas Digitais Circuitos Combinatórios Típicos João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc.pt Descodificadores Um descodificador é um circuito combinatório que permite,
Leia maisAPOSTILA COMPLEMENTAR
APOSTILA COMPLEMENTAR Conteúdo A ÁLGEBRA DE BOOLE... 1 Os níveis lógicos... 2 Operações Lógicas... 3 Função Lógica NÃO ou Inversora... 4 Função Lógica E... 5 Função lógica OU... 6 Função NÃO E... 7 Função
Leia maisÁlgebra Booleana e Tabelas-Verdade
Álgebra Booleana e Tabelas-Verdade Prof. Ohara Kerusauskas Rayel Disciplina de Eletrônica Digital - ET75C Curitiba, PR 9 de abril de 2015 1 / 30 Álgebra Booleana Principal diferença para a álgebra convencional:
Leia maisRepresentação de Circuitos Lógicos
1 Representação de Circuitos Lógicos Formas de representação de um circuito lógico: Representação gráfica de uma rede de portas lógicas Expressão booleana Tabela verdade 3 representações são equivalentes:
Leia maisTécnicas Digitais para Computação
INF 8 Técnicas Digitais para Computação Minimização de Funções Booleanas Aula Técnicas Digitais. Mapas de Karnaugh com 2 variáveis Diagrama onde cada célula corresponde a um mintermo Exemplo com 2 variáveis
Leia maisNível da Lógica Digital (Aula 6) Portas Lógicas e Lógica Digital Nível da Lógica Digital Estudar vários aspectos da lógica digital Base de estudo para os níveis mais elevados da hierarquia das máquinas
Leia maisSISTEMAS DIGITAIS CIRCUITOS COMBINATÓRIOS TÍPICOS
CIRCUITOS COMBINATÓRIOS TÍPICOS Setembro de 4 CIRCUITOS COMBINATÓRIOS TÍPICOS - SUMÁRIO: CODIFICADORES DESCODIFICADORES MULTIPLEXERS DEMULTIPLEXERS SOMADORES / SUBTRACTORES COMPARADORES Setembro de 4 CIRCUITOS
Leia maisA B f(a, B) = A + B. A f(a ) = A
Álgebra de Boole ESTV-ESI-Sistemas Digitais-Álgebra de Boole 1/7 A Álgebra de Boole é uma ferramenta matemática muito utilizada na representação e simplificação de funções binárias (ou lógicas), sendo
Leia maisIntrodução à Computação: Álgebra Booleana
Introdução à Computação: Álgebra Booleana Beatriz F. M. Souza (bfmartins@inf.ufes.br) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes), Vitória, ES
Leia maisEELi02 Circuitos Lógicos
EELi02 Circuitos Lógicos Prof. Vinícius Valamiel vvalamiel@gmail.com https://sites.google.com/site/vvalamiel/ Transparências: Profa. Mara Cristina... Prof. Tiago Ferreira... Avaliações Nota 1: Prova teórica
Leia maisMetas/ Objetivos Conceitos/ Conteúdos Aulas Previstas. Lógica e Teoria dos conjuntos: Introdução à lógica bivalente e à Teoria dos conjuntos
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (15 de setembro a 16 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
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 maisResumo. Parte 2 Introdução à Teoria da Probabilidade. Ramiro Brito Willmersdorf Introdução.
Parte 2 Introdução à Teoria da Probabilidade Ramiro Brito Willmersdorf ramiro@willmersdorf.net Departamento de Engenharia Mecânica Universidade Federal de Pernambuco 2011.2 Resumo 1 Introdução 2 Espaço
Leia maisUniversidade Estadual de Maringá Centro de Tecnologia Departamento de Informática. Eletrônica Digital
Universidade Estadual de Maringá Centro de Tecnologia Departamento de Informática Eletrônica Digital Disciplina Professor: Flávio Rogério Uber E-mail: flavio.uber@gmail.com Bloco C56 sala 24 Programa )
Leia maisCircuitos Sequenciais
Circuitos Sequenciais Tópicos: Contadores Memórias Circuitos Sequenciais Teoremas DeMorgan Mapas de Karnaugh Multiplexadores Flip Flops Flip Flop Os flip flops são unidades básicas de memória. Cada circuito
Leia maisCOLÉGIO DO INSTITUTO BATISTA AMERICANO PROF. ABIMAILTON PRATTI DA SILVA Rua Mariana N.º 70 Retiro Volta Redonda Telefone: (24)
COLÉGIO DO INSTITUTO BATISTA AMERICANO PROF. ABIMAILTON PRATTI DA SILVA Rua Mariana N.º 70 Retiro Volta Redonda Telefone: (24) 33381279 SOLICITAÇÃO Não temos direito autoral reservado para o presente trabalho.
Leia maisEletrônica Digital para Instrumentação
G4 Eletrônica Digital para Instrumentação Prof. Márcio Portes de Albuquerque (mpa@cbpf.br) Prof. Herman P. Lima Jr (hlima@cbpf.br) Centro Brasileiro de Pesquisas Físicas Ministério da Ciência e Tecnologia
Leia maisSISTEMAS DIGITAIS (SD)
SISTEMAS DIGITAIS (SD) MEEC Acetatos das Aulas Teóricas Versão 4.0 - Português Aula N o 11: Título: Sumário: Circuitos combinatórios: Unidade Lógica e Aritmética Unidade Lógica e Aritmética (ULA). 2015/2016
Leia maisIntrodução. de Eletrônica Digital (Parte II) Universidade Federal de Campina Grande Departamento de Sistemas e Computação. Carga Horária: 60 horas
Universidade Federal de Campina Grande Departamento de Sistemas e Computação Introdução à Computação Conceitos Básicos B de Eletrônica Digital (Parte II) Prof. a Joseana Macêdo Fechine Régis de Araújo
Leia maisApostila Mapas de Veitch-Karnaugh
Apostila Mapas de Veitch-Karnaugh Álgebra de Boole e Simplificação de Circuitos Lógicos... 3 Variáveis e Expressões na Álgebra de Boole... 3 Postulados... 3 Postulados da Complementação... 3 Postulado
Leia maisCalculus of Communicating Systems - CCS (Cálculo de Sistemas Comunicantes)
(Cálculo de Sistemas Comunicantes) Caesar Ralf Franz Hoppen¹, Elias Ricken Medeiros¹ ¹Instituto de Informática Universidade Federal do Rio Grande do Sul (UFRGS) Caixa Postal 15.064 91.501-970 Porto Alegre
Leia maisTeoria dos anéis 1 a parte 3
A U L A Teoria dos anéis 1 a parte 3 Meta da aula Descrever a estrutura algébrica de anel como uma generalização de determinadas propriedades dos números inteiros. objetivos Ao final desta aula, você deverá
Leia maisÁlgebra de Boole. Álgebra de Boole - axiomas
854 - George Boole Álgebra de Boole formular proposições como V ou F combinar proposições avaliar a sua veracidade ou falsidade 938 - (Bell Labs) Claude Shannon adaptou a álgebra de Boole à análise de
Leia maisProf.Letícia Garcia Polac. 6 de abril de 2017
Fundamentos de Lógica e Conjuntos Prof.Letícia Garcia Polac Universidade Federal de Uberlândia UFU-MG 6 de abril de 2017 Sumário 1 EMENTA 2 BIBLIOGRAFIA 3 AVALIAÇÕES 4 INTRODUÇÃO EMENTA Ementa 1. Lógica
Leia maisMaterial Teórico - Módulo de Produtos Notáveis e Fatoração de Expressões Algébricas. Produtos Notáveis. Oitavo Ano
Material Teórico - Módulo de Produtos Notáveis e Fatoração de Epressões Algébricas Produtos Notáveis Oitavo Ano Autor: Prof. Ulisses Lima Parente Revisor: Prof. Antonio Caminha M. Neto Uma identidade algébrica
Leia maisMapas de Karnaugh Prof. Rômulo Calado Pantaleão Camara. Carga Horária: 2h/60h
Mapas de Karnaugh Prof. Rômulo Calado Pantaleão Camara Carga Horária: 2h/60h Mapas de Karnaugh O mapa de Veitch-Karnaugh, ou simplesmente mapa de Karnaugh, é uma tabela montada de forma a facilitar o processo
Leia maisS = ABC + A( C + B) -> Aplicando identidades auxiliares B C + B= C+B
Resolução do Exercício feito em sala de aula: A B S 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 Expressão por Soma dos produtos: S = AB + AB + AB + AB Simplificação: S = AB + A( B +
Leia maisCircuitos Lógicos Aula 8
Circuitos Lógicos Aula 8 Aula passada Portas NAND e NOR Teoremas booleanos Teorema de DeMorgan Universalidade NAND e NOR Aula de hoje Circuitos Combinacionais Expressão SOP Simplificação Construindo circuito
Leia maisArquitectura de Computadores LEEC/MEEC (2006/07 2º Sem.)
LEEC/MEEC (2006/07 2º Sem.) Nuno Cavaco Gomes Horta Universidade Técnica de Lisboa / Instituto Superior Técnico Sumário Introdução Unidade de Controlo Conjunto de Instruções Unidade Central de Processamento
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 maisDISTRIBUIÇÃO DOS DOMÍNIOS POR PERÍODO
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS Planificação Anual da Disciplina de Matemática 10.º ano Ano Letivo de 2015/2016 Manual adotado: Máximo 10 Matemática A 10.º ano Maria Augusta Ferreira
Leia maisFaculdade de Informática e Tecnologia de Pernambuco
Faculdade de Informática e Tecnologia de Pernambuco Plano de Ensino Disciplina: INF101 - Álgebra Aplicada à Computação; Professor: Diego Machado Dias; Curso: Ciência da Computação; Carga horária: 72h;
Leia maisCURSO DE ELETRÔNICA DIGITAL A ÁLGEBRA DE BOOLE
LIÇÃO 2 A ÁLGEBRA DE BOOLE Na primeira lição do nosso curso aprendemos o significado das palavras Digital e Lógica empregadas na Eletrônica e nos computadores. Vimos que os computadores são denominados
Leia maisÁLGEBRA LINEAR. Espaços Vetoriais. Prof. Susie C. Keller
ÁLGEBRA LINEAR Espaços Vetoriais Prof. Susie C. Keller Introdução Com doze andares de altura e pesando 75 toneladas, o US Columbia partiu majestosamente de sua plataforma de lançamento numa manhã fresca
Leia maisSistemas Digitais Circuitos Aritméticos e Representação de Números com Sinal
Sistemas Digitais Circuitos Aritméticos e Representação de Números com Sinal João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc.pt Circuitos Aritméticos Circuitos aritméticos são
Leia maisÁlgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica
Leia maisNotas de aula de MAC0329 Álgebra Booleana e Aplicações
Notas de aula de MAC0329 Álgebra Booleana e Aplicações Nina S. T. Hirata Depto. de Ciência da Computação IME / USP Este texto é uma referência-base para o curso de MAC0329 (Álgebra Booleana e Aplicações).
Leia maisIntrodução à Informática. Funções Lógicas. Ageu Pacheco e Alexandre Meslin
Introdução à Informática Funções Lógicas Ageu Pacheco e Alexandre Meslin Objetivo da Aula: Estudar os principais métodos empregados na simplificação/minimização de funções lógicas (booleanas( booleanas).
Leia maisDEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500. Planificação Anual /Critérios de avaliação
Disciplina: Matemática A _ 10º ano _ CCH 2015/2016 AGRUPAMENTO DE ESCOLAS ANSELMO DE ANDRADE DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500 Planificação Anual /Critérios de avaliação Início
Leia maisMONÔMIOS E POLINÔMIOS
MONÔMIOS E POLINÔMIOS Problema: Observa as figuras. 6-9 6 4 Sabendo que as figuras são equivalentes, determina as dimensões do retângulo. Resolução: Se as figuras são equivalentes significa que têm a mesma
Leia maisP L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o
P L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o 2015-2016 DISCIPLINA / ANO: Matemática A 10ºano de escolaridade MANUAL ADOTADO: NOVO ESPAÇO 10 GESTÃO DO TEMPO Nº de Nº de Nº de tempos tempos tempos
Leia maisn. 25 DIAGRAMAS DE VENN
n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu
Leia maisAlgoritmos e Linguagens de Programação. Álgebra Booleana. Faculdade Pitágoras Prof. Edwar Saliba Júnior Abril de 2007. Unidade 02-001 Álgebra Booleana
Álgebra Booleana Faculdade Pitágoras Prof. Edwar Saliba Júnior Abril de 2007 1 Histórico A álgebra booleana, também conhecida como álgebra de boole, foi criada pelo matemático inglês George Boole (1815-1864)
Leia maisÁLGEBRA DE BOOLE Operações Fundamentais, Autoavaliação, Indução Perfeita e Simulação
ÁLGEBRA DE BOOLE Operações Fundamentais, Autoavaliação, Indução Perfeita e Simulação OBJETIVOS: a) Conhecer na prática os principais fundamentos da álgebra de Boole; b) Comprovar na prática os teoremas
Leia mais4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
Leia maisSistema Decimal - Permite representar qualquer quantidade por intermédio de uma soma ponderada de potências de base 10.
1 Coelh ho, J.P. @ Sistem mas Digita ais : Y20 Sistemas de Numeração e Códigos Binários sistema de numeração que permitia, através de dez símbolos distintos (algarismos), representar uma determinada grandeza
Leia maisSistemas Digitais I LESI :: 2º ano
Sistemas Digitais I LESI :: 2º ano - Álgebra António Joaquim Esteves João Miguel Fernandes www.di.uminho.pt/~aje Bibliografia: secções 3. e 4., DDPP, Wakerly DEP. DE INFORMÁTICA ESCOLA DE ENGENHARIA UNIVERSIDADE
Leia maisMINISTÉRIO DA EDUCAÇÃO CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS CONSELHO DE GRADUAÇÃO
DISCIPLINA: CÁLCULO II CÓDIGO: 2DB014 VALIDADE: Início: 01/2013 Término: Eixo: Matemática Carga Horária: Total: 75 horas/ 90 horas-aula Semanal: 6 aulas Créditos: 6 Modalidade: Teórica Integralização:
Leia maisMaterial Teórico - Módulo de Produtos Notáveis e Fatoração de Expressões Algébricas. Produtos Notáveis. Oitavo Ano. Prof. Ulisses Lima Parente
Material Teórico - Módulo de Produtos Notáveis e Fatoração de Epressões Algébricas Produtos Notáveis Oitavo Ano Prof. Ulisses Lima Parente Uma identidade algébrica é uma equação em que os dois membros
Leia maisINSTITUTO FEDERAL DE SANTA CATARINA CAMPUS JOINVILLE CURSO TÉCNICO DE ELETROELETRÔNICA ELETRÔNICA DIGITAL. Prof. M. Sc. Mauricio Martins Taques
INSTITUTO FEDERAL DE SANTA CATARINA CAMPUS JOINVILLE CURSO TÉCNICO DE ELETROELETRÔNICA ELETRÔNICA DIGITAL Prof. M. Sc. Mauricio Martins Taques 1. SISTEMAS DE NUMERAÇÃO Provavelmente, o primeiro sistema
Leia maisSistemas Digitais para Computação
Sistemas Digitais para Computação AULAS TEÓRICAS 01 a 08 Prof. MSc. Mário Oliveira Orsi Prof. MSc. Carlos Alexandre Ferreira de Lima FEVEREIRO de 2015 1 Sistemas Digitais para Computação Referência ao
Leia maisPensamento. "A escada da sabedoria tem os degraus feitos de números." (Blavatsky) Prof. MSc. Herivelto Nunes
Aula Introdutória Álgebra Linear I- Abril 2017 Pensamento "A escada da sabedoria tem os degraus feitos de números." (Blavatsky) Prof. MSc. Herivelto Nunes Unidade Matrizes. Matrizes A matriz foi criada
Leia mais