Matemática Discreta 11/12 Soluções

Tamanho: px
Começar a partir da página:

Download "Matemática Discreta 11/12 Soluções"

Transcrição

1 Matemática Discreta 11/1 Soluções Lógica 1. (a) Não é proposição. (b) Proposição verdadeira. (c) Proposição falsa. (d) Não é proposição. (e) Proposição falsa. (f) Não é proposição.. (a) e. (c) A primeira edição do Memorial do Convento não tem 1500 páginas. (e) Alguns números ímpares não são divisíveis por. 4. a b = a b, a b = ( a b) ( b a) e a b = (a b) (b a). 6. (a) Não é tautologia. (b) É tautologia. (c) Não é tautologia. (d) É tautologia. 7. (a) É contradição. (b) É contradição. (c) Não é contradição. (d) Não é contradição. 8. (a) São logicamente equivalentes. (b) Não são logicamente equivalentes 9. (a) a b. (b) a b. (c) a (b c). (d) b a. (e) a b. (f) (a) a = 1, b = 0. (b) a = b = 1. (c) a = b = c = (a) Argumento válido. (b) Argumento válido. (c) Argumento válido. (d) Argumento incorrecto. (e) Argumento válido. (f) Argumento incorrecto. 1. Argumento válido. 1. (a) A é uma tautologia. (b) Não são equivalentes. (c) Argumento válido.

