BCC 101 Matemtica Discreta I

Introduo
www.dcc.ufmg.br/~lucilia/cursos/md1

Luclia Figueiredo

O que matemtica discreta? Discreto { Contnuo

 Composto de partes distinguveis ou separveis  Naturais : discreto X Reais: contnuo  Digital { analgico

Matemtica Discreta: estudo de estruturas matemticas discretas

Programa do Curso
 Lgica Matemtica
Sintaxe Semntica Clculo Algbrico Regras de Deduo Estratgias de Prova

 Teoria de Conjuntos, Funes e Relaes  Conjuntos e Funes Recursivas  Princpio de Prova por Induo

Bibliografia
 Rosen, Discrete Mathematics and its Applications, McGraw Hill, 1998.  Daniel J. Velleman; How to Prove it: A Structured Approach Cambridge University Press, 1994.  Joo Nunes de Souza, Lgica para a Cincia da Computao, Editora Campus, 2002.  Judith Gersting: Fundamentos Tericos para a Computao, Editora LTC  Edward R. Scheinerman, Matemtica Discreta: Uma Introduo, Editora Thompson, 2003

Porque estudar Matemtica Discreta?

 Desenvolvimento de Software e Hardware
Projeto de chips Especificao de software Gerao automtica de software Prova formal de correo de programas Usada em projetos de software de alta segurana Influncia em todos os projetos de software Lambda calculus base semntica para LPs Verificao e inferncia de tipos base em lgica Modelos de computao limites de expressividade
5

 Fundamentos de linguagens de programao

 Inteligncia Artificial, Bancos de Dados

O que Lgica?
uma ferramenta para raciocnio Para descrever o mundo, usamos sentenas declarativas tais como:
i. Amanh vai chover ou vai nevar ii. Aqui muito quente para nevar

Aplicando algumas regras gerais de raciocnio, podemos concluir a partir dessas afirmaes:
iii. Ento, amanh vai chover

Quais so essas regras de raciocnio?

6

O que Lgica?
uma ferramenta para raciocnio
Amanh vai chover ou vai nevar Aqui muito quente para nevar Portanto, amanh vai chover

Eu vou aula hoje ou amanh Amanh eu vou ficar em casa. Portanto, eu vou aula hoje.

A estrutura dos dois raciocnios a mesma:

P ou Q no Q Portanto, P a forma, e no o significado que torna os dois argumentos vlidos
7

Lgica
uma ferramenta para raciocnio
Podemos implementar tal raciocnio no computador? Para que o computador possa lidar com argumentos como os que vimos anteriormente, precismos primeiro definir a sintaxe da linguagem em que as sentenas so escritas
  A sintaxe da linguagem deve capturar a estrutura, e no o significado das sentenas A linguagem deve ser definida formalmente

Alm disso, devemos poder expressar as regras de raciocnio a serem usadas pelo sistema tais como a que permite concluir iii) de i) e 8ii)

Lgica Proposicional
a linguagem da lgica proposicional Sentenas atmicas (indivisveis) so denotadas por variveis, ou smbolos de proposio: P, Q, R etc Novas sentenas so formadas combinando sentenas por meio de conectivos lgicos :
Negao Lgica E Lgico p Implicao Lgica Ou Lgico m Equivalncia Lgica
9

Exemplo: PmQ, (PQ)m(QP)

Representando sentenas como frmulas lgicas

Carlos vai para o Rio ou So Paulo Jos sabe programar em Java e em C Joo no atleticano e feliz, ou ele atleticano Se o Ganso no jogar, ento o Santos vai perder Maria gosta de msica, mas no gosta de danar

7 e3 3e T e 4
3 um divisor comum de 6, 9 e 15

Analisando a forma lgica de argumentos

Jane e Paulo no vo ambos ganhar o prmio de matemtica. Paulo vai ganhar o prmio de matemtica ou o de qumica. Jane vai ganhar o prmio de matemtica. Portanto, Paulo vai ganhar o prmio de qumica. Ou os preos iro subir e o lojista vai ficar feliz, ou as despesas vo aumentar e o lojista vai ficar triste. Portanto, os preos e as despesas no vo ambos subir.