MD - Aula1 - Declaracoes e Equivalencias Logicas

Matemtica Discreta
Formas declarativas e Equivalncias lgicas
Prof. Flvio Jos Mendes Coelho

flaviojmcoelho@gmail.com
Universidade do Estado do Amazonas

Escola Superior de Tecnologia - EST
Curso de Engenharia da Computao
Plano de aula
1. Declaraes.
2. Formas declarativas bsicas.
3. Tabelas-verdade.
4. Operaes , .
5. Tautologias e contradies.
6. Equivalncias lgicas.
7. Declaraes contrrias, contrapositivas e inversas.
8. Equivalncias lgicas fundamentais.
Flvio J. M. Coelho (UEA/EST)
Matemtica Discreta
Eng. da Computao
2 / 35
Declaraes
.
Definio 1.1
.
Uma declarao uma sentena que verdadeira ou
falsa, no ambas.
.
Matemtica Discreta
Eng. da Computao
3 / 35
Exemplo 1.1
As seguintes sentenas so declaraes.
1.
2.
3.
4.
5.
6.
7.
2 + 2 = 4.
2 + 2 6= 4.
4 = 2 e 5 > 2.
A funo seno peridica e 2 um inteiro.
102 > 210 ou 210 > 102 .
se e > 2, ento e2 > 4.
1 um nmero real.
Matemtica Discreta
Eng. da Computao
4 / 35
Exemplo 1.1
1.
2.
3.
4.
5.
6.
7.
2 + 2 = 4.
2 + 2 6= 4.
4 = 2 e 5 > 2.
102 > 210 ou 210 > 102 .
se e > 2, ento e2 > 4.
1 um nmero real.
Matemtica Discreta
Eng. da Computao
4 / 35
Exemplo 1.1
1.
2.
3.
4.
5.
6.
7.
2 + 2 = 4.
2 + 2 6= 4.
4 = 2 e 5 > 2.
102 > 210 ou 210 > 102 .
se e > 2, ento e2 > 4.
1 um nmero real.
Matemtica Discreta
Eng. da Computao
4 / 35
Exemplo 1.1
1.
2.
3.
4.
5.
6.
7.
2 + 2 = 4.
2 + 2 6= 4.
4 = 2 e 5 > 2.
102 > 210 ou 210 > 102 .
se e > 2, ento e2 > 4.
1 um nmero real.
Matemtica Discreta
Eng. da Computao
4 / 35
Exemplo 1.1
1.
2.
3.
4.
5.
6.
7.
2 + 2 = 4.
2 + 2 6= 4.
4 = 2 e 5 > 2.
102 > 210 ou 210 > 102 .
se e > 2, ento e2 > 4.
1 um nmero real.
Matemtica Discreta
Eng. da Computao
4 / 35
Exemplo 1.1
1.
2.
3.
4.
5.
6.
7.
2 + 2 = 4.
2 + 2 6= 4.
4 = 2 e 5 > 2.
102 > 210 ou 210 > 102 .
se e > 2, ento e2 > 4.
1 um nmero real.
Matemtica Discreta
Eng. da Computao
4 / 35
Exemplo 1.1
1.
2.
3.
4.
5.
6.
7.
2 + 2 = 4.
2 + 2 6= 4.
4 = 2 e 5 > 2.
102 > 210 ou 210 > 102 .
se e > 2, ento e2 > 4.
1 um nmero real.
Matemtica Discreta
Eng. da Computao
4 / 35
Exemplo 1.2
As seguintes sentenas no so declaraes.
1. Qual a soma de 2 + 2?
2. Avalie a soma 2 + 2.
3. Esta sentena falsa.
Matemtica Discreta
Eng. da Computao
5 / 35
Exemplo 1.2
Matemtica Discreta
Eng. da Computao
5 / 35
Exemplo 1.2
Matemtica Discreta
Eng. da Computao
5 / 35
Formas declarativas bsicas

