Lgica e

Matemtica Discreta

Matemtica

Discreta

Conjuntos discretos (enumerveis)

Nmeros naturais (N)
Nmeros inteiros (Z)
Conjuntos finitos
Matemtica Computacional

Contnua
Conjuntos contnuos
Nmeros reais (R)
Clculo diferencial e
Integral

http://tvescola.mec.gov.br/index.php?item_id=4990&option=com_zoo&view=item

Matemtica Discreta
_________________________________________
rea que estuda problemas em conjuntos enumerveis.

1. Bim
Lgica / lgebra de Boole
2.
Teoria dos nmeros /
conjuntos
Combinatria
Teoria dos grafos
...
Algoritmos
Circuitos lgicos
Compiladores
(linguagens)
Aplicaes em computao:
Inteligncia Artificial
Autmatos
Redes de
Computadores
Anlise de Algoritmos
Criptografia
...
Alguns tpicos:

Bim

Clculos em Matemtica Discreta

_________________________________________
No computador e na calculadora
o conjunto dos nmeros discreto:
intervalo [-10308, 10308]
espaamento 10-308
Pode haver arredondamento
Converso em binrio sempre ocorre no
computador

Erros e propagao de erros

http://ta.twi.tudelft.nl/users/vuik/wi211/disasters.html

Lgica na Computao

_________________________________________
?

Ser ou no ser:
eis a questo

Verdadeiro
Falso

1
0

Regras e operaes lgicas so usadas em:

programao computacional (software)
circuitos digitais (hardware)

Lgica na Computao

_________________________________________

http://www.explainxkcd.com/wiki/index.php?title=816:_Applied_Math

Lgica:

breve histrico

_________________________________________
Aristteles (sculo IV a.C.)

Instrumento para o correto pensar

LOGOS : RAZO
Estudo da razo
Sistema dedutivo: Silogismo

Todo homem mortal

Scrates homem

falcia

Logo, Scrates mortal

https://www.youtube.com/watch?v=KDAnDkg_Vhk

Lgica:

breve histrico

_________________________________________
George Boole (1815-1864)
lgebra booleana
Lgica Contempornea: Lgica
Matemtica
Aplicaes em Computao:
Claude Shannon (1938)
Programao
circuitos lgicos
https://www.youtube.com/watch?v=sAzyvH7VRgM

Lgica
Proposio
Sentenas verdadeiras
ou falsas
No discute significados

Predicados
Mais abrangente
Setenas abertas:
Variveis e
propriedades

Braslia a capital do
Brasil

Ela estudiosa

Um quadrado tem 6
lados

Nem todas as rosas

so vermelhas

3 > 8

Algumas rosas no so
vermelhas
x > 5

Princpios da Lgica
_________________________________________
PRINCPIO DA NO CONTRADIO:
Uma proposio no pode ser verdadeira e falsa
ao mesmo tempo
PRINCPIO DO TERCEIRO EXCLUDO:
Toda proposio ou verdadeira ou falsa, isto
, verifica-se sempre um destes casos e nunca
um terceiro.

Paradoxos
______________________________________
Expresses e raciocnio que no seguem regras
lgicas
Inconsistncia
PARADOXO DO MENTIROSO:
Uma pessoa diz: Eu estou mentindo

Se V, ou seja a pessoa est mentindo, portanto

F!
Se F, a pessoa est dizendo a verdade,
portanto V!

PARADOXO DO BARBEIRO:

Em uma cidade vive um barbeiro que barbeia

aqueles habitantes e somente aqueles que no se
barbeiam a si mesmo.
O Barbeiro barbeia a si mesmo?

Deduo
______________________________________
Voc foi convocado a participar do jri em um processo
criminal.
O advogado de defesa argumenta o seguinte:

Se meu cliente fosse culpado, a faca estaria na gaveta.

Ou a faca no estava na gaveta ou Pedro viu a faca.
Se a faca no estava l no dia 10 de outubro, ento Pedro
no viu a faca.
Alm disso, se a faca estava l no dia 10 de outubro, ento a
faca estava na gaveta e o martelo estava no celeiro.
Mas, todos sabemos que o martelo no estava no celeiro.
Portanto, senhoras e senhores, meu cliente inocente.
O argumento do advogado est correto? Qual seria o seu voto?

Resoluo do caso do Advogado

P: Cliente culpado
Q: A faca estava na gaveta
R: Pedro viu a faca
S: A faca estava l no dia 10 de outubro
T: O martelo estava no celeiro
Supondo verdadeiras:
pq =v
qVr =v
sr=v
sqq =v
Sim o argumento do advogado est correto, portanto o cliente
e inocente