Karl marx

Bacharelado em Ciência da Computação
Matemática Discreta
Prof. Diego Mello da Silva
Instituto Federal de Minas Gerais - Campus Formiga

4 de dezembro de 2012

[e-mail] (IFMG)

Matemática Discreta

4 de dezembro de 2012

1 / 38

Sumário

1

Ementa e informações da disciplina

2

Bibliografia

3

Introdução à Matemática Discreta

4

Tópicos de Lógica Proposicional

[e-mail] (IFMG)

Matemática Discreta

4 de dezembro de 2012

2 / 38

Informações sobre a disciplina
Disciplina com 72 hs/aula – 4 Créditos – Carga Horária 60 hs
Objetivos
Desenvolver o raciocínio lógico matemático. Prover o fundamento sobre as estruturas discretas estudadas em um curso de Ciência da
Computação. Desenvolver as habilidades de prova e demonstração.

Ementa1
Lógica Proposicional
Técnicas de Prova
Teoria de Conjuntos
Técnicas de Contagem
Indução e Recursão
Relações
Fundamentos de Grafos
1

https://sites.google.com/a/ifmg.edu.br/diegosilva/

[e-mail] (IFMG)

Matemática Discreta

4 de dezembro de 2012

3 / 38

Avaliação da Disciplina

Provas: 80 pontos
Prova 1 (20 ptos): 14/Jan. Lógica e Técnicas de Prova
Prova 2 (20 ptos): 18/Fev. Conjuntos, Funções e Combinatória
Prova 3 (20 ptos): 11/Mar. Indução e Recursão
Prova 4 (20 ptos): 17/Abr. Relações e Fundamentos de Grafos

Trabalhos: 20 pontos
Pesquisas/artigos
Implementação de algoritmos em linguagem computacional

[e-mail] (IFMG)

Matemática Discreta

4 de dezembro de 2012

4 / 38

Prova 1: Lógica Proposicional e Técnicas de Prova
Mês

10

5e6

7e8

17

9 e 10

19

2

3e4

12

Jan/13

Aula
1e2

052

Dez/12

Data
03

11 e 12

07

13 e 14

Conteúdo
Apresentação do Curso. Lógica Proposicional. Conectivos lógicos e Tabela Verdade.
Tautologia, Contradição e Contingência. Equivalências Lógicas. Equivalências Importantes. Construindo novas equivalências lógicas.