.
FORMA
p
SIGNIFICADO
no p (negao de p)
pq
p e q (conjuno)
pq
p ou q (disjuno)
pq
se p, ento q (implicao)
Matemtica Discreta
Eng. da Computao
6 / 35

.
FORMA
p
SIGNIFICADO
no p (negao de p)
pq
p e q (conjuno)
pq
p ou q (disjuno)
pq
Matemtica Discreta
Eng. da Computao
6 / 35

.
FORMA
p
SIGNIFICADO
no p (negao de p)
pq
p e q (conjuno)
pq
p ou q (disjuno)
pq
Matemtica Discreta
Eng. da Computao
6 / 35

.
FORMA
p
SIGNIFICADO
no p (negao de p)
pq
p e q (conjuno)
pq
p ou q (disjuno)
pq
Matemtica Discreta
Eng. da Computao
6 / 35

.
FORMA
p
SIGNIFICADO
no p (negao de p)
pq
p e q (conjuno)
pq
p ou q (disjuno)
pq
Matemtica Discreta
Eng. da Computao
6 / 35
Tabela-verdade da negao
.
p p
V F
F V
Matemtica Discreta
Eng. da Computao
7 / 35
Tabela-verdade da conjuno
.
p
F
F
V
V
q pq
F
F
F
V
F
F
V
V
Matemtica Discreta
Eng. da Computao
8 / 35
Tabela-verdade da disjuno
.
p
F
F
V
V
q pq
F
F
V
V
F
V
V
V
Matemtica Discreta
Eng. da Computao
9 / 35
Tabela-verdade da implicao
.
p
F
F
V
V
q pq
F
V
V
V
F
F
V
V
Matemtica Discreta
Eng. da Computao
10 / 35
Precedncia das operaes
.
ORDEM
OPERAO
1
2
3
4
(, )
Matemtica Discreta
Eng. da Computao
11 / 35
Exemplo 1.3
Construa a tabela-verdade para a forma declarativa
p q r.
Soluo:
p
F
F
F
F
V
V
V
V
q
F
F
V
V
F
F
V
V
r
F
V
F
V
F
V
F
V
pq
F
F
F
F
F
F
V
V
pq r
V
V
V
V
V
V
F
V
Matemtica Discreta
Eng. da Computao
12 / 35
Exemplo 1.3
p q r.
Soluo:
p
F
F
F
F
V
V
V
V
q
F
F
V
V
F
F
V
V
r
F
V
F
V
F
V
F
V
pq
F
F
F
F
F
F
V
V
pq r
V
V
V
V
V
V
F
V
Matemtica Discreta
Eng. da Computao
12 / 35
Exemplo 1.3
p q r.
Soluo:
p
F
F
F
F
V
V
V
V
q
F
F
V
V
F
F
V
V
r
F
V
F
V
F
V
F
V
pq
F
F
F
F
F
F
V
V
pq r
V
V
V
V
V
V
F
V
Matemtica Discreta
Eng. da Computao
12 / 35
Exemplo 1.4
(p q).
Soluo:
p
F
F
V
V
q
F
V
F
V
pq
F
V
V
V
(p q)
V
F
F
F
Matemtica Discreta
Eng. da Computao
13 / 35
Exemplo 1.4
(p q).
Soluo:
p
F
F
V
V
q
F
V
F
V
pq
F
V
V
V
(p q)
V
F
F
F
Matemtica Discreta
Eng. da Computao
13 / 35
Exemplo 1.4
(p q).
Soluo:
p
F
F
V
V
q
F
V
F
V
pq
F
V
V
V
(p q)
V
F
F
F
Matemtica Discreta
Eng. da Computao
13 / 35
Ou-exclusivo e se e somente se
.
Definio 1.2
(a) A operao ou-exclusivo definda por
p q = (p q) (p q).
(b) A operao se e somente se definda por
p q = (p q) (q p).
.
.
sss tambm usado para denotar .
Matemtica Discreta
Eng. da Computao
14 / 35
.
Definio 1.2
p q = (p q) (p q).
p q = (p q) (q p).
.
.
Matemtica Discreta
Eng. da Computao
14 / 35
.
Definio 1.2
p q = (p q) (p q).
p q = (p q) (q p).
.
.
Matemtica Discreta
Eng. da Computao
14 / 35
.
Definio 1.2
p q = (p q) (p q).
p q = (p q) (q p).
.
.
Matemtica Discreta
Eng. da Computao
14 / 35
Tabelas-verdade de e
.
p
F
F
V
V
q pq p q
F
F
V
V
F
V
F
V
F
F
V
V
Matemtica Discreta
Eng. da Computao
15 / 35
Tautologias e contradies
.
Definio 1.3
(a) Uma tautologia uma forma declarativa que sempre
verdadeira. Uma tautologia ser denotada por v.
(b) Uma contradio uma forma declarativa que
sempre falsa. Uma contradio ser denotada por f.
.
Matemtica Discreta
Eng. da Computao
16 / 35
.
Definio 1.3
.
Matemtica Discreta
Eng. da Computao
16 / 35
.
Definio 1.3
.
Matemtica Discreta
Eng. da Computao
16 / 35
Exemplo 1.5
Mostre que p p uma tautologia.
Soluo:
p
F
V
p
V
F
p p
V
V
.
Todos os valores da coluna p p so verdadeiros,
portanto, p p uma tautologia.
Matemtica Discreta
Eng. da Computao
17 / 35
Exemplo 1.5
Soluo:
p
F
V
p
V
F
p p
V
V
.
Matemtica Discreta
Eng. da Computao
17 / 35
Exemplo 1.5
Soluo:
p
F
V
p
V
F
p p
V
V
.
Matemtica Discreta
Eng. da Computao
17 / 35
Exemplo 1.5
Soluo:
p
F
V
p
V
F
p p
V
V
.
Matemtica Discreta
Eng. da Computao
17 / 35
Exemplo 1.5
Mostre que p p uma contradio.
Soluo:
p p
F V
V F
p p
F
F
.
Todos os valores da coluna p p so falsos, portanto,
p p uma contradio.
Matemtica Discreta
Eng. da Computao
18 / 35
Exemplo 1.5
Soluo:
p p
F V
V F
p p
F
F
.
p p uma contradio.
Matemtica Discreta
Eng. da Computao
18 / 35
Exemplo 1.5
Soluo:
p p
F V
V F
p p
F
F
.
p p uma contradio.
Matemtica Discreta
Eng. da Computao
18 / 35
Exemplo 1.5
Soluo:
p p
F V
V F
p p
F
F
.
p p uma contradio.
Matemtica Discreta
Eng. da Computao
18 / 35
Equivalncia lgica
.
Definio 1.4
Duas formas declarativas p e q so logicamente
equivalentes, escrito p q (p q), se e somente se a
forma declarativa p q for uma tautologia.
Denota-se a no equivalncia lgica de duas declaraes p
e q por p 6 q.
.
Matemtica Discreta
Eng. da Computao
19 / 35
Exemplo 1.6
Verifique que (p q) (p q).
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Desde que (p q) (p q) uma tautologia,
conclumos que (p q) (p q).
Matemtica Discreta
Eng. da Computao
20 / 35
Exemplo 1.6
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Matemtica Discreta
Eng. da Computao
20 / 35
Exemplo 1.6
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Matemtica Discreta
Eng. da Computao
20 / 35
Exemplo 1.6
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Matemtica Discreta
Eng. da Computao
20 / 35
Exemplo 1.6
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Alternativamente, seria suficiente confirmar que (p q)
e (p q) possuem uma mesma tabela-verdade.
Matemtica Discreta
Eng. da Computao
21 / 35
Exemplo 1.6
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Matemtica Discreta
Eng. da Computao
21 / 35
Exemplo 1.6
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Matemtica Discreta
Eng. da Computao
21 / 35
Exemplo 1.6
Soluo:
p q
F F
F V
V F
V V
q
V
F
V
F
pq
V
V
F
V
(p q)
F
F
V
F
p q
F
F
V
F
V
V
V
V
.
Matemtica Discreta
Eng. da Computao
21 / 35
Exemplo 1.7
A negao de
Se Ana estuda matemtica discreta, ela prova teoremas.
Ana estuda matemtica discreta e no prova teoremas.
Matemtica Discreta
Eng. da Computao
22 / 35
Exemplo 1.8
Verifique se p (q r) (p q) r.
Soluo: considere a seguinte tabela-verdade.
p q r
F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V
qr
F
V
V
V
F
V
V
V
pq
F
F
F
F
F
F
V
V
p
F
F
F
F
F
V
V
V
r
F
V
F
V
F
V
V
V
Matemtica Discreta
V
F
V
F
V
V
V
V
Eng. da Computao
23 / 35
Exemplo 1.8
p
F
F
F
F
V
V
V
V
q r
F F
F V
V F
V V
F F
F V
V F
V V
qr
F
V
V
V
F
V
V
V
pq
F
F
F
F
F
F
V
V
p
F
F
F
F
F
V
V
V
r
F
V
F
V
F
V
V
V
Matemtica Discreta
V
F
V
F
V
V
V
V
Eng. da Computao
23 / 35
Exemplo 1.8
p
F
F
F
F
V
V
V
V
q r
F F
F V
V F
V V
F F
F V
V F
V V
qr
F
V
V
V
F
V
V
V
pq
F
F
F
F
F
F
V
V
p
F
F
F
F
F
V
V
V
r
F
V
F
V
F
V
V
V
Matemtica Discreta
V
F
V
F
V
V
V
V
Eng. da Computao
23 / 35
Exemplo 1.8
Soluo:
Pela tabela-verdade p (q r) (p q) r no uma
tautologia. Portanto, p (q r) 6 (p q) r.
Matemtica Discreta
Eng. da Computao
24 / 35
Formas contrria, contrapositiva e inversa

