Faculdade de Informática e Tecnologia de Pernambuco
|
|
- Luiz Herman da Rocha Lage
- 8 Há anos
- Visualizações:
Transcrição
1 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; Objetivos Geral Familiarizar-se com a escrita matemática formal; Aprender a encontrar modelos matemáticos que representem problemas concretos (noções de modelagem matemática); Desenvolver ferramentas algébricas básicas para o aluno de computação; Ementa Lógica formal; Linguagem e lógica de conjuntos; Relações e funções; Estruturas algébricas e relacionais; Transformações entre estruturas; Noções de tipo abstrato e de especificação algébrica, representação de funções e noção de semântica denotacional; Sistemas ordenados; Metodologia Aulas expositivas com foco na participação dos alunos para melhor entendimento, bem como resolução de exercícios. As aulas serão ministradas com anotações no quadro e eventual uso de projetor multimídia para ilustração dos conceitos.
2 Recursos de Ensino Projetor multimídia; Quadro branco; Página da disciplina disponibilizando as listas de exercícios, materiais para leitura, cronograma e outros recursos. Endereço da página: Avaliação 2 Provas; Listas de ; Pesos: Prova tem 70%; Lista, 30%; Plano de Aula AULA DURAÇÃO DE AULAS CONTEÚDO PROGRAMÁTICO RECURSOS DIDÁTICOS Aula 1 03/08 Aula 2 05/08 Aula 3 10/08 Aula 4 12/08 2 Lógica formal: Proposições Representações simbólicas Tautologia e contradição 2 Lógica formal: Equivalência proposicional Predicados e quantificadores Quantificadores aninhados 2 Lógica formal Regras de inferência Conjuntos Operações com conjuntos Identidades envolvendo conjuntos 2 Conjuntos Lógica e conjuntos Partições Operações binárias Prova por casos [Exemplificação]
3 Aula 5 17/08 Aula 6 19/08 Aula 7 24/08 Aula 8 26/08 Aula 9 31/08 Aula 10 02/09 Aula 11 07/09 2 Conjuntos Operações unárias Relações Definição Propriedades das relações binárias Representação gráfica das relações Representação matricial 2 Fechos de uma relação Relações de equivalência 2 Relações Relação dual Composição de relações Classificação de relações. Teorema envolvendo partições e relações de equivalência. 2 Relações Relações de ordem Ordenação parcial Conjunto parcialmente ordenado Diagrama de Hasse Ordem total Predecessor e sucessor Elemento maximal e minimal 2 Relações Subposet Elemento máximo e mínimo Unicidade do elemento máximo e mínimo Limite superior Limite inferior Menor limite superior Maior limite inferior 2 Reticulados Definição Exemplos 2 Feriado Independência do Brasil Aula 12 09/09 Aula 13 14/09 2 Reticulado Reticulado distributivo Reticulado complementado Definições e exemplos Teorema do complemento único 2 Álgebras de Boole Definição e Propriedades
4 Aula 14 16/09 Aula 15 21/09 Aula 16 23/09 Aula 17 28/09 Aula 18 30/09 Aula 19 05/10 Aula 20 07/10 Aula 21 12/10 Aula 22 14/10 Aula 23 19/10 Aula 24 21/10 Aula 25 26/10 2 Álgebras de Boole Isomorfismos 2 Álgebras de Boole Exemplos Lista de exercícios Discussão da lista Revisão 2 Entrega da lista de exercícios Primeira prova 2 Discussão e resolução da primeira prova em sala 2 Funções Definição Classificação 2 Feriado Feriado de Nossa Senhora Aparecida 2 Funções Composição de funções Gráfico de funções Estruturas Algébricas Associatividade Comutatividade Elemento neutro Elemento inversível Semi-grupos Monóides Grupos Propriedades elementares (Grupos) Exemplos de Grupos Ordem de um grupo Tábua de um grupo Subgrupos Quadro branco.
5 Aula 26 28/10 Aula 27 02/11 Aula 28 04/11 Aula 29 09/11 Aula 30 11/11 Aula 31 16/11 Aula 32 18/11 Aula 33 23/11 Aula 34 25/11 Exemplos de subgrupos 2 Feriado Finados Homomorfismo de Grupos Exemplos de grupos isomorfos Demonstrações Técnicas de demonstrações 2 Demonstrações Sumarização das técnicas de demonstrações usadas na disciplina Lista de exercícios Discussão da lista Revisão 2 Entrega da lista de exercícios Segunda prova 2 Discussão e correção da segunda prova em sala. Entrega das notas Quadro branco. Aula 35 30/11 Aula 36 07/ Prova final Quadro branco.
6 Bibliografia Básica: 1. Fundamentos Matemáticos para a Ciência da Computação. Judith L Gersting 2. Discrete Mathematics (5th Edition). Kenneth A. Ross, Charles R. Wright. Complementar: 1. Álgebra Booleana e Circuitos de Chaveamento. Elliott Mendelson 2. Matemática Discreta para Computação e Informática. Paulo Blauth Menezes. 3. Mathematical Logic for Computer Science. Mordechai Ben-Ari. [Apenas apendice]
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 maissumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...
sumário 1 introdução e conceitos básicos 1 1.1 introdução à matemática discreta... 2 1.2 conceitos básicos de teoria dos conjuntos... 3 1.2.1 conjuntos...3 1.2.2 pertinência...5 1.2.3 alguns conjuntos
Leia maisMINISTÉRIO DA EDUCAÇÃO CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS DIRETORIA DE GRADUAÇÃO
DISCIPLINA: Matemática Discreta CÓDIGO: 2ECOM.008 Validade: a partir do 1º Semestre de 2009 Término: Carga Horária: Total: 60 h/a Semanal: 04 aulas Créditos: 04 Modalidade: Teórica Classificação do Conteúdo
Leia maisUNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
Leia maisA2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)
Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, que é baseada em um conjunto de axiomas (ou postulados). Veremos também algumas leis ou propriedades de álgebras booleanas.
Leia maisCálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
Leia maisLógica Proposicional
Lógica Proposicional Equivalências Lógicas Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 36 Este material é preparado
Leia mais3.4 Álgebra booleana, ordens parciais e reticulados
Notas de aula de MAC0329 (2003) 23 3.4 Álgebra booleana, ordens parciais e reticulados Seja A um conjunto não vazio. Uma relação binária R sobre A é um subconjunto de A A, isto é, R A A. Se (x, y) R, denotamos
Leia maisBACHARELADO EM SISTEMAS DE INFORMAÇÃO MATEMÁTICA DISCRETA Aula 1 - Apresentação da disciplina
BACHARELADO EM SISTEMAS DE INFORMAÇÃO MATEMÁTICA DISCRETA Aula 1 - Apresentação da disciplina Prof. Marcelo Gama Universidade Federal Rural de Pernambuco - DM 16 de Agosto de 2011 Marcelo Gama (DM - UFRPE)
Leia maisFundamentos de Matemática
Fundamentos de Matemática Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 1 7 de janeiro de 2013 Aula 1 Fundamentos de Matemática 1 Apresentação Aula 1
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 maisReticulados e Álgebras de Boole
Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente
Leia maisCálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando
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 maisRegras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.
Leia maisUNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
Leia maisTeoria dos Conjuntos. Matemática Discreta. Teoria dos Conjuntos - Parte I. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG.
Matemática Discreta Teoria dos Conjuntos - Parte I Profa. Sheila Morais de Almeida DAINF-UTFPR-PG abril - 2017 Letras maiúsculas: conjuntos. Letras minúsculas: elementos do conjunto. Pertinência: o símbolo
Leia maisPLANO DE ENSINO DA DISCIPLINA
PLANO DE ENSINO DA DISCIPLINA Docente: FABIO LUIS BACCARIN Telefones: (43) 3422-0725 / 9116-4048 E-mail: fbaccarin@fecea.br Nome da Disciplina: Álgebra Elementar Curso: Licenciatura em Matemática Carga
Leia maisCálculo proposicional
Cálculo proposicional Proposição Proposições são sentenças afirmativas declarativas que não sejam ambígüas e que possuem a propriedade de serem ou verdadeiras ou falsas, mas não ambas. Exemplos:. Gatos
Leia maisUNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR
UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR FORMULÁRIO PARA CRIAÇÃO E/OU REGULAMENTAÇÃO DE DISCIPLINA
Leia maisÁlgebra Booleana: Axiomas, Teoremas e Leis de De Morgan
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
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 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 maisLógica Computacional
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RN CAMPUS NATAL ZONA NORTE LICENCIATURA EM INFORMÁTICA Aula 01: Apresentação da Disciplina Francisco Júnior E-mail: francisco.junior@ifrn.edu.br Website:
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 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
Leia maisPLANO DE ENSINO. Ano: 2015 Semestre Letivo: ( ) Primeiro ( x ) Segundo Total de Créditos (se for o caso): 4 Carga Horária: 60 horas
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
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 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 maisAgosto. Cronograma Disciplina: Informática Empresarial Professor: Alessandro Pinon CONTEÚDO PROGRAMÁTICO. Apresentação da Disciplina.
02/ago Cronograma 2010.2 Disciplina: Informática Empresarial Professor: Alessandro Pinon Apresentação da Disciplina PROGRAMÁTICO Agosto Dinâmica de Apresentação + Aula Expositiva - Dialogada 03/ago 09/ago
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 maisMatemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade
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 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 Fecho transitivo Teorema: o fecho transitivo de uma relação R é igual a relação de
Leia maisUNIVERSIDADE ESTADUAL PAULISTA
UNIVERSIDADE ESTADUAL PAULISTA FACULDADE DE FILOSOFIA E CIÊNCIAS PÓS-GRADUAÇÃO EM FILOSOFIA CAMPUS DE MARÍLIA ANA CLAUDIA DE JESUS GOLZIO Elementos algébricos para a noção de poucos e sua formalização
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 Funcionamento da disciplina Docentes: Teóricas: Sandra Alves Práticas: Sandra Alves e Nelma Moreira Página web http://www.dcc.fc.up.pt/~sandra/home/lc1718.html (slides de aulas e folhas de exercícios,
Leia maisLógica Computacional Aula 1
Lógica Computacional Aula 1 DCC/FCUP 2017/18 Funcionamento da disciplina Docentes: Teóricas: Sandra Alves Práticas: Sandra Alves e Nelma Moreira Página web http://www.dcc.fc.up.pt/~sandra/home/lc1718.html
Leia maisMatemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando
Leia maisInvariantes de Laço. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG
Invariantes de Laço Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Invariantes de Laço junho - 2018 1 / 28 Este material é preparado usando como referências
Leia maisLógica Computacional
Lógica Computacional Nelma Moreira Departamento de Ciência de Computadores da FCUP Lógica Computacional Aula 1 http://www.dcc.fc.up.pt/~nam/web/teaching/lc2015/ index.html Cursos: LCC, MIERSI e (como Lógica
Leia maisLógica Proposicional
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
Leia maisUniversidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare
Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática Caxias do Sul, julho de. ÍNDICE TEORIA DOS CONJUNTOS...4. RELAÇÃO DE PERTINÊNCIA...4. ALGUNS CONJUNTOS IMPORTANTES...4.
Leia maisMatemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
Leia maisConjuntos parcialmente ordenados, totalmente ordenados e bem ordenados
Conteúdo Conteúdo 1 1 Conjuntos parcialmente ordenados, totalmente ordenados e bem ordenados 2 1.1 Conjuntos parcialmente ordenados................ 2 1.2 Diagramas de Hasse........................ 4 1.3
Leia maisPLANO DE ENSINO E APRENDIZAGEM
SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DO PARÁ INSTITUTO DE CIÊNCIAS EXATAS E NATURAIS CURSO DE LICENCIATURA PLENA EM MATEMÁTICA PARFOR PLANO E APRENDIZAGEM I IDENTIFICAÇÃO: PROFESSOR (A) DA DISCIPLINA:
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 maisLógica Computacional
Lógica Computacional Nelma Moreira: T, PL02,PL03 Rogério Reis: PL01,PL04 Departamento de Ciência de Computadores da FCUP Lógica Computacional Aula 1 www.dcc.fc.up.pt/~nam/web/teaching/lc16/index.html Cursos:
Leia maisESTRUTURAS ALGÉBRICAS FICHA DE EXERCÍCIOS
FACULDADE DE CIÊNCIAS NATURAIS E MATEMÁTICA DEPARTAMENTO DE MATEMÁTICA Campus de Lhanguene, Av de Moçambique, km 1, Tel: +58 1401078, Fa: +58 140108, Maputo ESTRUTURAS ALGÉBRICAS -01 FICHA DE EXERCÍCIOS
Leia maisNotas de aula de MAC0329 Álgebra Booleana e Aplicações (2004)
Notas de aula de MAC0329 Álgebra Booleana e Aplicações (2004) Nina S. T. Hirata Depto. de Ciência da Computação Instituto de Matemática e Estatística Universidade de São Paulo Página da disciplina: www.vision.ime.usp.br/~nina/cursos/mac0329-04/
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/23 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
Leia maisAplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1
Aplicações da teoria de conjuntos álgebra booleana Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1 CONJUNTOS Conjuntos são fundamentais para formalização de qualquer teoria.
Leia maisA DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações
Leia maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
Leia maisPredicados e Quantificadores
Predicados e Quantificadores Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Predicados e Quantificadores junho - 2018 1 / 57 Este material é preparado usando
Leia maisCircuitos Digitais. Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional
Circuitos Digitais Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional OBJETIVOS DA AULA : - Conhecer aos Axiomas e Teoremas da Álgebra de Boole; Álgebra Booleana é uma técnica matemática usada quando
Leia maisPLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO Pró-Reitoria de Ensino de Graduação Coordenação do Curso de Bacharelado em Sistemas de Informação Site: http://www.bsi.ufrpe.br E-mail: coordenacao@bsi.ufrpe.br
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 maisMatemática Discreta. Teoria de Conjuntos - Parte 2. Profa. Sheila Morais de Almeida. abril DAINF-UTFPR-PG
Matemática Discreta Teoria de Conjuntos - Parte 2 Profa. Sheila Morais de Almeida DAINF-UTFPR-PG abril - 2017 Operações em conjuntos As operações entre conjuntos podem ser unárias, binárias, ternárias,
Leia maisDIVISÃO DE ASSUNTOS ACADÊMICOS Secretaria Geral de Cursos PROGRAMA DE DISCIPLINA
DIVISÃO DE ASSUNTOS ACADÊMICOS Secretaria Geral de Cursos PROGRAMA DE DISCIPLINA DEPARTAMENTO DE CIÊNCIAS EXATAS CÓDIGO: EXA804 DISCIPLINA: PROGRAMAÇÃO CARGA HORÁRIA: 180h EMENTA: Estudo aprofundado de
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 mais1 Operações com conjuntos
Notas sobre Conjuntos (2) Anjolina Grisi de Oliveira 1 Operações com conjuntos Definição 1 (União) Sejam A e B dois conjuntos arbitrários. A união dos conjuntos A e B, denotada por A B, é o conjunto que
Leia maisÁlgebras Booleanas e Aplicações
Álgebras Booleanas e Aplicações Prof. Dr. Clotilzio Moreira dos Santos IBILCE - UNESP São José do Rio Preto Outubro de 2013 Álgebras Booleanas e Aplicações Clotilzio Moreira dos Santos Sumário 1 ÁLGEBRAS
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 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 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 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 maisCoberturas E-unitárias para semigrupos inversos parcialmente 16 ordenados Junho / 18
Coberturas E-unitárias para semigrupos inversos parcialmente ordenados Donald B. McAlister Department of Mathematical Sciences Northern Illinois University e Centro de Álgebra da Universidade de Lisboa
Leia maisCriptografia e Segurança das Comunicações. das Comunicações Bases Matemáticas - Relações e Ordens
9 Criptografia e Segurança das Comunicações Bases Matemáticas - Relações e Ordens Teoria Ordem: /22 Relações binárias () 9 Teoria da ordem é o ramo da matemática, dedicada a vária relações binárias, que
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 maisLógica Computacional
Lógica Computacional 3.ano LCC e LERSI URL: http://www.ncc.up.pt/~nam/aulas/0304/lc Escolaridade: 3.5T e 1P Frequência:Semanalmente serão propostos trabalhos aos alunos, que serão entregues até hora e
Leia maisAplicar as propriedades imediatas dos homomorfismos de grupos. Aplicar os teoremas dos homomorfismos na relação de problemas.
Aula 06 HOMOMORFISMOS DE GRUPOS META Apresentar o conceito de homomorfismo de grupos OBJETIVOS Reconhecer e classificar os homomorfismos. Aplicar as propriedades imediatas dos homomorfismos de grupos.
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 maisInstituto de Matemática e Estatística, UFF Setembro de 2013
Operações Instituto de Matemática e Estatística, UFF Setembro de 2013 ... Sumário.. Boole Um dos pioneiros da lógica matemática e dos estudos da lógica algébrica. Em sua homenagem foi cunhado o termo Álgebra
Leia maisPlano de Ensino IDENTIFICAÇÃO
EIXO TECNOLÓGICO: Plano de Ensino IDENTIFICAÇÃO CURSO: : Licenciatura em Matemática FORMA/GRAU:( )integrado ( )subsequente ( ) concomitante ( ) bacharelado ( x ) licenciatura ( ) tecnólogo MODALIDADE:
Leia maisLÓGICA APLICADA - GST0049 LÓGICA APLICADA (20/10/2014) Perfil Docente Especialista em Matemática, preferencialmente com pós-graduação stricto sensu na
LÓGICA APLICADA - GST0049 LÓGICA APLICADA (20/10/2014) Perfil Docente Especialista em Matemática, preferencialmente com pós-graduação stricto sensu na área. Mestre ou Doutor em áreas afins. Experiência
Leia maisUNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática
2 a ETAPA exclusivo de curso (X) Eixo Comum ( ) Eixo Universal ( ) Curso: CIÊNCIA DA COMPUTAÇÃO ALGORITMOS E PROGRAMAÇÃO II ( 02 ) Sala de Aula 04 h/a ( 02 ) Laboratório ALGORITMOS E PROGRAMAÇÃO Estudo
Leia maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
Leia maisPlano de Ensino de Disciplina Engenharia Elétrica
Plano de Ensino de Disciplina - 2016 Engenharia Elétrica Disciplina: SISTEMAS DIGITAIS 1 SD 1 Código: 8507 Carga Horária Semanal: Teoria: 02 horas Laboratório: 02 horas Carga Horária Semestral: Teoria:
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 maisMDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa
Leia maisCombinando relações. Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações
1 / 11 Combinando relações Combinando relações Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações R 1 = {(1, 1), (2, 2), (3, 3)} e R 2 = {(1, 1), (1, 2), (1, 3), (1, 4)} podem ser combinadas para
Leia maisConteúdo. Conceitos e Resultados Gerais. 11 Combinatória. Introdução
Introdução ix I Conceitos e Resultados Gerais 1 1 Linguagem Matemática e Lógica Informal 1.1 Sistemas matemáticos.. 1.2 Noção de conjunto... 1.3 Linguagem proposicional.. 1.4 Operações sobre conjuntos.
Leia mais1.1 Conjuntos parcialmente ordenados (c.p.o. s)
Capítulo 1 PRELIMINARES Neste primeiro capítulo podemos encontrar algumas definições e proposições que para além de nos familiarizar com a notação que iremos utilizar também têm como finalidade a referência
Leia maisLÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Apresentação da Disciplina Planejamento Conteúdo Programático Metodologia Bibliografia Definição Motivação Planejamento Semestre 2009.3 Local 3B5
Leia mais02 Álgebra de Boole elementos físicos e funções lógicas. v0.2
02 Álgebra de Boole elementos físicos e funções lógicas v0.2 Conteúdo Leis Teoremas Corolários Dualidade Conjunto binário Elementos físicos e funções lógicas 05 November 2014 Sistemas Digitais 2 Definição
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 maisIndução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG
Indução Matemática Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Indução Matemática junho - 2018 1 / 38 Este material é preparado usando como referências os
Leia maisPontifícia Universidade Católica Federal do Rio de Santa Grande Catarina do Sul
DEPARTAMENTO: Engenharia Elétrica CURSO: Engenharia Elétrica DISCIPLINA: Sistemas Digitais CÓDIGO: EEL 7020 CRÉDITOS: 04 (02 Teoria e 02 Prática) CARGA HORÁRIA: 72 horas-aula REQUISITOS: OFERTA: Pré-requisito:
Leia maisGeradores e relações
Geradores e relações Recordamos a tabela de Cayley de D 4 (simetrias do quadrado): ρ 0 ρ 90 ρ 180 ρ 270 h v d 1 d 2 ρ 0 ρ 0 ρ 90 ρ 180 ρ 270 h v d 1 d 2 ρ 90 ρ 90 ρ 180 ρ 270 ρ 0 d 2 d 1 h v ρ 180 ρ 180
Leia maisGeorge Boole ( ) Claude Shannon
George Boole (1815 1864) Claude Shannon Da matemática básica temos: Constante = valor fixo Variável = pode assumir qualquer valor Constante booleana = valor fixo (0 ou 1) independente da situação! Variável
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 maisINFORMAÇÕES E CRONOGRAMA DO CURSO. E MAIL: HOME PAGE:
INFORMAÇÕES E CRONOGRAMA DO CURSO 1. IDENTIFICAÇÃO DO CURSO CURSO: BC&T ANO: 2009 DISCIPLINA: Geometria Analítica PERÍODO MINISTRADO: 2º trimestre CÓD. DISCIPLINA: BC0404 2. IDENTIFICAÇÃO DO PROFESSOR
Leia maisINE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE0003 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/51 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente
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 maisMatemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
Leia maisFicha 1 (permanente)
Ficha 1 (permanente) Disciplina: Complementos de Matemática Código: CM100 Natureza: ( x ) Obrigatória ( ) Optativa ( x ) Semestral ( ) Anual ( ) Modular Pré-requisito: Não há Co-requisito: - Modalidade:
Leia mais3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
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 maisNoções básicas de álgebra universal para a disciplina de Fundamentos Algébricos de Engenharia da Programação da LMAC
Noções básicas de álgebra universal para a disciplina de Fundamentos Algébricos de Engenharia da Programação da LMAC Pedro Resende Departamento de Matemática Instituto Superior Técnico Conteúdo 1 Álgebras
Leia mais