Matemtica

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.

A matemtica contnua estuda conceitos

infinitos em que objetos podem combinar-
se suavemente com o prximo.

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.

Como computadores operam de maneira

descontnua (ou discreta), executando um
passo a cada instante, Matemtica
Discreta a estrutura apropriada para
descrever Computao.

6
 Exemplo: Contnuo vs Discreto
Contnuo Discreto

Dados - Velocidade de uma Ferrari 430 Scuderia 2008.

Fonte da imagem esquerda:
http://www.motortrend.com/roadtests/exotic/112_0808_2008_ferrari_430_scuderia_test/photo_17.html

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)

Em uma ilha hipottica, os habitantes

ou so Knights, que sempre falam
verdade, ou Knaves, que sempre
mentem.

10
Knights and Knaves (Raymond Smullyan)

Em um dia, um visitante chega a ilha e encontra com trs

habitantes: A, B e C.
O visitante pergunta para A: Voc um Knight ou um
Knave?.
A responde mas o visitante no consegue entender o qu
ele falou.
Ele ento pergunta para B: O que ele disse?
B responde: Ele disse que um Knave.
A este ponto, C diz: No acredite em B, ele
mentiroso.
C um Knight ou um Knave?
11
Knights and Knaves (Raymond Smullyan)

C um Knight!

No h possibilidade de um habitante da ilha

se declarar Knave.
Ento, B est mentindo quando ele diz que A
se declarou um Knave.
Logo, a afirmao de C verdadeira.
No podemos concluir nada sobre A.

12
Knights and Knaves (Raymond Smullyan)

Todos os Knights vivem em uma vila e todos os Knaves

vivem em uma outra.
Voc se encontra em uma bifurcao em que uma rua
leva para a vila dos Knights e a outra para a vila dos
Knaves.
Voc quer ir para a vila dos Knights mas no sabe por
qual caminho seguir.
H um nativo nesta bifurcao e voc pode fazer uma
pergunta sim/no.

Qual pergunta voc faria?

13
Knights and Knaves (Raymond Smullyan)

A rua da esquerda leva para a sua vila?

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