.
Definio 1.5
Dada uma forma declarativa p q,
(a) sua contrria q p.
(b) sua contrapositiva q p.
(c) sua inversa p q.
.
Matemtica Discreta
Eng. da Computao
25 / 35

.
Definio 1.5
.
Matemtica Discreta
Eng. da Computao
25 / 35

.
Definio 1.5
.
Matemtica Discreta
Eng. da Computao
25 / 35

.
Definio 1.5
.
Matemtica Discreta
Eng. da Computao
25 / 35
Exemplo 1.11
Verifique que a declarao se-ento no logicamente
equivalente sua contrria, mas logicamente
equivalente sua contrapositiva.
Soluo:
p q
F F
F V
V F
V V
p
V
V
F
F
q
V
F
V
F
pq
V
V
F
V
qp
V
F
V
V
Matemtica Discreta
q p
V
V
F
V
Eng. da Computao
26 / 35
Exemplo 1.11
Soluo:
p q
F F
F V
V F
V V
p
V
V
F
F
q
V
F
V
F
pq
V
V
F
V
qp
V
F
V
V
Matemtica Discreta
q p
V
V
F
V
Eng. da Computao
26 / 35
Exemplo 1.11
Soluo:
p q
F F
F V
V F
V V
p
V
V
F
F
q
V
F
V
F
pq
V
V
F
V
qp
V
F
V
V
Matemtica Discreta
q p
V
V
F
V
Eng. da Computao
26 / 35
Exemplo 1.11
Soluo:
Na tabela-verdade, as colunas para p q e q p so
diferentes, ao passo que as colunas para p q e q p
tem os mesmos valores. Logo,
(p q) 6 (q p), mas (p q) (q p).
Matemtica Discreta
Eng. da Computao
27 / 35
Exemplo 1.11
Soluo:
Na tabela-verdade, as colunas para p q e q p so
diferentes, ao passo que as colunas para p q e q p
tem os mesmos valores. Logo,
(p q) 6 (q p), mas (p q) (q p).
Matemtica Discreta
Eng. da Computao
27 / 35
Exemplo 1.12
Considere a declarao: Se existe uma soluo, ento o
programa termina.
(a) sua contrria ...
Se o programa termina, ento existe uma soluo.
(b) sua contrapositiva ...
Se o programa no termina, ento no existe uma
soluo.
(c) sua inversa ...
Se no existe uma soluo, ento o programa no
termina.
Matemtica Discreta
Eng. da Computao
28 / 35
Exemplo 1.12
programa termina.
soluo.
(c) sua inversa ...
termina.
Matemtica Discreta
Eng. da Computao
28 / 35
Exemplo 1.12
programa termina.
soluo.
(c) sua inversa ...
termina.
Matemtica Discreta
Eng. da Computao
28 / 35
Exemplo 1.12
programa termina.
soluo.
(c) sua inversa ...
termina.
Matemtica Discreta
Eng. da Computao
28 / 35
Equivalncias lgicas bsicas

