Apresentao da Disciplina

COM06851-Matemtica Discreta COM06851 Prof. Edmar Hell Kampke edmar.kampke@ufes.br

2012-II 2012

Introduo
Tambm conhecida como matemtica finita Por que estudar Matemtica Discreta?
Desenvolvimento do raciocnio lgico Modelagem de problemas computacionais Poder da notao matemtica

Aplicaes:
Banco de Dados, Inteligncia Artificial, Algoritmos e Complexidade, Linguagens de Programao Arquitetura de Computadores Compiladores, etc.
2 2012-II

Objetivos
Contribuir para o desenvolvimento do raciocnio abstrato, do ponto de vista lgico e matemtico; Dar base ao aluno para que este seja capaz de construir e definir formalmente conceitos fundamentais da computao; Desenvolver algoritmos; Resolver eficientemente ambientes computacionais. problemas em

2012-II

Contedo
Conjuntos Funes Relaes Somatrios Mtodos de Prova Recorrncia Induo lgebra Booleana Probabilidade Discreta Comportamentos Assintticos
4 2012-II

Informaes
Cdigo: COM06851 1 Perodo Anual Obrigatria 4 crditos 60 horas tericas

2012-II

Bibliografia Bsica
LIPSCHUTZ, S. e LIPSON, M.; Teoria e Problemas de Matemtica Discreta, 2 ed., Bookman, 2004. GERSTING, J. L.; Fundamentos Matemticos para a Cincia da Computao, 5 ed., LTC, 2004. SCHEINERMAN, E. R.; Matemtica Discreta: Uma Introduo, 2 ed., Cengage Learning, 2011.

2012-II

Bibliografia Complementar
ROSEN, K. H.; Matemtica Discreta e suas Aplicaes, 6 ed., McGraw Hill, 2009. De MAIO, W.; Fundamentos de Matemtica-lgebra Estruturas Algbricas e Matemtica Discreta, 1 ed., LTC, 2009. MENEZES, P. B., TOSCANI, L. V. e LPEZ, J. G.; Aprendendo Matemtica Discreta com Exerccios, 1 ed., Artmed, 2009. MENEZES, P. B.; Matemtica Discreta para Computao e Informtica, 2 ed., Bookman, 2008 2008. GRAHAM, R., KNUTH, D. e PATASHNIK, O.; Matemtica Concreta - Fundamentos para a Cincia da Computao, 2 ed., LTC, 1995.
7 2012-II

Avaliaes
1 Prova: 30/01 2 Prova: 19/03 3 Prova: 23/04 Nota Final 100 pontos 100 pontos 100 pontos

(P1 + P2 + P3)/3

Prova Final: 30/04

2012-II

Outras Informaes
Provas individuais e sem consulta No deixem para estudar apenas em poca de prova O estudo dirio imprescindvel para o bom andamento do aluno na disciplina Fazer muitos exerccios extra-classe muito importante

2012-II

Outras Informaes
Durante as aulas e provas, desligue o celular, ou coloque no silencioso Respeito importante para relacionamento entre professor e aluno o bom

Para alterao de data de prova favor conversar com o professor antecipadamente Para tirar dvidas ou conversar com o professor, siga o horrio de atendimento, ou agende com antecedncia por e-mail

10

2012-II

Outras Informaes
Utilize com a maior freqncia possvel as ferramentas de comunicao estabelecidas: e-mail da UFES, Portal do Aluno e Pgina do Professor Evite faltar, pois faltas acima de 25% representam reprovao imediata, que extremamente danoso para seu histrico acadmico e no do direito avaliao final. Em caso de ausncia justificada, as faltas s sero abonadas aps a entrega da cpia do comprovante do motivo de ausncia (atestado mdico, certificados de eventos e etc.)
11 2012-II

Dados do Professor
Edmar Hell Kampke e-mail: edmar.kampke@ufes.br site: http://edmarhk.webnode.com.br Sala: Prdio Central Antiga Sala 2 (Prxima a Sala Maracan) Horrios de Atendimento: 20:00hrs Quinta: 17:30hrs s 20:00 Sexta: 13:30hrs s 17:30hrs hrs

12

2012-II

Fundamentos
Definio: especifica com preciso os conceitos : que estamos interessados. Teorema: afirma exatamente : verdadeiro sobre esses conceitos conceitos. o que

Prova: demonstram, de maneira incontestvel, : a verdade dessas afirmaes.

13

2012-II

Definio
Definio 1.1: (Par) Um inteiro chamado par se divisvel por 2.

A definio acima clara? Termos ainda no definidos: inteiro, divisvel Procurar conceitos mais simples para todos os termos? Assumir que alguns termos no precisam ser definidos: Este termo indefinvel, mas cremos entender o que ele significa
14 2012-II

Definio
Definio 1.1: (Par) Um inteiro chamado par se divisvel por 2. Definio 1.2 (Divisvel): Sejam a e b inteiros. Dizemos que a divisvel por b se existe um inteiro c tal que bc=a. A notao correspondente b | a.

Perguntas: 12 divisvel por 4? 12 divisvel por 5?

15

2012-II

Teorema
Afirmao que sabemos ser verdadeira porque podemos prov-la.
Teorema 2.1 (Pitagrico) Se a e b so os comprimentos dos catetos de um tringulo retngulo e c o comprimento da hipotenusa, ento a2 + b2 = c2

Essa relao vale para qualquer tringulo retngulo, de maneira absoluta e sem exceo. Por que?

16

2012-II

Teorema
Formas de expressar um teorema Se-ento: Se A, ento B, A chamado hiptese e B, concluso. Notao: A B Se x e y so inteiros pares, ento x+y tambm par Se e somente se Se A ento B, e se B ento A Notao: A B Se um inteiro x par, ento x+1 mpar, e se x+1 mpar ento x par Um inteiro x par se e somente se x+1 for mpar
17 2012-II

Operaes Booleanas
Operao e (smbolo: ^) Quando a afirmao A ^ B verdadeira? Operao no (smbolo: ) Quando a afirmao A verdadeira? Operao ou (smbolo: v) Quando a afirmao v B verdadeira? A

18

2012-II

Prova
Vimos que os conceitos matemticos so criados por meio de definies. Afirmaes so criadas a partir de noes matemticas. Uma prova uma argumentao que mostra, de maneira indiscutvel, que uma afirmao verdadeira. Veremos essa parte de prova em aulas posteriores.
19 2012-II

Pense Nisso...
Se voc no v logo como resolver um problema, no desista, pense mais um pouco; certifique certifique-se de que entendeu toda a terminologia utilizada no problema, brinque com algumas idias. Se nenhuma abordagem se apresentar, pare um pouco e pense sobre isso mais tarde. Repita esse processo por muitos e muitos dias. Quando voc finalmente acordar no meio da noite com uma idia, vai saber que est colocando a quantidade apropriada de esforo nessa disciplina. Judith L. Gersting
20 2012-II

Apresentao da Disciplina

COM06851-Matemtica Discreta COM06851 Prof. Edmar Hell Kampke edmar.kampke@ufes.br

2012-II 2012