2 Matemática Discreta 11/1 Soluções Conjuntos 14. (a) Proposição falsa. (b) Proposição verdadeira. (c) Proposição falsa. (d) Proposição falsa. (e) Proposição verdadeira. (f) Proposição falsa. (g) Proposição verdadeira. (h) Proposição verdadeira. (i) Proposição verdadeira. (j) Proposição verdadeira. (k) Proposição verdadeira. (l) Proposição falsa. 15. (a). (b) ou. (c). (d) ou. 16. (a) [, + [ e R\{, 11}. (b) [, + [ e. (c) [ 1, 5[ \{}. (d) {(x, y) R : (x = x = 11) 1 y < 5}. (e) [, 1[ {} [5, + [. (f) ], [ {11}. 18. (b) T 00 e T 5. (c) N e {1} P({a}) = {, {a}}, P( ) = { }, P({ }) = {, { }} e P(P( )) = P({ }) = {, { }}.. ], 1[ ]1, + [ e [ 1, 1]. 4. (a) x H, p(x). (b) Existe pelo menos um homem que foi à Lua. (c) x H, p(x). (d) Todos os homens foram à Lua. (e) x H, p(x). (f)nenhum homem foi à Lua. 5. (a) x R, x + 5 = 0. (b) x R : x (c) x N : x não é número primo. (d) x N, x não é múltiplo de 5 ou x não é múltiplo de 6. (e) x N, y N, x > y y 4. (f) x N, y N, x + y x xy 0. (g) x R, x R : x y = 7. (h) x R, y N : x y. 6. (a) Qualquer homem é pai de alguma mulher. (b) Existe pelo menos um homem que é pai de todas as mulheres. (c) Existe pelo menos um homem que é pai de pelo menos uma mulher. (d) Qualquer homem é pai de todas as mulheres. (e) Existe pelo menos um homem que não é pai de nenhuma mulher. (f) Para cada homem, existe pelo menos uma mulher de quem ele não é pai.

3 Matemática Discreta 11/1 Soluções Relações 7. (a) A B = {(a, 1), (a, ), (a, ), (a, 4), (b, 1), (b, ), (b, ), (b, 4), (c, 1), (c, ), (c, ), (c, 4)}, B A = {(1, a), (, a), (, a), (4, a), (1, b), (, b), (, b), (4, b), (1, c), (, c), (, c), (4, c)}, A C = {(a, pão), (a, queijo), (b, pão), (b, queijo), (c, pão), (c, queijo)}, C C = {(pão, pão), (pão, queijo), (queijo, pão), (queijo, queijo)}. (b) i. R = {(a, 1), (a, ), (b, 1), (c, 4)}. ii. S = {(1, c), (, c), (, c), (4, c)}. iii. T = {(a, pão), (a, queijo), (b, queijo), (c, pão), (c, queijo)}. iv. U = {(pão, pão), (pão, queijo), (queijo, queijo)}. Há duas relações reflexivas e não simétricas: U e U = {(pão, pão), (queijo, pão), (queijo, queijo)}. 8. (a) não reflexiva, simétrica e não transitiva. (b) não reflexiva, simétrica e não transitiva. (c) reflexiva, simétrica e transitiva. (d) não reflexiva, não simétrica e não transitiva. (e) não reflexiva, simétrica e transitiva. (f) não reflexiva, simétrica e não transitiva. 9. R = {(a, a), (b, b), (c, c), (d, d), (e, e), (a, b), (b, a), (a, c), (c, a), (d, e), (e, d), (b, c), (c, b)}. [a] = [b] = [c] = {a, b, c} e [d] = [e] = {d, e}. 0. [(1, k)] = {(a, ka) : a N}, k N. 1. (a) É cpo, mas não é cto e não é bem ordenado. (b) Não é cpo (nem cto) e não é bem ordenado. (c) É cpo, é cto e não é bem ordenado. (d) É cpo, mas não é cto e não é bem ordenado.. (b) A = {1,, 15, 75}.. (b) A = {{}, {, 4, 5}}. 4. (a) reflexiva: (a, b) R, (a, b) (a, b) porque a = a b b (verifica a a condição da definição de ); anti-simétrica: (a, b) (x, y) (x, y) (a, b) (a, b) = (x, y) porque (a, b) (x, y) (x, y) (a, b) = [a < x (a = x b y)] [x < a (x = a y b)]. Então temos quatro casos: (a < x x < a) [a < x (x = a y b)] [(a = x b y) x < a] [(a = x b y) (x = a y b)], que se podem representar da seguinte forma: a < x a = x b y x < a x = a y b x < a x = a y b. imp imp imp O único caso possível é o último, onde se deduz que a = x b = y, ou seja, (a, b) = (x, y). transitiva: Queremos provar que (a, b) (x, y) (x, y) (u, v) (a, b) (u, v). Os casos

4 possíveis estão representados no diagrama: a < x a = x b y x < u a < u x = u y v a < u x < u a < u x = u y v a = u b v. Logo, concluímos que a = u (a = u b v, i.e. (a, b) (u, v). (R, ) é um cpo. Falta provar que é um cto: (a, b), (x, y) R, podemos afirmar que a < x a = x x < a. Se a < x, então (a, b) (x, y). Se x < a, então temos (x, y) (a, b). Se a = x, então temos dois casos para as ordenadas: b y, o que leva a concluir que (a, b) (x, y), ou temos y b, o que leva a concluir que (x, y) (a, b). Em todos os casos podemos sempre afirmar que (a, b) (x, y) ou (x, y) (a, b), i.e. quaisquer dois elementos de R estão relacionados por. (b) i. min F = (0, 1), max F = (1, 0). ii. min Q = (1, ), max Q. iii. min P, max P. iv. min S, max S = (1, ). 5. (a) f() = { 4, f(6) = 1, f f() = f(f()) = 5, f f(5) = f(f(5)) = 1. (b) f é bijectiva. (c) f 1 x 1, x 1 (x) = 6, x = 1 6. (a) f() = 1, f(6) =, f f() = f(f()) = 1, f f(5) = f(f(5)) = 1. (b) f não é injectiva nem sobrejectiva. (c) Não existe f 1 por f não ser bijectiva. 7. f não é aplicação porque ln não está definida para valores negativos; g não é aplicação porque cada número inteiro tem mais do que um divisor (a), (c), (h). (b), (d), (e), (f), (g).

5 Matemática Discreta 11/1 Resolução Indução 44. (b) n = 0: temos n = 0 = 1 e (n + 1)! = (0 + 1)! = 1. Logo 0 (0 + 1)!. Suponhamos que n (n + 1)!, para algum n 0. Queremos provar que n+1 (n + )!. Então n+1 = n (n + 1)! por hipótese (n + 1)!(n + ) porque 0 n n + = (n + )!. 44. (c) n = : temos n (n!) = (!) = 16 e (n)! = (4)! = 4. Logo (!) < ( )!. Suponhamos que n (n!) < (n)!, para algum n. Queremos provar que n+1 ((n + 1)!) < ((n + 1))!. Então n+1 ((n + 1)!) = n ((n + 1)n!) = n (n + 1) (n!) < (n)! (n + 1) por hipótese = (n)! (n + 1)(n + 1) = (n)!(n + )(n + 1) < (n)!(n + )(n + 1) porque n < n n + 1 < n + 1 = (n + )!. 44. (e) n = 1: temos 4 n = 4 1 = 4 e n = 1 = 1. Logo 4 1 > 1. Suponhamos que 4 n > n, para algum n 1. Queremos provar que 4 n+1 > (n + 1). Então 4 n+1 = 4n 4 > n 4 por hipótese = (n ) = (n + n) (n + 1) porque n 1 n + n n + 1 (n + n) (n + 1). 44. (g) n = 1: temos (1 + x) n = (1 + x) 1 = 1 + x e 1 + nx = 1 + x. Logo (1 + x) x. Suponhamos que (1 + x) n 1 + nx, para algum n 1. Queremos provar que (1 + x) n (n + 1)x. Então (1 + x) n+1 = (1 + x) n (1 + x) (1 + nx)(1 + x) = 1 + nx + x + nx = 1 + (n + 1)x + nx por hipótese > 1 + (n + 1)x porque n 1 e x > 0 nx > (h) n = 1: temos n + n = + 1 = é par. Suponhamos que n +n é par, para algum n 1. Queremos provar que (n+1) +(n+1) é par. Então (n + 1) + (n + 1) = (n + n + 1) + n 1 = n + 7n + = (n + n ) + 6n + 4, que é par, pois (n + n ) é par, por hipótese, e 6n e 4 também são pares. 44. (i) n = 1: temos n = 1 + = e n+1 1 = =. Logo = Suponhamos que 1+ + n = n+1 1, para algum n 1. Queremos provar que 1+ + n + n+1 =

6 n+ 1. Então n + n+1 = n n+1 por hipótese = n+1 1 = n (k) n = 1: temos n (n + 1) = 1 = e 1 = 1(1 + 1)(1 + ). n(n + 1)(n + ) = 1(1 + 1)(1 + ) = 1. Logo n(n + 1)(n + ) Suponhamos que n (n + 1) =, para algum n 1. Queremos provar (n + 1)(n + )(n + ) que n (n + 1) + (n + 1) (n + ) =. Então n (n + 1) + (n + 1) (n + ) = n(n + 1)(n + ) = + (n + 1) (n + ) por hipótese n(n + 1)(n + ) + (n + 1)(n + ) = (n + 1)(n + )(n + ) = 45. Começamos por determinar algumas somas: n = 1: a soma do primeiro ímpar é 1 n = : a soma dos primeiros ímpares é 1 + = 4 n = : a soma dos primeiros ímpares é = 9 n = 4: a soma dos primeiros 4 ímpares é = 16 colocando (n + 1)(n + ) em evidência. n = 5: a soma dos primeiros 5 ímpares é = 5 Ao fim de algumas tentativas, parece que a soma dos primeiros n ímpares é igual a n. Vamos mostrar que esta afirmação é verdadeira, i.e. vamos provar que n 1 = n, n 1. n = 1: já foi verificado. Suponhamos que n 1 = n, para algum n 1. Queremos provar que n 1 + (n + 1) 1 = (n + 1). Então n 1 + (n + 1) 1 = n + n + 1 por hipótese = (n + 1) caso notável. 46. (a) n = 1: temos x n = x 1 e x 1 + (n 1)r = x 1 + (1 1)r = x 1. Logo x 1 = x 1 + (1 1)r. Suponhamos que x n = x 1 + (n 1)r, para algum n 1. Queremos provar que x n+1 = x 1 + nr. Então x n+1 = x n + r por ser uma progressão aritmética = x 1 + (n 1)r + r por hipótese = x 1 + nr. 46. (b) n = 1: temos n i=1 x i = 1 i=1 x i = x 1 e x 1 + x n n = x 1 + x 1 Suponhamos que n i=1 x i = x 1 + x n x 1 + x n+1 (n + 1). Então 1 = x 1. Logo 1 i=1 x i = x 1 + x 1 n, para algum n 1. Queremos provar que n+1 i=1 x i = 1.

7 n+1 i=1 x i = n i=1 x i + x n+1 = x 1 + x n n + x n+1 = x 1n + x n n + x n+1 = x 1n + (x n+1 r)n + x n+1 = x 1n + x n+1 n rn + x n+1 + x n+1 = x 1n + x n+1 (n + 1) + x 1 = x 1(n + 1) + x n+1 (n + 1) = x 1 + x n+1 (n + 1). por hipótese porque x n = x n+1 r por definição de progressão aritmética por (a), sabemos que x 1 = x n+1 nr 47. (a) n = 1: temos x n = x 1 e x 1 r n 1 = x 1 r 1 1 = x 1. Logo x 1 = x 1 r 1 1. Suponhamos que x n = x 1 r n 1, para algum n 1. Queremos provar que x n+1 = x 1 r n. Então x n+1 = x n r por ser uma progressão geométrica = x 1 r n 1 r por hipótese = x 1 r n. 47. (b) n = 1: temos n i=1 x i = 1 i=1 x r n 1 i = x 1 e x 1 r 1 = x r r 1 = x 1. Logo 1 i=1 x r 1 1 i = x 1 r 1. Suponhamos que n i=1 x r n 1 i = x 1 r 1, para algum n 1. Queremos provar que n+1 i=1 x i = r n+1 1 x 1 r 1. Então n+1 i=1 x i = n i=1 x i + x n+1 r n 1 = x 1 r 1 + x n+1 por hipótese r n 1 = x 1 r 1 + x 1 r n por (a) = x 1 ( r n 1 r 1 + rn ) = x 1 r n 1 + r n+1 r n r 1 = x 1 r n+1 1 r n = : temos = Vejamos ainda o caso n = : temos = Suponhamos que = 1 + 0, = 0 + 1,, n 1 = î + ĵ, n = i + j, para algum n 4. Queremos provar que i, j N 0 : n + 1 = i + j. Então n + 1 = (n 1) + = î + ĵ + por hipótese = (î + 1) + ĵ. Assim, i = î + 1, j = ĵ : n + 1 = i + j.

8 Matemática Discreta 11/1 Soluções Divisibilidade/Congruências 50. (a) 441. (b) 1. (c) 11. (d) 4. (e) (f) , , 41 8, (a) (b) B9 16 e 15E 16. (c) e (d) e (a) (b) (c) 6757E 16 (d) (a) b = 6. (b) b =. (c) b = 1. (d) b = (a) Todos os números x: 81 x 168. (b) Todos os números x: 4 x x =. 57. x = e (a) x = 0, y = 0. (b) x = 5, y = (a) A9 1, 95B41 1. (b) A18 1, 95C51 1. (c) 9EF 5 16, 95F (d) , (e) , 1 4. (f) , (g) (h) 18DCB 16. (i) (j) (k) 1994BB 1. (l) 510F C 16. (m) (n) (o) 5 1. (p) 41AB 16. (q) (r) A1BB ,,, 5, 6, 15, 0 0, 1, 5, 7, 5 5, 1,, 5, 9, 15, 45 45, 1,, 4, 8, 16,, É divisível por, 4, 8, 16 mas não por. 6. É divisível por 5, 5, 15 mas não por (a) Divisível por mas não por 9. (b) Divisível por e por 9. (c) Não é divisível por nem por 9. (d) Não é divisível por nem por São divisíveis por 11 (a) e (b). 67. (a) x = 0. (b) x = 9. (c) x = 7, y = ou x =, y = 6. (d) x = 1, y = 6. (e) x = 7. (f) y = 0, x = 1 ou y = 0, x = 8 ou y = 5, x = a sse r 0, a sse (r 0 + r 1 + r + r + r 4 + ), 4 a sse 4 r 0, 5 a sse 5 (r 0 + r 1 + 4r + r + r 4 + r 5 + ), 6 a sse 6 (r 0 + r 1 + 4r + r + 4r 4 + ), 7 8 sse 7 (r 0 + r 1 + r + ). 69. (a) x = 7, y = 0 ou x = 1, y = 6. (b) x = y = (a) 0. (b) (a) 18 = (b) = (c) 5 = (a) mas (b) 8 e (c) x = (a) x = 6, y = 180 ou x =, y = 6 ou x = 1, y = 90 ou x = 18, y = 60. (b) x = 1, y = 48 ou x = 4, y = 6. (c) x = 9 (y = 56 y = 168 y = 504) ou (y = 504 (x = 1 x = ).

9 { { x = k x = 5 + 4k 76. (a) Não admite soluções inteiras. (b), k Z. (c), k Z. (d) y = k y = 8 69k { { x = k x = 9 + 6k, k Z. (e) Não admite soluções inteiras. (f) y = 6 7k y = 7 47k, k Z. 77. Há três possibilidades: 4 selos de 6 cêntimos e 4 de 15 cêntimos; 9 selos de 6 cêntimos e de 15 cêntimos; 14 selos de 6 cêntimos e 0 de 15 cêntimos l de leite e 4 pacotes de bolachas. 79. Não são congruentes (c), (e) e (g). 80. (a) m {, 4, 5, 10, 0}. (b) m = 5. (c) m N. 81. (a) 5. (b) 8. (c). (d) 4. (e) 6. (f) 4. (g) 0. (h) (a) 1. (b) 0. (c) 5. (d) 0. (e) 6. (f) (a) É divisível por 7. (b) Não é múltiplo de 14.

10 Matemática Discreta 11/1 Algumas Soluções Grafos 94. (a) G 1, G 5. (b) G, G 4. (c) G, G 4. (d) G 1, G, G. (e) G, G 4. (f) G. 94. (a) G 1, G 5. (b) G, G 5. (c) G, G 4. (d) G 1, G, G. (e) G. (f) G G 1 : gr(1) = gr() = gr() = gr(7) = gr(8) = gr(9) = 1, gr(6) =, gr(4) = gr(5) = 4 G : gr(a) = gr(b) = gr(c) = gr(d) = gr(e) = 4 G : gr(1) = 5, gr() = 1 G 4 : gr(1) = gr() = 4, gr() =, gr(4) = 5, gr(5) = 0 G 5 : gr(a) = gr(b) = gr(c) = gr(d) = gr(e) = G 6 : gr(p) = gr(q) = gr(r) = gr(s) = G 1 : gr (1) = 0, gr + (1) = 1, gr () = 0, gr + () = 1, gr () = 0, gr + () = 1, gr (4) =, gr + (4) =, gr (5) =, gr + (5) =, gr (6) = 1, gr + (6) = 1, gr (7) = 1, gr + (7) = 0 G : gr (a) = 1, gr + (a) =, gr (b) = 1, gr + (b) =, gr (c) =, gr + (c) =, gr (d) =, gr + (d) = 1, gr (e) =, gr + (e) = 1 G : gr (1) =, gr + (1) =, gr () = 1, gr + () = 0 G 4 : gr (1) =, gr + (1) =, gr () =, gr + () = 1, gr () =, gr + () = 1, gr (4) = 1, gr + (4) = 4, gr (5) = 0, gr + (5) = 0 G 5 : gr (v) = gr + (v) = 1, v G 6 : gr (p) = 1, gr + (p) =, gr (q) =, gr + (q) = 1, gr (r) =, gr + (r) = 1, gr (s) = 1, gr + (s) = G 1 é conexo, logo C(v) = {1,,, 4, 5, 6}, v. G é conexo, logo C(v) = {a, b, c, d, e}, v. G é conexo, logo C(v) = {u, v, w, z}, v. G 4 é desconexo; C(A) = {A}, C(B) = {B}, C(C) = {C}, C(D) = {D}. G 5 é desconexo; C(1) = C() = C() = C(4) = C(5) = {1,,, 4, 5} e C(6) = C(7) = C(8) = {6, 7, 8} Conexos: (a), (b), (d), (e), (f), (g), (h), (i), (j). Fortemente conexos: (d), (h) (a) O primeiro é isomorfo ao terceiro. (b) O primeiro é isomorfo ao segundo. (c) O segundo é isomorfo ao terceiro (a) = (b) (c) c = (d) 111. Primeiro segundo = terceiro e segundo = quarto (a) traços. (b) traços. (c) 4 traços. (d) 5 traços (a) 7. (b) (a). (b) (a) ABCF ED com comprimento 7. (b) AEHD com comprimento (a) ABCEG com comprimento. (b) ABDEG com comprimento (a). (b). (c). (d) 6.

11 15. (a) k (k 1) (k ). (b) k(k 1) (k ). (c) k(k 1) (k ). (d) k(k 1) (k ). (e) k(k 1)(k ). (f) k(k 1) 4 k(k 1)(k k + ). (g) k(k 1)(k )(k )(k 4). (h) k(k 1) (a). (b). (c). (d). 17. (b) k(k 1)(k k + ), k(k 1)(k ), k(k 1)(k ) (k ). (c),, 4.

GAN Matemática Discreta Professores Renata de Freitas e Petrucio Viana. Lista A

GAN Matemática Discreta Professores Renata de Freitas e Petrucio Viana. Lista A GAN 00167 Matemática Discreta Professores Renata de Freitas e Petrucio Viana Lista A 1. Verdadeiro ou falso? Justifique. (a) {3} {3, 4, 5} (b) {3} {{3}, 4, 5} (c) {3} {3, 4, 5} (d) {3} {{3}, 4, 5} 2. Verdadeiro

Leia mais

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que: Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que

Leia mais

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof.

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof. UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA - Matemática Discreta - PROFMAT Prof. Zeca Eidam Lista Números Naturais e o Princípio de Indução. Prove que

Leia mais

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade MA14 - Aritmética Unidade 1 Resumo Divisibilidade Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio do

Leia mais

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade)

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade) MA14 - Aritmética Unidade 3 Divisão nos Inteiros (Divisibilidade) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

Os números inteiros. Álgebra (Curso de CC) Ano lectivo 2005/ / 51

Os números inteiros. Álgebra (Curso de CC) Ano lectivo 2005/ / 51 Os números inteiros Abordaremos algumas propriedades dos números inteiros, sendo de destacar o Algoritmo da Divisão e o Teorema Fundamental da Aritmética. Falaremos de algumas aplicações como sejam a detecção

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

1.1 Conjuntos parcialmente ordenados (c.p.o. s)

1.1 Conjuntos parcialmente ordenados (c.p.o. s) Capítulo 1 PRELIMINARES Neste primeiro capítulo podemos encontrar algumas definições e proposições que para além de nos familiarizar com a notação que iremos utilizar também têm como finalidade a referência

Leia mais

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 016. Gabarito Questão 01 [ 1,00 ] A secretaria de educação de um município recebeu uma certa quantidade de livros para distribuir entre as escolas

Leia mais

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x.

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x. Matemática Discreta ESTiG\IPB Cap2. Relações. Funções pg 4 Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x. então Produto cartesiano do conjunto A pelo conjunto B [cartesian product].

Leia mais

Tema I Introdução à lógica bivalente e à teoria de conjuntos

Tema I Introdução à lógica bivalente e à teoria de conjuntos Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade 1 Proposições Páginas 13 a 9 1. a) 3 é uma designação. b) 3 = 6 é uma proposição. c) é o único número primo par é uma proposição. d)

Leia mais

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para provar uma implicação se p, então q, é suficiente fazer o seguinte: Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que

Leia mais

Gabarito da lista de Exercícios sobre Técnicas de Demonstração

Gabarito da lista de Exercícios sobre Técnicas de Demonstração Universidade Federal Fluminense Curso: Sistemas de Informação Disciplina: Fundamentos Matemáticos para Computação Professora: Raquel Bravo Gabarito da lista de Exercícios sobre Técnicas de Demonstração

Leia mais

ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011

ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011 Uma Resolução ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011 1. Seleccione e transcreva para a sua folha de exame a única opção correcta: A fórmula proposicional (p q) (p q) é a) logicamente

Leia mais

Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde p é primo ímpar.

Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde p é primo ímpar. raízes primitivas Uma raiz primitiva módulo n é um inteiro b tal que {1, b, b 2,... ( mod n)} = U(n). Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde

Leia mais

Elementos de Matemática Finita

Elementos de Matemática Finita Elementos de Matemática Finita Exercícios Resolvidos 1 - Algoritmo de Euclides; Indução Matemática; Teorema Fundamental da Aritmética 1. Considere os inteiros a 406 e b 654. (a) Encontre d mdc(a,b), o

Leia mais

Cálculo Diferencial e Integral I

Cálculo Diferencial e Integral I Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito

Leia mais

Demonstrações. Terminologia Métodos

Demonstrações. Terminologia Métodos Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:

Leia mais

Matemática D s r t i c e a

Matemática D s r t i c e a Matemática D s r t i c e a A B A B q A B A B u t f p g n h a b m e c d i l j k s r Maria do Rosário Fernandes Departamento de Matemática Faculdade de Ciências e Tecnologia UNL Índice i Capítulo 1 CONJUNTOS

Leia mais

Introdução à Teoria de Grupos Grupos cíclicos Grupos de permutações Isomorfismos

Introdução à Teoria de Grupos Grupos cíclicos Grupos de permutações Isomorfismos Observação Como para k > 1 se tem (a 1, a 2,..., a k ) = (a 1, a k )(a 1, a k 1 ) (a 1, a 2 ), um ciclo de comprimento par é uma permutação ímpar e um ciclo de comprimento ímpar é uma permutação par. Proposição

Leia mais

Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA

Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT 131 - INTRODUÇÃO À ÁLGEBRA 1. Seja A = {1, 3, 5, 7, 11}. Verifique quais das seguintes proposições são verdadeiras ou falsas.

Leia mais

2016 / Nome do aluno: N.º: Turma:

2016 / Nome do aluno: N.º: Turma: Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08

MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08 MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08 Neste curso, consideraremos o conjunto dos números naturais como sendo o conjunto N = {0, 1, 2, 3,... }, denotando por N o conjunto N \ {0}. Como

Leia mais

Matemática para Ciência dos Computadores 30 de Dezembro, Docente: Luís Antunes & Sandra Alves

Matemática para Ciência dos Computadores 30 de Dezembro, Docente: Luís Antunes & Sandra Alves Matemática para Ciência dos Computadores 30 de Dezembro, 2003 Docente: Luís Antunes & Sandra Alves Mais exercícios de MCC 1. Sejam p, q, r e p 1, p 2, p 3 as seguintes afirmações primitivas e premissas

Leia mais

Referências e materiais complementares desse tópico

Referências e materiais complementares desse tópico Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor

Leia mais

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE Indução Matemática George Darmiton da Cunha Cavalcanti CIn - UFPE Introdução Qual é a fórmula para a soma dos primeiros n inteiros ímpares positivos? Observando os resultados para um n pequeno, encontra-se

Leia mais

GABARITO. 01) a) c) VERDADEIRA P (x) nunca terá grau zero, pelo fato de possuir um termo independente de valor ( 2).

GABARITO. 01) a) c) VERDADEIRA P (x) nunca terá grau zero, pelo fato de possuir um termo independente de valor ( 2). 01) a) P (1) = 1 + 7 1 17 1 P (1) = 1 + 7 17 P (1) = 11 P (1) é sempre igual a soma dos coeficientes de P (x) b) P (0) = 0 + 7 0 17 0 P (0) = 0 + 0 0 P (0) = P (0) é sempre igual ao termo independente

Leia mais

Elementos de Matemática Finita

Elementos de Matemática Finita Elementos de Matemática Finita Exercícios Resolvidos - Princípio de Indução; Algoritmo de Euclides 1. Seja ( n) k n! k!(n k)! o coeficiente binomial, para n k 0. Por convenção, assumimos que, para outros

Leia mais

Bases Matemáticas. Juliana Pimentel. 15 de junho de 2016

Bases Matemáticas. Juliana Pimentel. 15 de junho de 2016 Bases Matemáticas Juliana Pimentel juliana.pimentel@ufabc.edu.br 15 de junho de 016 Princípio de Indução Finita Uma propriedade particularmente importante dos números naturais é expressa pelo Princípio

Leia mais

Programa Combinatória Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 52

Programa Combinatória Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 52 1 / 52 MATEMÁTICA DISCRETA Patrícia Ribeiro Departamento de Matemática, ESTSetúbal 2018/2019 2 / 52 Programa 1 Combinatória 2 Aritmética Racional 3 Grafos 3 / 52 Capítulo 1 Combinatória 4 / 52 Princípio

Leia mais

X Encontro da Olimpíada Regional de Matemática

X Encontro da Olimpíada Regional de Matemática completa X Encontro da Olimpíada Regional de Matemática Florianópolis, 28 de Março de 2015. completa Demonstrando igualdades Seja n um número natural qualquer maior do que 1. Qual será o valor da soma

Leia mais

1 Números Reais (Soluções)

1 Números Reais (Soluções) Números Reais (Soluções). a) x2 4 b) x c) x d) x e) x f) 2 x+2 g) 2 x(x+2) h) x i) x 2 4 j) x(x + ) + x k) log(x) l) 2 log ( x 2 + x 2). 2. a) x = x 2 b) 2 x c) x d) x 0 x = e) x = 4 x = 2 f) x = x = 2

