SIN006 - Matemática Discreta 2010.2

Ementa

• Argumentação Lógica
• Conjuntos e Funções
• Relações
• Álgebra Booleana
• Algoritmos e Números inteiros
• Indução e Recursão
• Teoria dos Grafos
• Teoria dos Grupos

Material de Apoio

• Fundamentos da Lógica Proposicional
• Proposições Quantificadas
• Métodos de Prova (Prof. Loureiro) 
• Métodos de Prova(Prof. Daniel)
• Indução Matemática Fraca
• Indução Matemática Forte
• Teoria dos Conjuntos

Listas de Exercícios

• Lista 1
• Lista 2
• Lista 3
• Lista 4
• Lista 5

Trabalho

• Trabalho1

Avaliações

• 1AP [prova] [solução]
• 1AP 2 chamada [prova]

Bibliografia Básica:

	Matemática Discreta e suas Aplicações Kenneth H. Rosen Mc-Graw Hill, Tradução da 6a. edição em inglês, 2009, ISBN 978-85-77260-36-2.
	Fundamentos Matemáticos para a Ciência da Computação J.L. Gersting Watt LTC,  5ª Ed., 2004.

 

Textos interessantes:

Números Irracionais
A enumerabilidade de N X N
A torre de Hanoi
Como perder amigos e enganar pessoas
Paridade
Método de Indução
O que é uma prova?
Forma versus contéudo

Links:

Akinator, o gênio virtual que lê sua mente

Contato:

Wladimir Araújo Tavares
Campus Quixadá
Universidade Federal do Ceará

wladimirufc arroba gmail ponto com ponto br

Última modificação