Académique Documents
Professionnel Documents
Culture Documents
Complementar
Introduo
A Matemtica
Definio:
uma cincia que estuda, por mtodo
dedutivo, objetos abstratos (nmeros,
figuras, funes) e as relaes
existentes entre eles.
Principais ramos:
Aritmtica.
lgebra.
Geometria.
2
A Matemtica
O mundo da matemtica pode ser dividido
em aproximadamente dois domnios:
contnuo e discreto.
Matemtica Contnua
Matemtica Discreta
3
Matemtica Contnua
No relgio analgico, os ponteiros se
movem suavemente ao longo do tempo.
Assim, entre 12:02pm e 12:03pm h um
nmero infinito de diferente tempos
possveis.
4
Matemtica Discreta
A Matemtica Discreta comparvel com
o relgio digital, em que h apenas um
nmero finito de possveis tempos
diferentes entre 12:02pm e 12:03pm.
Um relgio digital no reconhece frao
de segundos!
A transio de um tempo para o prximo
bem definida e sem ambiguidade.
5
Matemtica Discreta
Matemtica Discreta lida com estruturas
matemticas discretas: constitudas de
partes distinguveis ou separadas.
6
Exemplo: Contnuo vs Discreto
Contnuo Discreto
7
Aplicaes
Desenvolvimento de Software e Hardware
Projeto de chips, especificao de software, gerao
automtica de software, prova formal de correo de
programas
Teoria da Computao
Mtodos de prova para estudo de propriedades de modelos
tericos de computao
Inteligncia Artificial
Bancos de Dados
8
O que Lgica
Uma ferramenta para descrever e para
raciocinar sobre o mundo
Para descrever o mundo, usamos sentenas
declarativas tais como:
i. Se eu dormir demais, vou chegar atrasado
ii. Eu dormi demais
iii.Eu no cheguei atrasado
Aplicando algumas regras gerais de raciocnio,
podemos obter concluses:
i. De i e ii podemos concluir...
ii.De i e iii podemos concluir...
9
Knights and Knaves (Raymond Smullyan)
10
Knights and Knaves (Raymond Smullyan)
C um Knight!
12
Knights and Knaves (Raymond Smullyan)
13
Knights and Knaves (Raymond Smullyan)
Resposta sim
Se Knight -> A rua leva para a vila sua vila, leva vila
Knight
Se Knave -> A rua no leva para sua vila, leva para a
vila Knight
Resposta no
Se Knight -> A rua no leva para sua vila, leva para
vila Knave
Se Knave -> A rua leva para sua vila, leva para vila
Knave
14