Leia mais

Módulo: aritmética dos restos. Divisibilidade e Resto. Tópicos Adicionais

Módulo: aritmética dos restos. Divisibilidade e Resto. Tópicos Adicionais Módulo: aritmética dos restos Divisibilidade e Resto Tópicos Adicionais Módulo: aritmética dos restos Divisibilidade e resto 1 Exercícios Introdutórios Exercício 1. Encontre os inteiros que, na divisão

Leia mais

Matemática E Extensivo V. 6

Matemática E Extensivo V. 6 Etensivo V. 6 Eercícios ) a) P() é sempre igual à soma dos coeficientes de P(). b) P() é sempre igual ao termo independente de P(). c) P() é a raiz de P(), pois P() =. a) P() = ³ + 7. ² 7. P() = + 7 7

Leia mais

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

Matemática Discreta - 04

Matemática Discreta - 04 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 04 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Expoente 10 Dossiê do Professor 2

Expoente 10 Dossiê do Professor 2 Expoente 0 Dossiê do Professor Tema I Introdução à lógica bivalente e à teoria de conjuntos Unidade Proposições Páginas a 9. a) é uma designação. b) = 6 é uma proposição. c) é o único número primo par

Leia mais

Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 42

Aritmética Racional MATEMÁTICA DISCRETA. Patrícia Ribeiro. Departamento de Matemática, ESTSetúbal 2018/ / 42 1 / 42 MATEMÁTICA DISCRETA Patrícia Ribeiro Departamento de Matemática, ESTSetúbal 2018/2019 2 / 42 1 Combinatória 2 3 Grafos 3 / 42 Capítulo 2 4 / 42 Axiomática dos Inteiros Sejam a e b inteiros. Designaremos

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5

FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 5 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,

Leia mais

Reticulados e Álgebras de Boole

Reticulados e Álgebras de Boole Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente

Leia mais

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: 2018-2 TURNO: NOTURNO ALUNO a): 1ª Lista de Exercícios - Introdução à Lógica Matemática, Teoria

Leia mais

1 0 para todo x, multiplicando-se os dois membros por. 2x 1 0 x 1 2. b a x. ba 2. e b 2 c

1 0 para todo x, multiplicando-se os dois membros por. 2x 1 0 x 1 2. b a x. ba 2. e b 2 c CAPÍTULO 1 Exercícios 1..n) Como x 0 para todo x, o sinal de x(x ) é o mesmo que o de x; logo, x(x ) 0 para x 0; x(x ) 0 para x 0; x(x ) 0 para x 0.. n) Como x 1 1 0 para todo x, multiplicando-se os dois

Leia mais

Uma curiosa propriedade com inteiros positivos

Uma curiosa propriedade com inteiros positivos Uma curiosa propriedade com inteiros positivos Fernando Neres de Oliveira 21 de junho de 2015 Resumo Neste trabalho iremos provar uma curiosa propriedade para listas de inteiros positivos da forma 1, 2,...,

Leia mais

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn 4 Relações 4.1 Preliminares Definição 4.1. Sejam A e B conjuntos. Uma relação binária, R, de A em B é um subconjunto de A B. (R A B) Dizemos que a A está relacionado com b B sss (a, b) R. Notação: arb.

