
Marcelo Gama
Compartilhando conhecimento
Professor
Matemática discreta 2013.1
Matemátida discreta para as turmas SI 1 e SI 2 do bacharelado em sistemas de informação da UFRPE - Primeiro semestre de 2013
Plano de ensino
Leiam o plano de ensino. Nele estão as principais informações sobre esta disciplina: as atividades que serão desenvolvidas (dia-a-dia), os objetivos, a metodologia de avaliação e referências bibliográficas.
Turmas, professores, monitoria e locais de aula



Bibliografia
Turma SI1
Prof. Marcelo Gama
CEAGRI I - Lab. 10
Turma SI2
Profa. Silvana Bocanegra
CEGOE - Lab. 20
Monitoria
Luziane Nunes
CEGOE - sala 9
Segundas e Quartas - 13:30 às 15:00



Livro texto
Kenneth H. Rosen
Matemática Discreta e suas Aplicações
6a. edição, 2009
Editora MCGraw-Hill
Básico
Edward R. Scheinerman
Matemática discreta - Uma introdução
1a. edição, 2011
Editora CENGAGE
Básico
Judith L. Gersting
Fundamentos Matemáticos para a Ciência
da Computação
5ª edição, 2004
Editora LTC
Clique nas imagens para mais informações
Complementar
Ronald L. Graham, Donald E. Knuth, Oren Patashnik
Matemática Concreta:Fundamentos para Ciência da Computação
2a. edição, 1995
Editora LTC
Complementar
Seymour Lipschutz, Marc Lipson
Matemática Discreta
3a. edição, 2013
Editora Bookman
Complementar
Cliff L. Stein, Robert Drysdale, Kenneth Bogart
Discrete Mathematics for Computer
Scientists
2010
Addison-Wesley
Complementar
Paulo Blauth Menezes
Matemática Discreta para Computação e Informática - Série UFRGS, Vol. 16
4a. edição, 2013
Editora Bookman
Programação das aulas
Material complementar, slides, listas e provas
QUARTA, 22/05/2013, 08:00 ÀS 10:00
01 - APRESENTAÇÃO DA DISCIPLINA
Apresentação da disciplina. Resolução de problemas diversos.
SEGUNDA, 27/05/2013, 08:00 ÀS 10:00
02 - RESOLUÇÃO DE PROBLEMAS
Resolução de problemas dos livros da OBMEP, volumes 1 e 2.
QUARTA, 29/05/2013, 08:00 ÀS 10:00
03 - TESTE 0
Conteúdo: Problemas do volume 1 (capítulos 1 e 2) e do volume 2 (capítulo 1) dos livros da OBMEP.
SEGUNDA, 03/06/2013, 08:00 ÀS 10:00
04 - LÓGICA PROPOSICIONAL
Proposições, conectivos, tabela verdade.
Publicação da lista 1.
QUARTA, 05/06/2013, 08:00 ÀS 10:00
05 - LÓGICA PROPOSICIONAL
Predicados, quantificadores, regras de inferência.
Publicação da lista 2.
SEGUNDA, 10/06/2013, 08:00 ÀS 10:00
06 - PROVAS MATEMÁTICAS
Prova direta, pela contrapositiva, por redução ao absurdo, por contra-exemplo.
Publicação da lista 3.
QUARTA, 12/06/2013, 08:00 ÀS 10:00
07 - TEORIA DOS CONJUNTOS
Tipos de conjuntos, notação, igualdade, subconjuntos, operações entre conjuntos.
Entrega das listas 1 e 2. Publicação da lista 4.
SEGUNDA, 17/06/2013, 08:00 ÀS 10:00
08 - TEORIA DOS CONJUNTOS
Conjunto das partes, identidade ente conjuntos, cardinalidade.
QUARTA, 19/06/2013, 08:00 ÀS 10:00
09 - RELAÇÕES
Definição e tipos de relações.
Publicação da lista 5.
QUARTA, 26/06/2013, 08:00 ÀS 10:00
10 - RELAÇÕES
Relações de equivalência.
SEGUNDA, 01/07/2013
AULA SUSPENSA
Motivo: greve dos rodoviários.
QUARTA, 03/07/2013
AULA SUSPENSA
Motivo: greve dos rodoviários.
SEGUNDA, 08/07/2013, 08:00 ÀS 10:00
11 - AULA DE EXERCÍCIOS
Entrega das listas 3 e 4.
QUARTA, 10/07/2013, 08:00 ÀS 10:00
12 - TESTE 1
Conteúdo: Listas 1, 2, 3 e 4.
SEGUNDA, 15/07/2013, 08:00 ÀS 10:00
13 - AULA DE REVISÃO
Relações.
QUARTA, 17/07/2013, 08:00 ÀS 10:00
14 - FUNÇÕES
Definição e aplicações. Autômatos e linguagens.
Publicação da lista 6.
SEGUNDA, 22/07/2013, 08:00 ÀS 10:00
15 - FUNÇÕES
Principio das casas dos pombos.
QUARTA, 24/07/2013, 08:00 ÀS 10:00
16 - FUNÇÕES
Comportamento assintótico.
SEGUNDA, 29/07/2013, 08:00 ÀS 10:00
17 - AULA DE EXERCÍCIOS
Entrega das listas 5 e 6.
QUARTA, 31/07/2013, 08:00 ÀS 10:00
18 - TESTE 2
Conteúdo: Listas 5 e 6
SEGUNDA, 05/08/2013, 08:00 ÀS 10:00
19 - SOMAS E INDUÇÃO
Somas, sequências e princípio de indução finita.
Publicação da lista 7.
QUARTA, 07/08/2013, 08:00 ÀS 10:00
20 - SOMAS E INDUÇÃO
Somas, sequências e princípio de indução finita.
SEGUNDA, 12/08/2013, 08:00 ÀS 10:00
21 - RECURSIVIDADE
Recursividade. Problemas recursivos.
QUARTA, 14/08/2013, 08:00 ÀS 10:00
22 - AULA DE EXERCÍCIOS
Entrega da lista 7.
SEGUNDA, 19/08/2013, 08:00 ÀS 10:00
23 - ARITMÉTICA DOS NÚMEROS INTEIROS
Divisibilidade e aritmética modular.
Publicação da lista 8.
QUARTA, 21/08/2013, 08:00 ÀS 10:00
24 - ARITMÉTICA DOS NÚMEROS INTEIROS
Representação de inteiros e algoritmos.
SEGUNDA, 26/08/2013, 08:00 ÀS 10:00
25 - AULA DE EXERCÍCIOS
Entrega da lista 8.
QUARTA, 28/08/2013, 08:00 ÀS 10:00
26 - ANÁLISE COMBINATÓRIA
Aranjos, combinações e permutações.
Publicação da lista 9.
QUARTA, 04/09/2013, 08:00 ÀS 10:00
27 - TESTE 3
Conteúdo: Listas 7 e 8
QUARTA, 11/09/2013, 08:00 ÀS 10:00
28 - GRAFOS
Definição, terminologia, formas de representação e aplicações.
Publicação da lista 10.
SEGUNDA, 16/09/2013, 08:00 ÀS 10:00
29 - GRAFOS
Grafos bipartidos. Grau de um vértice e teorema dos graus. Grafos regulares.
QUARTA, 18/09/2013, 08:00 ÀS 10:00
30 - AULA DE EXERCÍCIOS
Entrega das listas 9 e 10.
TERÇA, 24/09/2013, 09:00 ÀS 11:00
31 - TESTE 4
Conteúdo: Listas 9 e 10.
SEGUNDA, 30/09/2013, 08:00 ÀS 10:00
32 - TERCEIRA VERIFICAÇÃO DE APRENDIZAGEM
Conteúdo: Todas as listas.
QUARTA, 02/10/2013, 08:00 ÀS 10:00
33 - PROVA FINAL
Conteúdo: Todas as listas.