.
Prova (Demonstrao, verificao)
uma sequncia de passos que torna evidente a verdade
de uma proposio matemtica (declarao).
Teorema
uma proposio matemtica (declarao) que foi
provada ser verdadeira.
Provado um teorema, o mesmo pode ser utilizado como
ferramenta para provar outros novos teoremas.
Matemtica Discreta
Eng. da Computao
29 / 35
Equivalncias lgicas bsicas

Teorema 1.1
Sejam p, q e r, variveis declarativas.
(a)
p p
Dupla negao
(b) (p q) r p (q r)
(p q) r p (q r)
(c)
pq qp
pq qp
Associatividade
Comutatividade
(d) p (q r) (p q) (p r)
p (q r) (p q) (p r)
Distributividade
(e)
(p q) p q
(p q) p q
Leis de De Morgan
(f)
p (p q) p
p (p q) p
Regras de absoro
Matemtica Discreta
Eng. da Computao
30 / 35
Interaes com tautologias e contradies

Teorema 1.2
Seja p uma varivel declarativa.
(a) v f
f v
(b) p v p
pv v
(c) p f f
pf p
(d) p p f
p p v
(e) v p p
pvv
(f) p f p
f pv
Matemtica Discreta
Eng. da Computao
31 / 35
Exemplo 1.13
Verifique que (p q r) (p q r) p q.
Soluo:
(p q r) (p q r)
((p q) r) ((p q) r)
(p q) (r r)
(p q) t
pq
Matemtica Discreta
Associao
Distributividade
Teorema 1.2(d)
Teorema 1.2(b)
Eng. da Computao
32 / 35
Exemplo 1.13
Soluo:
(p q r) (p q r)
((p q) r) ((p q) r)
(p q) (r r)
(p q) t
pq
Matemtica Discreta
Associao
Distributividade
Teorema 1.2(d)
Teorema 1.2(b)
Eng. da Computao
32 / 35
Exemplo 1.13
Soluo:
(p q r) (p q r)
((p q) r) ((p q) r)
(p q) (r r)
(p q) t
pq
Matemtica Discreta
Associao
Distributividade
Teorema 1.2(d)
Teorema 1.2(b)
Eng. da Computao
32 / 35
Exemplo 1.13
Soluo:
(p q r) (p q r)
((p q) r) ((p q) r)
(p q) (r r)
(p q) t
pq
Matemtica Discreta
Associao
Distributividade
Teorema 1.2(d)
Teorema 1.2(b)
Eng. da Computao
32 / 35
Exemplo 1.13
Soluo:
(p q r) (p q r)
((p q) r) ((p q) r)
(p q) (r r)
(p q) t
pq
Matemtica Discreta
Associao
Distributividade
Teorema 1.2(d)
Teorema 1.2(b)
Eng. da Computao
32 / 35
Exemplo 1.13
Soluo:
(p q r) (p q r)
((p q) r) ((p q) r)
(p q) (r r)
(p q) t
pq
Matemtica Discreta
Associao
Distributividade
Teorema 1.2(d)
Teorema 1.2(b)
Eng. da Computao
32 / 35
Exemplo 1.14
Verifique que p q r s r s p q.
Soluo:
p q r s
(p q) (r s)
(r s) (p q)
(r s) (p q)
(r s) (p q)
r s p q
Precedncia
Contrapositiva (Ex. 1.11)
Lei de De Morgan
Dupla negao
Precedncia
Matemtica Discreta
Eng. da Computao
33 / 35
Exemplo 1.14
Soluo:
p q r s
(p q) (r s)
(r s) (p q)
(r s) (p q)
(r s) (p q)
r s p q
Precedncia
Lei de De Morgan
Dupla negao
Precedncia
Matemtica Discreta
Eng. da Computao
33 / 35
Exemplo 1.14
Soluo:
p q r s
(p q) (r s)
(r s) (p q)
(r s) (p q)
(r s) (p q)
r s p q
Precedncia
Lei de De Morgan
Dupla negao
Precedncia
Matemtica Discreta
Eng. da Computao
33 / 35
Exemplo 1.14
Soluo:
p q r s
(p q) (r s)
(r s) (p q)
(r s) (p q)
(r s) (p q)
r s p q
Precedncia
Lei de De Morgan
Dupla negao
Precedncia
Matemtica Discreta
Eng. da Computao
33 / 35
Exemplo 1.14
Soluo:
p q r s
(p q) (r s)
(r s) (p q)
(r s) (p q)
(r s) (p q)
r s p q
Precedncia
Lei de De Morgan
Dupla negao
Precedncia
Matemtica Discreta
Eng. da Computao
33 / 35
Exemplo 1.14
Soluo:
p q r s
(p q) (r s)
(r s) (p q)
(r s) (p q)
(r s) (p q)
r s p q
Precedncia
Lei de De Morgan
Dupla negao
Precedncia
Matemtica Discreta
Eng. da Computao
33 / 35
Exemplo 1.14
Soluo:
p q r s
(p q) (r s)
(r s) (p q)
(r s) (p q)
(r s) (p q)
r s p q
Precedncia
Lei de De Morgan
Dupla negao
Precedncia
Matemtica Discreta
Eng. da Computao
33 / 35
Bibliografia
Bondy, J. A., Murty, U. S. R., Graph Theory. Springer, 2008. Volume
244. (Graduate Texts in Mathematics series)
Ferland, K., Discrete Mathematics, Houghton Mifflin Company, 2009.
Houston, K., How to Think like a Mathematician: A Companion to
Undergraduate Mathematics, Cambridge University Press, 2009.
Scheinerman, E. R., Matemtica Discreta: uma Introduo. Traduo
da 2a edio americana. So Paulo. Thomson Learning Ltda, 2003.
Szwarcfiter, J. L., Grafos e Algoritmos Computacionais. 2a. edio.
Editora Campus, 1987.
Matemtica Discreta
Eng. da Computao
34 / 35
Onde obter este material:

sites.google.com/site/flaviojmcoelho/disciplinas/md
Matemtica Discreta
Eng. da Computao
35 / 35

MD - Aula1 - Declaracoes e Equivalencias Logicas

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

MD - Aula1 - Declaracoes e Equivalencias Logicas

Uploaded by

Copyright:

Available Formats

Matemtica Discreta

Formas declarativas e Equivalncias lgicas

Prof. Flvio Jos Mendes Coelho

Universidade do Estado do Amazonas

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Formas declarativas bsicas

Flvio J. M. Coelho (UEA/EST)

Formas declarativas bsicas

Flvio J. M. Coelho (UEA/EST)

Formas declarativas bsicas

Flvio J. M. Coelho (UEA/EST)

Formas declarativas bsicas

Flvio J. M. Coelho (UEA/EST)

Formas declarativas bsicas

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Precedncia das operaes

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Ana estuda matemtica discreta e no prova teoremas.

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)

Flvio J. M. Coelho (UEA/EST)