Leia mais

Usando indução pode então mostrar-se o seguinte:

Usando indução pode então mostrar-se o seguinte: Proposição Sejam G e H grupos cíclicos finitos. Então G H é cíclico se e só se ord(g) e ord(h) forem primos entre si. Exercício Faça a demonstração da proposição anterior. Usando indução pode então mostrar-se

Leia mais

MATEMÁTICA MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA. Professor Matheus Secco

MATEMÁTICA MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA. Professor Matheus Secco MATEMÁTICA Professor Matheus Secco MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA 1. DIVISIBILIDADE Definição: Sejam a, b inteiros com a 0. Diz-se que a divide b (denota-se por a b) se existe c inteiro tal que

Leia mais

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril Matemática Discreta Indução Matemática Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG Abril - 2017 Indução Matemática Se desejamos provar que A(n) B(n) é verdade para números inteiros k maiores

Leia mais

11º ano - Indução matemática

11º ano - Indução matemática 1 O conjunto dos números racionais Q é enumerável, ou seja, é possível atribuir (associar) a cada número racional um número natural Abaixo, os números racionais positivos estão representados na forma de

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Relações Definição: Uma relação binária de um conjunto A num conjunto B é um subconjunto

Leia mais

Tópicos de Matemática. Teoria elementar de conjuntos

