Apresenta os principais conceitos de matemática discreta, explicados

e exemplificados. O conteúdo é rigoroso, simples e didático.

FEV/2011 | 1/5 | AAA

CIÊN

CIAS

EXAT

AS, S

OCIA

IS E

APLI

CADA

S Co

mpu

taçã

o e Te

cnolo

gia da

Info

rmaç

ão

www.grupoaeditoras.com.br | 0800 703 3444

Matemática discreta para computação e informática – 3ª ed.Paulo Blauth Menezes

16 x 23 cm | 256 pág.

• Foi desenvolvido com o objetivo de atender os cursos de graduação em computação e informática, conforme as Diretrizes Curriculares do MEC; é 100% desenvolvido e voltado para as necessidades brasileiras

• Edição atualizada e ampliada

s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s

É o livro-texto de Aprendendo matemática discreta com exercícios,

volume 19 da mesma coleção.

• Apresentações em PowerPoint

ÁREA DO PROFESSOR

Visite o site www.grupoaeditoras.com.br para ter acesso a conteúdos exclusivos que complementam o estudo do tema e auxiliam na preparação de aulas.

CIÊN

CIAS

EXAT

AS, S

OCIA

IS E

APLI

CADA

S Co

mpu

taçã

o e Te

cnolo

gia da

Info

rmaç

ão

SUMÁRIOCapítulo 1. Introdução à matemática discreta 1.1 - Introdução à matemática discreta 1.2 - Conceitos básicos de teoria dos conjuntos 1.3 - Exercícios

Capítulo 2. Noções de lógica e técnicas de demonstração 2.1 - Lógica2.2 - Técnicas de demonstração 2.3 - Exercícios

Capítulo 3. Álgebra de conjuntos3.1 - Diagramas de Venn 3.2 - Paradoxo de Russell 3.3 - Operações não reversíveis 3.4 - Operações reversíveis 3.5 - Relação entre lógica e álgebra de conjuntos.3.6 - Álgebra de conjuntos nas linguagens de programação 3.7 - Álgebra de conjuntos e teoria da computação 3.8 - Eexercícios

Capítulo 4. Relações 4.1 - Relação 4.2 - Endorrelação como grafo 4.3 - Relação como matriz 4.4 - Relação dual e composição de relações 4.5 - Tipos de relações 4.6 - Banco de dados relacional 4.7 - Rede de Petri 4.8 - Relações nas linguagens de programação 4.9 - Exercícios

Capítulo 5. Funções parciais e totais 5.1 - Função parcial 5.2 - Autômato finito 5.3 - Função total 5.4 - Construções matemáticas como funções5.5 - Função de hashing 5.6 - Funções nas linguagens de programação 5.7 - Linguagem de programação funcional 5.8 - Exercícios

Capítulo 6. Endorrelações, ordenação e equivalência 6.1 - Propriedades de uma endorrelação 6.2 - Fecho de uma endorrelação 6.3 - Ordenação 6.4 - Equivalência e partição 6.5 - Exercícios

Capítulo 7. Cardinalidade de conjuntos 7.1 - Cardinalidade finita e infinita 7.2 - Conjunto contável e não contável 7.3 - Cardinalidade dos conjuntos não contáveis 7.4 - Cardinal do conjunto de todos os problemas

solucionáveis7.5 - Leitura complementar: máquina de Turing 7.6 - Exercícios

Capítulo 8. Indução e recursão 8.1 - Princípio da indução matemática 8.2 - Prova indutiva 8.3 - Segundo princípio da indução matemática 8.4 - Definição indutiva

8.5 - Expressões regulares 8.6 - Computações de um autômato finito 8.7 - Leitura complementar: gramática e BNF 8.8 - Recursão 8.9 - Leitura complementar: funções recursivas parciais 8.10 - Exercícios

Capítulo 9. Álgebras e homomorfismos 9.1 - Operações binárias 9.2 - Propriedades das operações binárias 9.3 - Grupoides, semigrupos, monoides, grupos 9.4 - Importantes propriedades dos monoides e grupos 9.5 - Homomorfismos9.6 - Monoide livre gerado e fecho de Kleene 9.7 - Grafos 9.8 - Categorias 9.9 - Leitura complementar: álgebra, sintaxe e semântica 9.10 - Lxercícios

