Escolar Documentos
Profissional Documentos
Cultura Documentos
bem ( m desenvolvimentos frequentemente omitidos, explica as razoes da escoIlk) d determinado caminho, discute a 16gica e os passos 16gicos envolvidos, illl rpreta teoremas e suas provas sob diversos aspectos, apresenta ops;oes illl rn tivas, erros mais comuns, etc., sempre usando uma linguagem pre(i')i1, f rmal, mas acessivel e de fikil compreensao. Embora em grande parI{' nutocontido, complementa mas nao substitui 0 livro Matematica discreta /Jdrt computar;ao e informatica e, portanto, deve ser usado em conjunto com 1,1('. Aim,
objetivo
deste livro
e:
e (formalmente) e
Capacitar 0 leitor para a aplical;;2JO sistematizada e formalizada de conceitos e resultados relativos a matematica disereta com enfase na computar;ao e informatica.
A questao da finitude desse conjunto uma discussao interessante, poi possivel pensar assim: se acrescentarmos uma instrur;ao, por exempl x: = 1, ao corpo de um programa Pascal, gera-se um novo programa. A ill trur;ao pode ser inc/uida qualquer numero de vezes e entao serao in fin it programas, ainda que obedecendo a exigencia de que um programa s6 p d' ter um numero finito de comandos.
soluc;ao: {x I x
nito.
e um
infi
"-7
d Ji(
lIlI)
exerdcios resolvidos
exercicio 1.2 Para A s;6escorretas:
firm,)
e finito
ou infinito.
soluc;ao: Para cada item, a afirmar;ao correta e marcada com 0 sfmbol V e, na coluna da dire ita, eventualmente e apresentada uma rapida justifi tiVd
da resposta. AcB 2EBe2EtA AcB todos os elementos de B sao numeros e A conjunto BgA (1) E C Ar {1} ~ A ] ]
(In
(I
njunto e dito finito se pode ser denotado por extensao, ou seja, /istantlU tivamente todos os seus elementos, e infinito, caso con trario.
~ lInl ( IIjllnto pode ser definido par compreensao par meio de suas proprie-
[V]
I ill AsB
[v]
[ [
e, exibindo
AEB A=B AC
c um
I I
If 1 A{
Ivl Ivl
19]
A E C
A={1}e{1}EC
Ill] A = C Ii] 1 EA
C~A
In
Ik]
1E C {1}EA {1} E C
e 0 numero
1 e nao
exercicio 1.5 0 conjunto vazio esta contido em qualquer conjunto (inclusive nele proprio)? Justifique a sua resposta. A defink;ao de continencia estabelece que A C B se e somente se todo elemento de A tambem elemento de B.
III
Ill1l 0 Et: C
Ill] 0~c
solu~ao: 0 C B satisfaz a definiC;ao de contin encia para qualquer conjunto B, pois verdade que todo elementa de 0 (que nao existe) elemento de qualquer conjunto B.
Essetipo de prova se chama prova par vacuidade. Neste capitulo e ao fango do livro veremos outros exemplos desse tipo de prova, sempre envolvendo 0 conjunto vazio.
Aqui se poe a diferenc;a entre um conjunto unitario e seu unico elemento. No rlesenvolvimento da soluC;ao,observe que a = {b}. solu~ao: a = {x /2x = 6} = {3}. Portanto, a = {3}
0
exercicio 1.6 Todo conjunto possui um subconjunto proprio? Justifique a sua resposta. solu~ao: Nao. 0 C A para qualquer conjunto A, inclusive quando A = 0 (exercicio 1.5), isto 0 0. Entretanto, vazio nao tem subconjunto pr6prio pois0 et 0.
que
e diferente
de
3.
e c
exercicio 1.7 Sejam A = {a, 1,2,3,4, 5}, B = {3, 4,5,6,7, 8}, C = {1, 3, 7, 8}. D = {3, 4}, E = {1, 3}, F = {1} eX um conjunto desconhecido. Para cada item abaixo, determine quais dos conjuntos A, B, C, D, E ou F pod em ser iguais aX. Esseexercfcio se refere definic;ao de con tin encia e a questao determinar que valores 0 conjunto X pode assumir entre A, B, C, 0, E e F,.satisfazendo cada uma das condic;oes. Observe que B
=
licular:
1 ~ B e 2 Et: B. Logo {1, 2} nao subconjunto de B,. por outro lado, {1, 2} E B. Logo 0 conjunto uniMrio {{ 1, 2}} subconjunto de B.
e fato que, para todo x, se x E A entao x E B; e e fato que, para todo x, se x E B entao x E C;
{a}, B
{a, b} e C
{a,
b, c}.
ti A. Contraexemplo." A
{a, c}, B
{a, b, c}
Bc;;;.BeBrtC oc;;;.BeOrtC
Contraexemplo." A
h, c, d}
uponha
que a
SaG
E A,
E B, c E C, d
ti
A,
'firma<;6es
verdadeiras?
Considerando que A ~ B e B C C, fato que, para todo x, se x E A entao x E B ex E C. Em particular, como f t C obrigatoriamente f t A.
exercicio
e um
subconjunto de
[aJ Conjunto lb] Conjunto Ie] Conjunto Id] Conjunto Ie] Conjunto If] Conjunto
dos numeros naturais dos numeros primos das letras do alfabeto brasileiro dos algarismos arabicos dos algarismos romanos {a, b, c, d}
sintaticamente, a afirmar;;ao verdadeira pois qua/quer numero natural pode ser escrito usando os sfmb%s do a/fabeto Dfgitos; semanticamente fa/sa, pois existem infinitas formas de representar os numeros natura is como, por exemp/o, usando qua/quer a/fabeto binario como o {O, 1}. Nesse caso, a interpretar;;ao dessasdiferentes formas sempre a mesma e essainterpretar;;ao que define con/unto dos numero naturais.
IgJ Ihl
Quest6es sobre sintaxe e semfmtica sao apenas superficia/mente abordadas neste /ivro e sac usua/mente deta/hadas em discip/inas como linguagens formais e semantica formal, respectivamente.
,. exerCICIO
110 .
SeJ'am'" = {a be .:.." ,
, ... ,
z}eDigitos={O,1,2,3,4,5,6,7,
8, 9} alfabetos. Entao:
lal
Para cada um dos alfabetos abaixo, descreva 0 correspondente conjunto de todas as palavras: a.1)
I
I I I' '/
exercicio 1.11 Em que condic.;:oes 0 conjunto de todas os palindromos bre um alfabeto constitui uma linguagem finita?
50-
Ib[
Para um a/fabeto unitario, qua/quer pa/avra (de qua/quer comprimento) um pallndromo, po is constitufda por uma sequencia fin ita de um mesmo sfmbo/0 justaposto. Nesse caso, conjunto dos pallndromos infinito. Obviamente, para a/fabetos binarios ou maiores, um racioclnio ana/ogo va/ido. Entretan10, sC' () a/fabelo for vazio, a unica cadf:,'iadf.' crlrilcleres passlve/ a pa/avra vii/ill I:, rl qua/6 um pallndromo.
b.1)
," ...
Portugu&s
e uma linguagem
sobre~, au seja,
e um subconjunto
de