Tópicos de Matemática. Teoria elementar de conjuntos Tópicos de Matemática Lic. em Ciências da Computação Teoria elementar de conjuntos Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática

Leia mais

Matemática E Extensivo V. 7

Matemática E Extensivo V. 7 Matemática E Etensivo V. 7 Eercícios ) B ) A P() = ³ + a² + b é divisivel por. Pelo teorema do resto, = é raiz de P(). P() = ³ + a. ² + b a + b = Da mesma maneira, P() é divisível por. Pelo teorema do

Leia mais

Lista de Exercícios 9 (Extra): Soluções Grafos

Lista de Exercícios 9 (Extra): Soluções Grafos UFMG/ICEx/DCC DCC111 Matemática Discreta Lista de Exercícios 9 (Extra): Soluções Grafos Ciências Exatas & Engenharias 1 o Semestre de 018 Para cada uma das seguintes armações, diga se é verdadeira ou falsa

Leia mais

CENTRO EDUCACIONAL GIRASSOL TD de Matemática Prof.: Tiago Rodrigues

CENTRO EDUCACIONAL GIRASSOL TD de Matemática Prof.: Tiago Rodrigues CENTRO EUCACIONAL GIRASSOL T de Matemática Prof.: Tiago Rodrigues proftiagorodrigues@gmail.com IVISIBILIAE E RESTO. Introdução O assunto divisibilidade no Conjunto dos Inteiros ( ) é extremamente importante

Leia mais

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG Indução Matemática Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Indução Matemática junho - 2018 1 / 38 Este material é preparado usando como referências os

Leia mais

Matriz de mudança de coordenadas: S B1!B 2. (como se faz e para que serve) transformação linear. (como se faz e para que serve)

Matriz de mudança de coordenadas: S B1!B 2. (como se faz e para que serve) transformação linear. (como se faz e para que serve) Matriz de mudança de coordenadas: S B!B (como se faz e para que serve) Transformação linear A matriz de T em relação às bases B e B 0 : M(T ; B; B 0 ) (como se faz e para que serve) As 3 formas (equivalentes)

Leia mais

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Roteiro da segunda aula presencial - ME