Capítulo 10. Reticulados e álgebra booleana 10.1 - Limitantes de conjuntos parcialmente ordenados 10.2 - Reticulados 10.3 - Tipos especiais de reticulados .10.4 - Sub-reticulado .10.5 - Leitura complementar: primitivas para programação

concorrente 10.6 - Álgebra booleana 10.7 - Circuitos lógicos 10.8 - Homomorfismos10.9 - Exercícios

www.grupoaeditoras.com.br | 0800 703 3444FEV/2011 | 2/5 | AAA

Matemática discreta para computação e informática – 3ª ed.Paulo Blauth Menezes16 x 23 cm | 256 pág.

s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s

SAIBA MAIS

CIÊN

CIAS

EXAT

AS, S

OCIA

IS E

APLI

CADA

S Co

mpu

taçã

o e Te

cnolo

gia da

Info

rmaç

ão

www.grupoaeditoras.com.br | 0800 703 3444FEV/2011 | 3/5 | AAA

Matemática discreta para computação e informática – 3ª ed.Paulo Blauth Menezes16 x 23 cm | 256 pág.

s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s

CIÊN

CIAS

EXAT

AS, S

OCIA

IS E

APLI

CADA

S Co

mpu

taçã

o e Te

cnolo

gia da

Info

rmaç

ão

Principalmente alunos de graduação em informática e computação (Bacharelado em Ciência da Computação, Engenharia da Computação, Sistemas de Informação e Licenciatura em Computação), ou para cursos de graduação em tecnólogo em Computação ou Informática, podendo ser usado também como livro de consulta tanto para pesquisa, como para extensão e pós-graduação.

PÚBLICO-ALVO

Paulo Blauth Menezes é professor e pesquisador do Departamento de Informática Teórica do Instituto de Informática da UFRGS, tendo mais de 30 anos de experiência no meio acadêmico.

SOBRE O AUTOR

www.grupoaeditoras.com.br | 0800 703 3444FEV/2011 | 4/5 | AAA

Matemática discreta para computação e informática – 3ª ed.Paulo Blauth Menezes16 x 23 cm | 256 pág.

s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s

SOBRE A SÉRIE

A série Livros Didáticos é uma produção conjunta do Instituto de Informática da Universidade Federal do Rio Grande do Sul, um dos mais respeitados centros acadêmicos do Brasil, e da Bookman, uma das mais importantes editoras de livros científicos, técnicos e profissionais da América Latina. São 17 obras englobando as disciplinas fundamentais dos cursos de computação e informática apresentadas de forma didática e de acordo com as diretrizes curriculares do MEC. Organizados por professores renomados, os livros são divididos em capítulos que facilitam a preparação das aulas utilizando exemplos detalhados e exercícios em níveis crescentes de dificuldade, estimulando o desenvolvimento do raciocínio dos alunos. Desde seu lançamento, a série tornou-se um sucesso de vendas, e seus livros foram adotados em diversas universidades do Brasil. Então, quando o assunto é conhecimento em computação, você já sabe onde encontrar o que realmente interessa.

CIÊN

CIAS

EXAT

AS, S

OCIA

IS E

APLI

CADA

S Co

mpu

taçã

o e Te

cnolo

gia da

Info

rmaç

ão

www.grupoaeditoras.com.br | 0800 703 3444FEV/2011 | 5/5 | AAA

s é r i e l i v r o s d i d á t i c o s i n f o r m á t i c a u f r g s

• Aprendendo Matemática Discreta com Exercícios

• Arquitetura de Computadores Pessoais – 2ª ed.

• Arquiteturas Paralelas

• Complexidade de Algoritmos – 2ª ed.

• Concepção de Circuitos Integrados – 2ª ed.

• Estruturas de Dados

• Fundamentos de Arquitetura de Computadores – 3ª ed.

• Fundamentos de Circuitos Digitais

• Implementação de Linguagens de Programação: Compiladores – 3ª ed.

• Linguagens Formais e Autômatos – 6ª ed.

• Matemática Discreta para Computação e Informática (3.ed.)

• Projeto de Banco de Dados - 6ª ed.

• Redes de Computadores

• Sistemas Operacionais - 4ª ed.

• Tabelas: Organização e Pesquisa

• Teoria das Categorias para Ciência da Computação– 2ª ed.

• Teoria da Computação: Máquinas Universais e Computabilidade - 3ª ed. (em breve)