Roteiro da segunda aula presencial - ME PIF Enumerabilidade Teoria dos Números Congruência Matemática Elementar Departamento de Matemática Universidade Federal da Paraíba 29 de outubro de 2014 PIF Enumerabilidade Teoria dos Números Congruência

Leia mais

Matemática - Geometria Caderno 1: Ângulos triédricos

Matemática - Geometria Caderno 1: Ângulos triédricos Programa PIBID/CAPES Departamento de Matemática Universidade de Brasília Matemática - Geometria Caderno 1: Objetivos Desenvolver e formalizar o raciocínio lógico do aluno. Conteúdos abordados Reconhecimento

Leia mais

Lista 1 - Bases Matemáticas

Lista 1 - Bases Matemáticas Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo ou 4 é ímpar. c) (Não é verdade

Leia mais

Prova Parcial 1 com peso de 0,2 na média Matemática Discreta para Computação Aluno(a): Data: 12/04/2012

Prova Parcial 1 com peso de 0,2 na média Matemática Discreta para Computação Aluno(a): Data: 12/04/2012 Prova Parcial com peso de, na média Aluno(a): Data: /4/. (3p) Usando regras de inferência, prove que os argumentos são válidos. Use os símbolos proposicionais indicados: a. A Rússia era uma potência superior,

Leia mais

2 Relação entre soma dos graus e número de arestas

2 Relação entre soma dos graus e número de arestas Rio de Janeiro, 24 de Outubro de 2011. LISTA DE ESTRUTURAS DISCRETAS PROFESSOR: EDUARDO LABER OBSERVAÇÕES: Exercícios marcados com são mais complicados. 1 Isomorfismo 1. Seja G =(V,E) um grafo simples.

Leia mais

Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue.

Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue. 1 Conjuntos, funções e relações: noções básicas Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue. 1.1 Conjuntos Intuitivamente,

Leia mais

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos: 1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.

Leia mais

1 Congruências e aritmética modular

1 Congruências e aritmética modular 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

Leia mais

Lista 2 - Bases Matemáticas

Lista 2 - Bases Matemáticas Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo

Leia mais

LFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos

LFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos LFA Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos Técnicas de Demonstração Um teorema é uma proposição do tipo: p q a qual, prova-se, é verdadeira sempre que: p q Técnicas de Demonstração

Leia mais

Matemática I. 1 Propriedades dos números reais

Matemática I. 1 Propriedades dos números reais Matemática I 1 Propriedades dos números reais O conjunto R dos números reais satisfaz algumas propriedades fundamentais: dados quaisquer x, y R, estão definidos a soma x + y e produto xy e tem-se 1 x +

Leia mais

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1

Leia mais

Chapter Conjuntos

Chapter Conjuntos Chapter Conjuntos, funções e relações: noções básicas.1 Conjuntos Usamos o termo conjunto como um termo primitivo, ou seja, não definido a partir de outros termos. Intuitivamente um conjunto é uma qualquer

Leia mais

ANÁLISE COMBINATÓRIA

ANÁLISE COMBINATÓRIA Nome Nota ANÁLISE COMBINATÓRIA 1) De quantas maneiras diferentes 11 homens e 8 mulheres podem se sentar em uma fila se os homens sentam juntos e as mulheres também? 2!*11!*8! 2) O controle de qualidade

Leia mais

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito

MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 2017.1 Gabarito Questão 01 [ 1,25 ] Determine as equações das duas retas tangentes à parábola de equação y = x 2 2x + 4 que passam pelo ponto (2,

Leia mais

Prova Escrita de MATEMÁTICA A - 12o Ano Época especial

Prova Escrita de MATEMÁTICA A - 12o Ano Época especial Prova Escrita de MATEMÁTICA A - o Ano 04 - Época especial Proposta de resolução GRUPO I. Para que os números de cinco algarismos sejam ímpares e tenham 4 algarismo pares, todos os números devem ser pares

Leia mais

AXB = {(x, y) x A e y B}

AXB = {(x, y) x A e y B} CENTRO UNIVERSITÁRIO DO NORTE PAULISTA LÓGICA E MATEMÁTICA DISCRETA 2010 1 Produto Cartesiano Par ordenado: são dois elementos em uma ordem fixa, (x,y) Produto Cartesiano: Dados dois conjuntos A e B, não

Leia mais

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA - Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Definição 1 Um Grafo G = (V, E) consiste em V, um conjunto não

Leia mais

Introdução à Teoria dos Números - Notas 4 Tópicos Adicionais II

Introdução à Teoria dos Números - Notas 4 Tópicos Adicionais II 1 Introdução à Teoria dos Números - Notas 4 Tópicos Adicionais II 1 O Anel dos Inteiros Módulo n Consideremos um número natural n 2 fixado Para cada número inteiro a definimos a = {x Z; x a mod n} Como

Leia mais

Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional

Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional MA12 Matemática Discreta Avaliação - GABARITO AV 3 - MA 12 13 de julho de 2013 1. (2,0) Seja (a n ) uma progressão

Leia mais

Respostas Aula 1 (POTI) = Produtos Notáveis

Respostas Aula 1 (POTI) = Produtos Notáveis Respostas Aula 1 (POTI) = Produtos Notáveis 01. CPM 010. Alternativa B. (a b) +(a+b) a (a+b) (a b) (a+b) = a ab+b +a +ab+b a b a +ab+b a +b = ab+b = b b (a+b) = b a+b 0. Ora: (x + xy + y ) = (x + y) =

Leia mais

Faculdade de Computação

Faculdade de Computação UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação - 1 0 Semestre 007 Professora : Sandra Aparecida de Amo Solução da Lista de Exercícios n o 1 Exercícios de Revisão

Leia mais

Aritmética dos Restos. Problemas com Congruências. Tópicos Adicionais

Aritmética dos Restos. Problemas com Congruências. Tópicos Adicionais Aritmética dos Restos Problemas com Congruências Tópicos Adicionais Aritmética dos Restos Problemas com Congruências 1 Exercícios Introdutórios Exercício 1. inteiro n Prove que n 5 + 4n é divisível por

Leia mais

Lógica Matemática - Indução

Lógica Matemática - Indução Lógica Matemática - Indução Prof. Elias T. Galante - 017 Breve introdução losóca à indução Raciocinar é inferir, ou seja, passar do que já se conhece de algum modo ao que ainda não se conhece. Este processo

Leia mais

1 Números Reais. 1. Simplifique as seguintes expressões (definidas nos respectivos domínios): b) x+1. d) x 2, f) 4 x 4 2 x, g) 2 x2 (2 x ) 2, h)

1 Números Reais. 1. Simplifique as seguintes expressões (definidas nos respectivos domínios): b) x+1. d) x 2, f) 4 x 4 2 x, g) 2 x2 (2 x ) 2, h) Números Reais. Simplifique as seguintes expressões (definidas nos respectivos domínios): x a), x b) x+ +, x c) +x + x +x, d) x, e) ( x ), f) 4 x 4 x, g) x ( x ), h) 3 x 6 x, i) x x +, j) x x+ x, k) log

Leia mais

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE ANA PAULA CHAVES AND THIAGO PORTO 1. Introdução Os temas centrais deste texto - bases numéricas e critérios de divisibilidade

Leia mais

Números Primos, MDC e MMC. O próximo teorema nos diz que os primos são as peças fundamentais dos números inteiros:

Números Primos, MDC e MMC. O próximo teorema nos diz que os primos são as peças fundamentais dos números inteiros: Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível Prof. Samuel Feitosa Aula 4 Números Primos, MDC e MMC. Definição 1. Um inteiro p > 1 é chamado número primo se não possui um divisor d

Leia mais

NÚMEROS DE FERMAT. (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal)

NÚMEROS DE FERMAT. (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal) NÚMEROS DE FERMAT (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal) Intrudução: O matemático francês Pierre de fermat (1601-1665) é famoso pelo seu extensivo trabalho em teoria dos números. Suas

Leia mais

Inteiros. Inteiros. Congruência. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Inteiros. Inteiros. Congruência. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006. Inteiros Inteiros. Congruência. Referência: Capítulo: 4 Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006 1 Números reais A relação binária em R é uma ordem parcial

Leia mais

Resolução do 1 o exame

Resolução do 1 o exame Introdução à Álgebra, 2015-16 Resolução do 1 o exame 1. Diga, em cada caso, se a afirmação é verdadeira ou falsa, justificando a sua resposta com uma demonstração, ou um contra-exemplo. Nesta questão,

Leia mais

Produto Cartesiano de dois conjuntos, Relações e Funções

Produto Cartesiano de dois conjuntos, Relações e Funções o Semestre de 9/ Miscelânea Produto Cartesiano de dois conjuntos, elações e Funções Sejam e dois conjuntos e sejam a e b O conjunto a,a,b chama-se par ordenado e designa-se por (a,b) Os elementos a e b

Leia mais

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa.

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa. DR. SIMON G. CHIOSSI @ GMA / UFF MB V 1 0/02/2016 NOME LEGÍVEL: Matemática Básica Prova V 1 turma A1 0 / 02 / 2016 MATRÍCULA: EXERCÍCIOS OBRIGATÓRIOS (1) Sejam P(x) o predicado x 2 = x e Q(x) o predicado

Leia mais

Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade. 5 Congruências lineares

Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade. 5 Congruências lineares Programa Matemática Discreta 2007/08 Jorge Manuel L. André FCT/UNL 1 Parte 1 - Conjuntos e Aplicações 1 Conjuntos 2 Relações Binárias 3 Aplicações 4 Indução matemática e divisibilidade 5 Congruências lineares

Leia mais

(~ + 1) { ~ + 1) { : + 1)-... {I O~O + 1) é MATEMÁTICA. 2a é múltiplo de 6. CA) -6. cc) O. 28. O valor numérico da expressão CC) 500.

(~ + 1) { ~ + 1) { : + 1)-... {I O~O + 1) é MATEMÁTICA. 2a é múltiplo de 6. CA) -6. cc) O. 28. O valor numérico da expressão CC) 500. MATEMÁTICA NESTA PROVA" SERÃO UTILIZADOS OS SEGUINTES SÍMBOLOS E CONCEITOS COM OS RESPECTIVOS SIGNIFICADOS: N: Conjunto dos números naturais. R: Conjunto dos números reais. 6. Considere as afirmações sobre

Leia mais

Polos Olímpicos de Treinamento. Aula 7. Curso de Teoria dos Números - Nível 2. Aula de Revisão e Aprofundamento. Prof.

Polos Olímpicos de Treinamento. Aula 7. Curso de Teoria dos Números - Nível 2. Aula de Revisão e Aprofundamento. Prof. Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 2 Prof. Samuel Feitosa Aula 7 Aula de Revisão e Aprofundamento Observação 1. É recomendável que o professor instigue seus alunos a pensarem

Leia mais

Segmento: Pré-vestibular. Coleção: Alfa, Beta e Gama. Disciplina: Matemática. Unidade 1: Série 17. Conjuntos

Segmento: Pré-vestibular. Coleção: Alfa, Beta e Gama. Disciplina: Matemática. Unidade 1: Série 17. Conjuntos Segmento: Pré-vestibular Coleção: Alfa, Beta e Gama Disciplina: Matemática Volume: 1 Unidade 1: Série 17 Resoluções Conjuntos 1. A = {1, } O Conjunto A possui dois elementos: 1 e. O total de subconjuntos

Leia mais

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I 1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I Tópico: Produto Cartesiano 1. Dados os conjuntos M = {1, 3, 5} e N = {2, 4},

Leia mais

a) Falsa. Por exemplo, para n = 2, temos 3n = 3 2 = 6, ou seja, um número par.

a) Falsa. Por exemplo, para n = 2, temos 3n = 3 2 = 6, ou seja, um número par. Matemática Unidade I Álgebra Série - Teoria dos números 01 a) Falsa. Por exemplo, para n =, temos 3n = 3 = 6, ou seja, um número par. b) Verdadeira. Por exemplo, para n = 1, temos n = 1 =, ou seja, um

Leia mais