Lógica de Predicados
|
|
- Bárbara Van Der Vinne Valgueiro
- 8 Há anos
- Visualizações:
Transcrição
1 Lógica de Predicados
2 Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica (Rosen 42)
3 N2 AED 1: Valor 1.0 AED 2: Valor 1.0 AED 3: Valor 1.0 Participação Valor 1.0 AI: Valor Prova 3 = 10.0
4 Cronograma 20/11 Lógica de Predicados 24/11 Lógica de Predicados 27/11 Lógica de Predicados 01/12 Regras de Inferência 04/12 Regras de Inferência 08/12 Regras de Inferência 11/12 Revisão 15/12 Prova 3 18/12 Correção e Entrega da prova 3
5 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 P(x) = 5x + 6 = 0 P(x) = x 2 -x-2
6 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 P(x) = 5x + 6 = 0 P(x) = x 2 -x-2 CV={3}
7 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 P(x) = 5x + 6 = 0 P(x) = x 2 -x-2 CV={3} CV={0,1,2,3,4}
8 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 CV={3} P(x) = 5x + 6 = 0 CV={ } P(x) = x 2 -x-2 CV={0,1,2,3,4}
9 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 CV={3} P(x) = 5x + 6 = 0 CV={ } P(x) = x 2 -x-2 CV={0,1,2,3,4} CV={2}
10 Exercícios Dados os conjuntos A={ -2,0,1,2} B={-1,0,3} Determinar o conjunto verdade de P(x,y)= x+y < 1 xa e yb
11 Exercícios Dados os conjuntos A={ -2,0,1,2} B={-1,0,3} Determinar o conjunto verdade de P(x,y)= x+y < 1 xa e yb CV = { (-2,-1), (-2,0), (0,-1), (0,0), (1,-1)}
12 Exercícios Rosen pg 46 1) Considere P(x) como o predicado x 4. Quais são os valores verdade das proposições abaixo? a) P(0) b) P(4) c) P(6)
13 Exercícios Rosen pg 46 1) Considere P(x) como o predicado x 4. Quais são os valores verdade das proposições abaixo? a) P(0) é Verdade b) P(4) é Verdade c) P(6) é Falso
14 Exercícios Rosen pg 46 2) Considere P(x) como o predicado a palavra x contém a letra a. Quais são os valores verdade das proposições abaixo? a) P(orange) b) P(lemon) c) P(true) d) P(false)
15 Exercícios Rosen pg 46 2) Considere P(x) como o predicado a palavra x contém a letra a. Quais são os valores verdade das proposições abaixo? a) P(orange) é Verdade b) P(lemon) é Falso c) P(true) é Falso d) P(false) é Verdade
16 Exercícios Rosen pg 46 2) Considere Q(x,y) como o predicado x é a capital de y. Quais são os valores verdade das proposições abaixo? a) Q(Denver, Colorado)
17 Exercícios Rosen pg 46 2) Considere Q(x,y) como o predicado x é a capital de y. Quais são os valores verdade das proposições abaixo? a) Q(Denver, Colorado) é Verdade b) Q(Detroir, Michigan)
18 Exercícios Rosen pg 46 2) Considere Q(x,y) como o predicado x é a capital de y. Quais são os valores verdade das proposições abaixo? a) Q(Denver, Colorado) é Verdade b) Q(Detroir, Michigan) é Falso capital é Lansing c) Q(Massachusetts, Boston)
19 Exercícios Rosen pg 46 2) Considere Q(x,y) como o predicado x é a capital de y. Quais são os valores verdade das proposições abaixo? a) Q(Denver, Colorado) é Verdade b) Q(Detroir, Michigan) é Falso capital é Lansing c) Q(Massachusetts, Boston) é Verdade d) Q(Nova York, Nova York)
20 Exercícios Rosen pg 46 2) Considere Q(x,y) como o predicado x é a capital de y. Quais são os valores verdade das proposições abaixo? a) Q(Denver, Colorado) é Verdade b) Q(Detroir, Michigan) é Falso capital é Lansing c) Q(Massachusetts, Boston) é Verdade d) Q(Nova York, Nova York) é F capital é Albany
21 Exercícios Rosen pg 46 4) Constate o valor de x depois que o comando if P(x) then x:=1 for executada, em que P(x) é a proposição x>1, se o valor de x, quando essa proposição for alcançada, for a) x=0; Resp. 0 b) x=1; Resp. 1 c) x=2; Resp 1
22 Exercícios Rosen(47) 11) Considere P(x) como o predicado x =x 2. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) P(0) b) P(1) c) P(2) d)p(-1) e) x P(x) f) x P(x) {...,-2,-1,0,1,2,...}
23 Exercícios Rosen(47) 11) Considere P(x) como o predicado x =x 2. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) P(0) = 0 =0 2 é Verdade b) P(1) c) P(2) d)p(-1) e) x P(x) f) x P(x)
24 Exercícios Rosen(47) 11) Considere P(x) como o predicado x =x 2. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) P(0) = 0 =0 2 é Verdade b) P(1) = 1 =1 2 é Verdade c) P(2) d)p(-1) e) x P(x) f) x P(x)
25 Exercícios Rosen(47) 11) Considere P(x) como o predicado x =x 2. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) P(0) = 0 =0 2 é Verdade b) P(1) = 1 =1 2 é Verdade c) P(2) = 2 =2 2 é Falso d)p(-1) e) x P(x) f) x P(x)
26 Exercícios Rosen(47) 11) Considere P(x) como o predicado x =x 2. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) P(0) = 0 =0 2 é Verdade b) P(1) = 1 =1 2 é Verdade c) P(2) = 2 =2 2 é Falso d)p(-1) = -1 =-1 2 é Falso e) x P(x) f) x P(x)
27 Exercícios Rosen(47) 11) Considere P(x) como o predicado x =x 2. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) P(0) = 0 =0 2 é Verdade b) P(1) = 1 =1 2 é Verdade c) P(2) = 2 =2 2 é Falso d)p(-1) = -1 =-1 2 é Falso e) x P(x) a,b mostram que é Verdade f) x P(x)
28 Exercícios Rosen(47) 11) Considere P(x) como o predicado x =x 2. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) P(0) = 0 =0 2 é Verdade b) P(1) = 1 =1 2 é Verdade c) P(2) = 2 =2 2 é Falso d)p(-1) = -1 =-1 2 é Falso e) x P(x) a,b mostram que é Verdade f) x P(x) c,d são contra exemplos,falso
29 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) b) Q(-1) c) Q(2) d) x Q(x) e) x Q(x) f) x ~Q(x) g) x ~Q(x)
30 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) = 0 +1>2 x 0 é Verdade b) Q(-1) c) Q(2) d) x Q(x) e) x Q(x) f) x ~Q(x) g) x ~Q(x)
31 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) = 0 +1>2 x 0 é Verdade b) Q(-1) = -1+1>2 x -1 é Verdade c) Q(2) d) x Q(x) e) x Q(x) f) x ~Q(x) g) x ~Q(x)
32 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) = 0 +1>2 x 0 é Verdade b) Q(-1) = -1+1>2 x -1 é Verdade c) Q(2) = 2+1>2 x 2 é Falso d) x Q(x) e) x Q(x) f) x ~Q(x) g) x ~Q(x)
33 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) = 0 +1>2 x 0 é Verdade b) Q(-1) = -1+1>2 x -1 é Verdade c) Q(2) = 2+1>2 x 2 é Falso d) x Q(x) a,b mostram que é Verdade e) x Q(x) f) x ~Q(x) g) x ~Q(x)
34 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) = 0 +1>2 x 0 é Verdade b) Q(-1) = -1+1>2 x -1 é Verdade c) Q(2) = 2+1>2 x 2 é Falso d) x Q(x) a,b mostram que é Verdade e) x Q(x) c é contra exemplo, é Falso f) x ~Q(x) g) x ~Q(x)
35 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) = 0 +1>2 x 0 é Verdade b) Q(-1) = -1+1>2 x -1 é Verdade c) Q(2) = 2+1>2 x 2 é Falso d) x Q(x) a,b mostram que é Verdade e) x Q(x) c é contra exemplo, é Falso f) x ~Q(x) c mostra que é Verdade g) x ~Q(x)
36 Exercícios Rosen(47) 12) Considere Q(x) como o predicado x+1>2x. Se o domínio forem os números inteiros, quais serão os valores-verdade? a) Q(0) = 0 +1>2 x 0 é Verdade b) Q(-1) = -1+1>2 x -1 é Verdade c) Q(2) = 2+1>2 x 2 é Falso d) x Q(x) a,b mostram que é Verdade e) x Q(x) c é contra exemplo, é Falso f) x ~Q(x) c mostra que é Verdade g) x ~Q(x) a,b são contra exemplos, Falso
37 Exercícios Rosen(47) 13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros. a) n (n+1>n) b) n (2n = 3n) c) n (n = -n) d) n (n 2 n)
38 Exercícios Rosen(47) 13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros. a) n (n+1>n) é Verdade b) n (2n = 3n) c) n (n = -n) d) n (n 2 n)
39 Exercícios Rosen(47) 13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros. a) n (n+1>n) é Verdade b) n (2n = 3n) é Verdade (Qual?) c) n (n = -n) d) n (n 2 n)
40 Exercícios Rosen(47) 13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros. a) n (n+1>n) é Verdade b) n (2n = 3n) é Verdade (Qual?) c) n (n = -n)???? d) n (n 2 n)
41 Exercícios Rosen(47) 13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros. a) n (n+1>n) é Verdade b) n (2n = 3n) é Verdade (Qual?) c) n (n = -n)???? d) n (n 2 n) é Verdade
42 Exercícios Rosen(47) 14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais. a) x (x 3 = -1) b) x (x 4 < x 2 ) c) x ((-x) 2 = x 2 ) d) x (2x > x)
43 Exercícios Rosen(47) 14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais. a) x (x 3 = -1) é Verdade. Qual? b) x (x 4 < x 2 ) c) x ((-x) 2 = x 2 ) d) x (2x > x)
44 Exercícios Rosen(47) 14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais. a) x (x 3 = -1) é Verdade. Qual? b) x (x 4 < x 2 ) é Verdade. c) x ((-x) 2 = x 2 ) d) x (2x > x)
45 Exercícios Rosen(47) 14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais. a) x (x 3 = -1) é Verdade. Qual? b) x (x 4 < x 2 ) é Verdade c) x ((-x) 2 = x 2 ) é Verdade d) x (2x > x)
46 Exercícios Rosen(47) 14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais. a) x (x 3 = -1) é Verdade. Qual? b) x (x 4 < x 2 ) é Verdade c) x ((-x) 2 = x 2 ) é Verdade d) x (2x > x) é Falso. Qual o contra exemplo?
47 Exercícios Rosen(47) 14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais. a) x (x 3 = -1) é Verdade. b) x (x 4 < x 2 ) é Verdade c) x ((-x) 2 = x 2 ) é Verdade d) x (2x > x) é Falso. No Futuro!!!! Para provar c) usaremos a contradição (negação).
48 Voltando às Operações Condicional Temos: P(x) = x 2 5x + 6 = 0 Q(x) = x 2 9 = 0 P(x) Q(x) Lê se: Se x 2 5x + 6 = 0 então x 2 9 = 0
49 Condicional Seja: P(x) = x é divisível por x Quais são os valores verdades de P(x)?
50 Condicional Seja: P(x) = x é divisível por x Quais são os valores verdades de P(x)? 12/1 = 12 12/2 = 6 12/3 = 4 12/4 = 3 12/6 = 2 12/12 = 1
51 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x é divisível por x Quais são os valores verdades de Q(x)?
52 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x é divisível por x Quais são os valores verdades de Q(x)? 45/1 = 45 45/3 = 15 45/5 = 9 45/9 = 5 45/15 = 3 45/45 = 1
53 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(1) Q(1)?
54 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(1) Q(1)? P(1) = V Q(1) = V P(1)Q(1) = V V P(1)Q(1) = V
55 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(5) Q(5)?
56 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(5) Q(5)? P(5) = F Q(5) = V P(5)Q(5) = F V P(5)Q(5) = V
57 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(7) Q(7)?
58 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(7) Q(7)? P(7) = F Q(7) = F P(7)Q(7) = F F P(7)Q(7) = V
59 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(2) Q(2)?
60 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(2) Q(2)? P(2) = V Q(2) = F P(2)Q(2) = V F P(2)Q(2) = F
61 Propriedade da Condicional Sabemos que: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N?
62 Propriedade da Condicional Sabemos que: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? Dica: P(x) Q(x) ~P(x) v Q(x)
63 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) Conjunto Verdade é o complemento do Conjunto Verdade de P(x)
64 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) Conjunto Verdade é o complemento do Conjunto Verdade de P(x) ~P(x) CV= N {1,2,3,4,6,12}
65 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) CV= N {1,2,3,4,6,12} Q(x) CV = {1,3,5,9,15,45} P(x) Q(x) ~P(x) v Q(x) O que podemos concluir?
66 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) CV= N {1,2,3,4,6,12} Q(x) CV = {1,3,5,9,15,45} P(x) Q(x) ~P(x) v Q(x) CV = N {1,2,3,4,6,12} {1,3,5,9,15,45} Resumindo...
67 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) CV= N {1,2,3,4,6,12} Q(x) CV = {1,3,5,9,15,45} P(x) Q(x) ~P(x) v Q(x) CV = N {1,2,3,4,6,12} {1,3,5,9,15,45} CV = N {2,4, 6,12}
68 Perguntas????
69 Continuando... Já aprendemos dois quantificadores. Quais?
70 Continuando... Já aprendemos dois quantificadores. Quais?
71 Quantificadores Porém existe um número não limitado de quantificadores que podemos definir tais como: existem exatamente dois existem não mais de três existe um único x tal que P(x) é verdadeiro
72 Quantificadores Existe um número não limitado de quantificadores que podemos definir tais como existem exatamente dois existem não mais de três existe um único x tal que P(x) é verdadeiro Quantificador de Unicidade
73 Quantificadores Existe um número não limitado de quantificadores que podemos definir tais como existem exatamente dois existem não mais de três existe um único x tal que P(x) é verdadeiro Quantificador de Unicidade x P(x) ou x 1 P(x)
74 Quantificadores com Restrição Uma notação abreviada é freqüentemente usada para restringir o domínio de um quantificador. Nessa notação, incluímos depois do quantificador uma condição que a variável deve satisfazer.
75 Quantificadores com Restrição Exemplo: x<0 (x 2 > 0) Propriedade: o quadrado de todo número negativo é positivo.
76 Quantificadores com Restrição Exemplo: y 0(y 3 0) Propriedade: o cubo de um numero não nulo é também não nulo
77 Quantificadores com Restrição Exemplo: z>0 (z 2 = z) Qual???
78 Quantificadores com Restrição Restrições reescritas de outra forma x<0 (x 2 > 0) x (x<0 x 2 > 0) y 0(y 3 0) y(y 0 y 3 0) Quantificador Universal equivale a Universal de Proposição Condicional z>0 (z 2 = z) z(z>0 ^z 2 = z) Quantificador Existencial equivale a Existencial de um Conjunção
79 Dúvidas!!!!! Perguntas antes de continuarmos?
80 Tradução Português - Lógica Na aula passada: Todo estudante desta classe estudou lógica. C(x) = x estudou lógica Domínio = {estudantes desta classe} x C(x)
81 Tradução Português - Lógica Todo estudante desta classe estudou lógica. C(x) = x estudou lógica Vamos mudar nosso domínio para: Domínio = {todas as pessoas}
82 Tradução Português - Lógica Todo estudante desta classe estudou lógica. C(x) = x estudou lógica Domínio = {todas as pessoas} Novo predicado: E(x) = x é estudante desta classe Podemos expressar a sentença...
83 Tradução Português - Lógica Todo estudante desta classe estudou lógica. C(x) = x estudou lógica E(x) = x é estudante desta classe Domínio = {todas as pessoas} Podemos expressar a sentença... Para cada pessoa x, se x é um estudante desta classe então x estudou lógica
84 Tradução Português - Lógica Todo estudante desta classe estudou lógica. C(x) = x estudou lógica E(x) = x é estudante desta classe Domínio = {todas as pessoas} Podemos expressar a sentença x(e(x)c(x)) Para cada pessoa x, se x é um estudante desta classe então x estudou lógica
85 Tradução Português - Lógica Todo estudante desta classe estudou lógica. C(x) = x estudou lógica E(x) = x é estudante desta classe Domínio = {todas as pessoas} Não podemos expressar a sentença x(e(x)^c(x)) ERRADO!!! Todas as pessoas são estudantes desta classe e já estudaram lógica
86 Prioridade dos Quantificadores Os quantificadores e têm prioridade maior que todos os operadores lógicos do cálculo proposicional. x P(x) v Q(x) (x P(x)) v Q(x) x P(x) v Q(x) x (P(x) v Q(x))
87 Prioridade dos Quantificadores Os quantificadores e têm prioridade maior que todos os operadores lógicos do cálculo proposicional. x P(x) v Q(x) (x P(x)) v Q(x) x P(x) v Q(x) x (P(x) v Q(x)) Isso nos mostra o conceito de variável ligada
88 Prioridade dos Quantificadores Os quantificadores e têm prioridade maior que todos os operadores lógicos do cálculo proposicional. x P(x) v Q(x) (x P(x)) v Q(x) x P(x) v Q(x) x (P(x) v Q(x)) E o conceito de escopo de uma variável
89 Variável Ligada x (x+y = 1) x é ligada Quando um quantificador é usado na variável x, dizemos que essa ocorrência da variável é ligada.
90 Variável Livre x (x+y = 1) x é ligada Uma ocorrência de uma variável que não é ligada por um quantificador ou não representa um conjunto de valores particulares é chamada de variável livre (y).
91 Variável Livre x (x+y = 1) x é ligada Não é uma proposição, pois y é variável livre Todas as variáveis que ocorrem em um função proposicional devem ser ligadas ou devem representar um conjunto de valores particulares para ser uma proposição.
92 Escopo x (P(x) ^ Q(x)) v x R(x) Escopo não se sobrepõe. Escopo Escopo É a parte da expressão lógica à qual um quantificador é aplicado.
93 Escopo x (P(x) ^ Q(x)) v y R(y) Escopo Escopo Escopo não se sobrepõe. Pode ser y ao invés de x. É a parte da expressão lógica à qual um quantificador é aplicado. Uma variável é livre se não está sob o escopo de algum quantificador.
94 Dúvidas!!! Dúvidas sobre Variável Livre, Variável Ligada e Escopo????
95 Predicados com duas variáveis Para cada estudante desta classe, x estudou lógica. C(x) = x estudou lógica S(x) = x é estudante desta classe Agora vamos definir uma novo predicado!!! Q(x,y) = estudante x estudou matéria y
96 Predicados com duas variáveis Para cada estudante desta classe, x estudou lógica. Q(x,y) = estudante x estudou matéria y Domínio 1: {estudantes desta classe} x Q(x,lógica)
97 Predicados com duas variáveis Para cada estudante desta classe, x estudou lógica. Q(x,y) = estudante x estudou matéria y Domínio 1: {estudantes desta classe} x Q(x,lógica) Domínio 2: {todas as pessoas} x (S(x) Q(x, lógica))
98 Exercício Algum estudante da classe visitou o México Domínio: {estudantes da classe}
99 Exercício Algum estudante da classe visitou o México Domínio: {estudantes da classe} M(x) = x visitou o México
100 Exercício Algum estudante da classe visitou o México Domínio: {estudantes da classe} M(x) = x visitou o México x M(x)
101 Exercício Algum estudante da classe visitou o México Domínio: {todas as pessoas}
102 Exercício Algum estudante da classe visitou o México Domínio: {todas as pessoas} M(x) = x visitou o México E(x) = x é estudante da classe
103 Exercício Algum estudante da classe visitou o México Domínio: {todas as pessoas} M(x) = x visitou o México E(x) = x é estudante da classe Existe uma pessoa x que é estudante da classe e que visitou o México.
104 Exercício Algum estudante da classe visitou o México Domínio: {todas as pessoas} M(x) = x visitou o México E(x) = x é estudante da classe Existe uma pessoa x que é estudante da classe e que visitou o México. x(e(x) ^ M(x))
105 Exercício Algum estudante da classe visitou o México Domínio: {todas as pessoas} M(x) = x visitou o México E(x) = x é estudante da classe Existe uma pessoa x que é estudante da classe e que visitou o México. x(e(x) M(x)) ERRADO!!! Porque é verdadeira para qualquer pessoa que não esteja na classe.
106 Exercício Todo estudante da classe visitou Canadá ou México. Domínio={estudantes da classe} C(x) = x visitou o Canadá M(x) = x visitou o México?????
107 Exercício Todo estudante da classe visitou Canadá ou México. Domínio={estudantes da classe} C(x) = x visitou o Canadá M(x) = x visitou o México x(c(x) v M(x))
108 Exercício Todo estudante da classe visitou Canadá ou México. Domínio={todas as pessoas} C(x) = x visitou o Canadá M(x) = x visitou o México E(x) = x é estudante da classe??????
109 Exercício Todo estudante da classe visitou Canadá ou México. Domínio={todas as pessoas} C(x) = x visitou o Canadá M(x) = x visitou o México E(x) = x é estudante da classe x(e(x) (C(x)v(M(x))
110 Predicados com duas variáveis Algum estudante da classe visitou Canadá ou México. V(x,y) = x visitou o país y x (V(x,México) v V(x,Canadá))
111 Equivalências (S T) Sentenças que envolvem predicados e quantificadores são logicamente equivalentes se e somente se elas têm o mesmo valor verdade quaisquer que sejam os predicados substituídos nessas sentenças e qualquer que seja o domínio para as variáveis nessas funções proposicionais.
112 Equivalências x(p(x) ^ Q(x)) x P(x) ^ x Q(x) x(p(x) v Q(x)) x P(x) v x Q(x)
113 Equivalências x(p(x) ^ Q(x)) x P(x) ^ x Q(x) x(p(x) v Q(x)) x P(x) v x Q(x) CUIDADO!!!! x(p(x) v Q(x)) x P(x) v x Q(x) x(p(x) ^ Q(x)) x P(x) ^ x Q(x)
114 Negando Expressões Quantificadas Não é o caso de todos os estudantes desta classe terem feito aulas de lógica. ~x P(x)
115 Negando Expressões Quantificadas Não é o caso de todos os estudantes desta classe terem feito aulas de lógica. ~x P(x) Podemos reformular a frase para: Existe um estudante desta classe que não teve aula de lógica. x ~P(x)
116 Negando Expressões Quantificadas Não é o caso de todos os estudantes desta classe terem feito aulas de lógica. ~x P(x) Existe um estudante desta classe que não teve aula de lógica. x ~P(x) Ilustramos que: ~x P(x) x ~P(x)
117 Negando Expressões Quantificadas Existe um estudante na classe que teve aulas de calculo. x P(x) Não é o caso de existir um estudante na classe que teve aulas de calculo. ~x P(x)
118 Negando Expressões Quantificadas Não é o caso de existir um estudante na classe que teve aulas de calculo. ~x P(x) Podemos reformular a frase para: Todo os estudantes nesta classe não tiveram aulas de calculo. x ~P(x)
119 Negando Expressões Quantificadas Não é o caso de existir um estudante na classe que teve aulas de calculo. ~x P(x) Todo os estudantes nesta classe não tiveram aulas de calculo. x ~P(x) Ilustramos que: ~x P(x) x ~P(x)
120 Negando Expressões Quantificadas As regras para negações de quantificadores são chamadas de Leis de De Morgan para quantificadores. ~x P(x) x ~P(x) ~x P(x) x ~P(x)
121 Exercício para a mente. Mostre que: ~x (P(x)Q(x)) x (P(x) ^ ~Q(x)) Rosen pg 47 Exercícios 6c, 6d, 6e, 6f, 8 e 9. Rosen pg 48 Exercício 34
Lógica de Predicados. Quantificadores
Lógica de Predicados Quantificadores Conteúdo Correção de Exercícios Operações Lógicas Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Exercícios Determinar o conjunto verdade em
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
Leia maisLógica de Predicados
Lógica de Predicados Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. a) x
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica
Leia maisQUANTIFICADORES. Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1.
LIÇÃO 4 QUANTIFICADORES Existem frases declarativas que não há como decidir se são verdadeiras ou falsas. Por exemplo: (a) Ele é um campeão da Fórmula 1. (b) x 2 2x + 1 = 0. (c) x é um país. (d) Ele e
Leia maisMatemática Discreta - 03
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 03 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisAULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE
Disciplina: Matemática Computacional Prof. Diana de Barros Teles AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Quantificadores: são frases do tipo para todo, ou para cada, ou para algum, isso é, frases
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Equivalências lógicas (Rosen 39) Negando expressões com quantificadores
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisExercícios Teóricos Resolvidos
Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática Exercícios Teóricos Resolvidos O propósito deste texto é tentar mostrar aos alunos várias maneiras de raciocinar
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores Agrupados Prioridade dos Quantificadores
Leia maisINSTITUTO TECNOLÓGICO
PAC - PROGRAMA DE APRIMORAMENTO DE CONTEÚDOS. ATIVIDADES DE NIVELAMENTO BÁSICO. DISCIPLINAS: MATEMÁTICA & ESTATÍSTICA. PROFº.: PROF. DR. AUSTER RUZANTE 1ª SEMANA DE ATIVIDADES DOS CURSOS DE TECNOLOGIA
Leia maisA motivação é fundamental
A motivação é fundamental A motivação é fundamental para se dedicar aos estudos. Quando a perdemos, nossa vontade de estudar diminui ou até desaparece. A seguir algumas dicas para manter a motivação para
Leia maisA otimização é o processo de
A otimização é o processo de encontrar a melhor solução (ou solução ótima) para um problema. Eiste um conjunto particular de problemas nos quais é decisivo a aplicação de um procedimento de otimização.
Leia maisPor que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,...
Por que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,... 0) O que veremos na aula de hoje? Um fato interessante Produtos notáveis Equação do 2º grau Como fazer a questão 5 da 3ª
Leia maisUniversidade Federal do Rio Grande do Norte. Centro De Ciências Exatas e da Terra. Departamento de Física Teórica e Experimental
Universidade Federal do Rio Grande do Norte Centro De Ciências Exatas e da Terra Departamento de Física Teórica e Experimental Programa de Educação Tutorial Curso de Nivelamento: Pré-Cálculo PET DE FÍSICA:
Leia maisLISTA BÁSICA MATEMÁTICA
LISTA BÁSICA Professor: ARGENTINO FÉRIAS: O ANO DATA: 0 / 06 / 0 MATEMÁTICA 6 0 6 +, + 4 é:. O valor de ( ) ( ) ( ) a) b) c) 7 d) 9 e). Considere a epressão numérica a) 9 b) 0 c) 8,00 d) 69 e) 9,00000
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores
Leia maisProg A B C A e B A e C B e C A,B e C Nenhum Pref 100 150 200 20 30 40 10 130
Polos Olímpicos de Treinamento Curso de Combinatória - Nível 2 Prof. Bruno Holanda Aula 2 Lógica II Quando lemos um problema de matemática imediatamente podemos ver que ele está dividido em duas partes:
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Quantificadores Agrupados; (Rosen 50) Traduzindo sentenças. Exercícios Quais as negações de: 1) Existe um político honesto 2) Todos os brasileiros comem
Leia maisSistemas de Apoio à Decisão
Sistemas de Apoio à Decisão Processo de tomada de decisões baseia-se em informação toma em consideração objectivos toma em consideração conhecimento sobre o domínio. Modelar o processo de tomada de decisões
Leia maisQUESTÕES COMENTADAS E RESOLVIDAS
LENIMAR NUNES DE ANDRADE INTRODUÇÃO À ÁLGEBRA: QUESTÕES COMENTADAS E RESOLVIDAS 1 a edição ISBN 978-85-917238-0-5 João Pessoa Edição do Autor 2014 Prefácio Este texto foi elaborado para a disciplina Introdução
Leia maisEscalas. Antes de representar objetos, modelos, peças, A U L A. Nossa aula. O que é escala
Escalas Introdução Antes de representar objetos, modelos, peças, etc. deve-se estudar o seu tamanho real. Tamanho real é a grandeza que as coisas têm na realidade. Existem coisas que podem ser representadas
Leia maisExercícios Adicionais
Exercícios Adicionais Observação: Estes exercícios são um complemento àqueles apresentados no livro. Eles foram elaborados com o objetivo de oferecer aos alunos exercícios de cunho mais teórico. Nós recomendamos
Leia maisExercícios resolvidos sobre Função de probabilidade e densidade de probabilidade
Exercícios resolvidos sobre Função de probabilidade e densidade de probabilidade Você aprendeu o que é função probabilidade e função densidade de probabilidade e viu como esses conceitos são importantes
Leia maisINE5403 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/59 2 - FUNDAMENTOS 2.1) Teoria dos Conjuntos 2.2) Números
Leia maisMD Sequências e Indução Matemática 1
Sequências Indução Matemática Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Sequências e Indução Matemática 1 Introdução Uma das tarefas mais importantes
Leia maisLista 1 para a P2. Operações com subespaços
Lista 1 para a P2 Observação 1: Estes exercícios são um complemento àqueles apresentados no livro. Eles foram elaborados com o objetivo de oferecer aos alunos exercícios de cunho mais teórico. Nós sugerimos
Leia maisI CAPÍTULO 19 RETA PASSANDO POR UM PONTO DADO
Matemática Frente I CAPÍTULO 19 RETA PASSANDO POR UM PONTO DADO 1 - RECORDANDO Na última aula, nós vimos duas condições bem importantes: Logo, se uma reta passa por um ponto e tem um coeficiente angular,
Leia maisÉ usual representar uma função f de uma variável real a valores reais e com domínio A, simplesmente por y=f(x), x A
4. Função O objeto fundamental do cálculo são as funções. Assim, num curso de Pré-Cálculo é importante estudar as idéias básicas concernentes às funções e seus gráficos, bem como as formas de combiná-los
Leia maisProbabilidade - aula I
e 27 de Fevereiro de 2015 e e Experimentos Aleatórios e Objetivos Ao final deste capítulo você deve ser capaz de: Entender e descrever espaços amostrais e eventos para experimentos aleatórios. Interpretar
Leia maisINTRODUÇÃO À LINGUAGEM C++
INTRODUÇÃO À LINGUAGEM C++ 1 - VARIÁVEIS Variáveis espaço de memória reservado para armazenar tipos de dados, com um nome para referenciar seu conteúdo. Observações importantes Todas as variáveis devem
Leia maisTestando e Comparando Valores
Testando e Comparando Valores A Instrução if Um dos recursos mais importantes de uma linguagem de computador é a capacidade de testar e comparar valores, permitindo que seu programa se comporte diferentemente
Leia maisCotagem de dimensões básicas
Cotagem de dimensões básicas Introdução Observe as vistas ortográficas a seguir. Com toda certeza, você já sabe interpretar as formas da peça representada neste desenho. E, você já deve ser capaz de imaginar
Leia maisUm jogo de preencher casas
Um jogo de preencher casas 12 de Janeiro de 2015 Resumo Objetivos principais da aula de hoje: resolver um jogo com a ajuda de problemas de divisibilidade. Descrevemos nestas notas um jogo que estudamos
Leia maisAula 13: Lógica de Predicados
Lógica para Computação Segundo Semestre, 2014 Aula 13: Lógica de Predicados DAINF-UTFPR Prof. Ricardo Dutra da Silva Na Lógica de Predicados existem símbolos que não ocorriam na lógica proposicional e
Leia maisUniversidade Federal do Paraná. Setor de Ciências Exatas. Departamento de Matemática
Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática Oficina de Calculadora PIBID Matemática Grupo do Laboratório de Ensino de Matemática Curitiba Agosto de 2013 Duração:
Leia maisCurvas em coordenadas polares
1 Curvas em coordenadas polares As coordenadas polares nos dão uma maneira alternativa de localizar pontos no plano e são especialmente adequadas para expressar certas situações, como veremos a seguir.
Leia maisRegras Métodos Identificadores Variáveis Constantes Tipos de dados Comandos de atribuição Operadores aritméticos, relacionais e lógicos
Lógica Aula 2 Técnicas de Programação Criando algoritmos Regras Métodos Identificadores Variáveis Constantes Tipos de dados Comandos de atribuição Operadores aritméticos, relacionais e lógicos Criando
Leia maisPropriedades das Funções Deriváveis. Prof. Doherty Andrade
Propriedades das Funções Deriváveis Prof Doerty Andrade 2005 Sumário Funções Deriváveis 2 Introdução 2 2 Propriedades 3 3 Teste da derivada segunda para máimos e mínimos 7 2 Formas indeterminadas 8 2 Introdução
Leia maisLinguagem e Técnicas de Programação I Tipos de dados, variáveis e constantes. Prof. MSc. Hugo Souza Material desenvolvido por: Profa.
Linguagem e Técnicas de Programação I Tipos de dados, variáveis e constantes Prof. MSc. Hugo Souza Material desenvolvido por: Profa. Ameliara Freire Tipos de dados Os programas manipulam dados, armazenando-os
Leia maisResolução da Prova de Raciocínio Lógico do TCE/SP, aplicada em 06/12/2015.
de Raciocínio Lógico do TCE/SP, aplicada em 6/12/215. Raciocínio Lógico p/ TCE-SP Na sequência, criada com um padrão lógico-matemático, (1; 2; 1; 4; 2; 12; 6; 48; 24;...) o quociente entre o 16º termo
Leia maisProcessos Estocásticos
Processos Estocásticos Terceira Lista de Exercícios 22 de julho de 20 Seja X uma VA contínua com função densidade de probabilidade f dada por Calcule P ( < X < 2. f(x = 2 e x x R. A fdp dada tem o seguinte
Leia maisCURSO: ADMINISTRAÇÃO Prof Dra. Deiby Santos Gouveia Disciplina: Matemática Aplicada OFERTA DE MERCADO
CURSO: ADMINISTRAÇÃO Prof Dra. Deiby Santos Gouveia Disciplina: Matemática Aplicada OFERTA DE MERCADO A oferta de uma mercadoria, a um dado preço, é a quantidade que os vendedores estão dispostos a oferecer
Leia maisBanco de Dados. Microsoft Access. Índice
Banco de Dados Microsoft Access PARTE 03 edição 2007 Índice 19-) Consulta... 27 20) Criando uma consulta... 27 21) Salvando a consulta... 28 22) Selecionando os campos das tabelas para a consulta... 29
Leia mais94 (8,97%) 69 (6,58%) 104 (9,92%) 101 (9,64%) 22 (2,10%) 36 (3,44%) 115 (10,97%) 77 (7,35%) 39 (3,72%) 78 (7,44%) 103 (9,83%)
Distribuição das 1.048 Questões do I T A 94 (8,97%) 104 (9,92%) 69 (6,58%) Equações Irracionais 09 (0,86%) Equações Exponenciais 23 (2, 101 (9,64%) Geo. Espacial Geo. Analítica Funções Conjuntos 31 (2,96%)
Leia maisIntrodução ao estudo de equações diferenciais
Matemática (AP) - 2008/09 - Introdução ao estudo de equações diferenciais 77 Introdução ao estudo de equações diferenciais Introdução e de nição de equação diferencial Existe uma grande variedade de situações
Leia maisAula 1: Introdução à Probabilidade
Aula 1: Introdução à Probabilidade Prof. Leandro Chaves Rêgo Programa de Pós-Graduação em Engenharia de Produção - UFPE Recife, 07 de Março de 2012 Experimento Aleatório Um experimento é qualquer processo
Leia maisConstrução dos números racionais, Números fracionários e operações com frações
Construção dos números racionais, Números fracionários e operações com frações O número racional pode ser definido a partir da aritmética fechamento da operação de divisão entre inteiros ou partir da geometria
Leia maisCoordenação Prof. Aurimenes Alves. 3º Domingo 24.8.14
3º Domingo 24.8.14 01.(rl-f-14) Um dia da semana é sábado ou domingo se, e somente se, naquele dia, eu como churrasco e não assisto a um filme. Portanto, se ontem foi uma terça-feira, eu, ontem A) não
Leia maisFila de Prioridade. Siang Wun Song - Universidade de São Paulo - IME/USP. MAC 5710 - Estruturas de Dados - 2008
MAC 5710 - Estruturas de Dados - 2008 Fila de prioridade Fila de prioridade é uma estrutura de dado que mantém uma coleção de elementos, cada um com uma prioridade associada. Valem as operações seguintes.
Leia maisponto P terá as projecções P 1 e P 2. E o eixo X passa para X. Vamos ver o que acontece no plano do
Mudança de planos 1- Introdução As projecções de uma figura só representam as suas verdadeiras grandezas se essa figura está contida num plano paralelo aos planos de projecção. Caso contrário as projecções
Leia maisUNIVERSIDADE FEDERAL DE. Programa de Mestrado em Ciência da
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Programa de Mestrado em Ciência da Computação Álgebra Relacional Disciplina : Sistema de Bancos de Dados - 1 0 Semestre 2009 Professora : Sandra Aparecida de Amo Lista
Leia maisMATEMÁTICA A - 12o Ano Probabilidades - Triângulo de Pascal Propostas de resolução
MATEMÁTICA A - 12o Ano Probabilidades - Triângulo de Pascal Propostas de resolução Exercícios de exames e testes intermédios 1. A linha do triângulo de Pascal em que a soma dos dois primeiros elementos
Leia mais. Determine os valores de P(1) e P(22).
Resolução das atividades complementares Matemática M Polinômios p. 68 Considere o polinômio P(x) x x. Determine os valores de P() e P(). x x P() 0; P() P(x) (x x)? x (x ) x x x P()? 0 P() ()? () () 8 Seja
Leia maisEstruturas de Repetição
Estruturas de Repetição Lista de Exercícios - 04 Algoritmos e Linguagens de Programação Professor: Edwar Saliba Júnior Estruturas de Repetição O que são e para que servem? São comandos que são utilizados
Leia maisÓTICA COM ÍNDICE DE REFRAÇÃO NEGATIVO
Ótica com Índice de Refração Negativo 1 ÓTICA COM ÍNDICE DE REFRAÇÃO NEGATIVO Walter S. Santos 1, Antonio Carlos F. Santos 2, Carlos Eduardo Aguiar 2 1 Colégio Pedro II, Rio de Janeiro 2 Instituto de Física,
Leia maisProposições compostas
Proposições compostas Nesta aula iremos rever o que são proposições e aplicar algumas regras que facilitarão o desenvolvimento de aplicações futuras. Negação de uma proposição composta Já sabemos negar
Leia maisMATEMÁTICA ENEM 2009 PROF. MARCELO CÓSER
MATEMÁTICA ENEM 09 PROF. MARCELO CÓSER Funções Lineares: problemas com variação constante. f(x) = ax + b VARIAÇÃO CONSTANTE VALOR INICIAL a > 0 a < 0 a y x 0) (UFRJ) Uma operadora de celular oferece dois
Leia maisSeminário de Avaliação Econômica de Projetos Sociais
Seminário de Avaliação Econômica de Projetos Sociais Elaine Toldo Pazello FEA-RP / USP Rio de Janeiro, 24/10/2007 Objetivo contextualizar as avaliações que serão apresentadas a seguir elas foram efetuadas
Leia mais29/Abril/2015 Aula 17
4/Abril/015 Aula 16 Princípio de Incerteza de Heisenberg. Probabilidade de encontrar uma partícula numa certa região. Posição média de uma partícula. Partícula numa caixa de potencial: funções de onda
Leia maisRoteiro SENAC. Análise de Riscos. Planejamento do Gerenciamento de Riscos. Planejamento do Gerenciamento de Riscos
SENAC Pós-Graduação em Segurança da Informação: Análise de Riscos Parte 2 Leandro Loss, Dr. Eng. loss@gsigma.ufsc.br http://www.gsigma.ufsc.br/~loss Roteiro Introdução Conceitos básicos Riscos Tipos de
Leia mais5 Instrução e integração
SEÇÃO 5 Instrução e integração no meio de trabalho Quando um novo funcionário entra para uma organização, é importante que ele receba um bom apoio para entender sua função e a organização. Instrução é
Leia maisPredicados e Quantificadores
Predicados e Quantificadores Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Predicados e Quantificadores junho - 2018 1 / 57 Este material é preparado usando
Leia maisProgramação científica C++
Programação científica C++ NIELSEN CASTELO DAMASCENO Slide 4 Aluno que não sabe programar int main() { cout
Leia maisITA - 2004 3º DIA MATEMÁTICA BERNOULLI COLÉGIO E PRÉ-VESTIBULAR
ITA - 2004 3º DIA MATEMÁTICA BERNOULLI COLÉGIO E PRÉ-VESTIBULAR Matemática Questão 01 Considere as seguintes afirmações sobre o conjunto U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} I. U e n(u) = 10 III. 5 U e {5}
Leia maisCálculo Numérico Faculdade de Engenharia, Arquiteturas e Urbanismo FEAU
Cálculo Numérico Faculdade de Engenharia, Arquiteturas e Urbanismo FEAU Prof. Dr. Sergio Pilling (IPD/ Física e Astronomia) II Métodos numéricos para encontrar raízes (zeros) de funções reais. Objetivos:
Leia maisTÉCNICAS DE PROGRAMAÇÃO
TÉCNICAS DE PROGRAMAÇÃO (Adaptado do texto do prof. Adair Santa Catarina) ALGORITMOS COM QUALIDADE MÁXIMAS DE PROGRAMAÇÃO 1) Algoritmos devem ser feitos para serem lidos por seres humanos: Tenha em mente
Leia maismatemática álgebra 2 potenciação, radiciação, produtos notáveis, fatoração, equações de 1 o e 2 o graus Exercícios de potenciação
matemática álgebra equações de o e o graus Exercícios de potenciação. (FUVEST ª Fase) Qual desses números é igual a 0,064? a) ( 80 ) b) ( 8 ) c) ( ) d) ( 800 ) e) ( 0 8 ). (GV) O quociente da divisão (
Leia maisFUNÇÃO DE 1º GRAU. = mx + n, sendo m e n números reais. Questão 01 Dadas as funções f de IR em IR, identifique com um X, aquelas que são do 1º grau.
FUNÇÃO DE 1º GRAU Veremos, a partir daqui algumas funções elementares, a primeira delas é a função de 1º grau, que estabelece uma relação de proporcionalidade. Podemos então, definir a função de 1º grau
Leia maisLÓGICA DE PROGRAMAÇÃO. Vitor Valerio de Souza Campos
LÓGICA DE PROGRAMAÇÃO Vitor Valerio de Souza Campos Exemplos de algoritmos Faça um algoritmo para mostrar o resultado da multiplicação de dois números. Algoritmo em descrição narrativa Passo 1 Receber
Leia maisOs gráficos estão na vida
Os gráficos estão na vida A UUL AL A Nas Aulas 8, 9 e 28 deste curso você já se familiarizou com o estudo de gráficos. A Aula 8 introduziu essa importante ferramenta da Matemática. A Aula 9 foi dedicada
Leia maisREPRESENTAÇÃO DE DADOS EM SISTEMAS DE COMPUTAÇÃO AULA 03 Arquitetura de Computadores Gil Eduardo de Andrade
REPRESENTAÇÃO DE DADOS EM SISTEMAS DE COMPUTAÇÃO AULA 03 Arquitetura de Computadores Gil Eduardo de Andrade O conteúdo deste documento é baseado no livro Princípios Básicos de Arquitetura e Organização
Leia maisFaculdade Sagrada Família
AULA 12 - AJUSTAMENTO DE CURVAS E O MÉTODO DOS MÍNIMOS QUADRADOS Ajustamento de Curvas Sempre que desejamos estudar determinada variável em função de outra, fazemos uma análise de regressão. Podemos dizer
Leia maisNome: N.º: endereço: data: Telefone: E-mail: PARA QUEM CURSA O 9 Ọ ANO EM 2014. Disciplina: MaTeMÁTiCa
Nome: N.º: endereço: data: Telefone: E-mail: Colégio PARA QUEM CURSA O 9 Ọ ANO EM 04 Disciplina: MaTeMÁTiCa Prova: desafio nota: QUESTÃO 6 A soma das medidas dos catetos de um triângulo retângulo é 8cm
Leia maisPotenciação no Conjunto dos Números Inteiros - Z
Rua Oto de Alencar nº 5-9, Maracanã/RJ - tel. 04-98/4-98 Potenciação no Conjunto dos Números Inteiros - Z Podemos epressar o produto de quatro fatores iguais a.... por meio de uma potência de base e epoente
Leia maisMATEMÁTICA 3. Resposta: 29
MATEMÁTICA 3 17. Uma ponte deve ser construída sobre um rio, unindo os pontos A e, como ilustrado na figura abaixo. Para calcular o comprimento A, escolhe-se um ponto C, na mesma margem em que está, e
Leia maisCapítulo 8. CICLOS. Tabela 8.1 Programa8a.f90.
Capítulo 8. CICLOS OBJETIVOS DO CAPÍTULO Conceito de ciclo Comandos do FORTRAN: DO END DO, EXIT 8.1 programa8a.f90 Para inicializar as atividades deste capítulo, deve-se executar: 1) Para acessar o programa
Leia maisCálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando
Leia maisMaterial Teórico - Módulo de Métodos sofisticados de contagem. Princípio das Casas dos Pombos. Segundo Ano do Ensino Médio
Material Teórico - Módulo de Métodos sofisticados de contagem Princípio das Casas dos Pombos Segundo Ano do Ensino Médio Prof. Cícero Thiago Bernardino Magalhães Prof. Antonio Caminha Muniz Neto Em Combinatória,
Leia maisMatemática Básica - 08. Função Logarítmica
Matemática Básica Função Logarítmica 08 Versão: Provisória 0. Introdução Quando calculamos as equações exponenciais, o método usado consistia em reduzirmos os dois termos da equação à mesma base, como
Leia maisAula 4 Estatística Conceitos básicos
Aula 4 Estatística Conceitos básicos Plano de Aula Amostra e universo Média Variância / desvio-padrão / erro-padrão Intervalo de confiança Teste de hipótese Amostra e Universo A estatística nos ajuda a
Leia maisEste procedimento gera contribuições não só a φ 2 e φ 4, mas também a ordens superiores. O termo por exemplo:
Teoria Quântica de Campos II 168 Este procedimento gera contribuições não só a φ 2 e φ 4, mas também a ordens superiores. O termo por exemplo: Obtemos acoplamentos com derivadas também. Para o diagrama
Leia maisMatemática Discreta para Computação e Informática
Matemática Discreta para Computação e Informática P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Computação e Informática
Leia maisSistemas Lineares. Módulo 3 Unidade 10. Para início de conversa... Matemática e suas Tecnologias Matemática
Módulo 3 Unidade 10 Sistemas Lineares Para início de conversa... Diversos problemas interessantes em matemática são resolvidos utilizando sistemas lineares. A seguir, encontraremos exemplos de alguns desses
Leia maisProgramação em papel quadriculado
4 NOME DA AULA: Programação em papel quadriculado Tempo de aula: 45 60 minutos Tempo de preparação: 10 minutos Objetivo principal: ajudar os alunos a entender como a codificação funciona. RESUMO Ao "programar"
Leia maisA semântica da Lógica de Predicados. (Capítulo 9) LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto
A semântica da Lógica de Predicados (Capítulo 9) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto 1. Definições 2. Estrutura 3 Interpretações mais elaboradas do que as da Lógica
Leia maisDistribuição de probabilidades
Luiz Carlos Terra Para que você possa compreender a parte da estatística que trata de estimação de valores, é necessário que tenha uma boa noção sobre o conceito de distribuição de probabilidades e curva
Leia maisAula 8.1 Conteúdo: Eletrodinâmica: Associação de resistores em série, potência elétrica de uma associação em série de resistores. INTERATIVIDADE FINAL
Aula 8.1 Conteúdo: Eletrodinâmica: Associação de resistores em série, potência elétrica de uma associação em série de resistores. Habilidades: Reconhecer as utilidades dos resistores elétricos, assim como,
Leia maisProf. Me. Marcos Echevarria
Prof. Me. Marcos Echevarria Já vimos que existem vários tipos de testes de software que podemos usar para que nossos sistemas tenham uma qualidade maior. Além disso, esses testes podem ser executados em
Leia maisProva de Admissão para o Mestrado em Matemática IME-USP - 23.11.2007
Prova de Admissão para o Mestrado em Matemática IME-USP - 23.11.2007 A Nome: RG: Assinatura: Instruções A duração da prova é de duas horas. Assinale as alternativas corretas na folha de respostas que está
Leia maisUniversidade Federal de São Carlos Departamento de Matemática 083020 - Curso de Cálculo Numérico - Turma E Resolução da Primeira Prova - 16/04/2008
Universidade Federal de São Carlos Departamento de Matemática 08300 - Curso de Cálculo Numérico - Turma E Resolução da Primeira Prova - 16/0/008 1. (0 pts.) Considere o sistema de ponto flutuante normalizado
Leia maisExercícios 1. Determinar x de modo que a matriz
setor 08 080509 080509-SP Aula 35 MATRIZ INVERSA Uma matriz quadrada A de ordem n diz-se invertível, ou não singular, se, e somente se, existir uma matriz que indicamos por A, tal que: A A = A A = I n
Leia maisGeometria Analítica Plana.
Geometria Analítica Plana. Resumo teórico e eercícios. 3º Colegial / Curso Etensivo. Autor - Lucas Octavio de Souza (Jeca) Estudo de Geometria Analítica Plana. Considerações gerais. Este estudo de Geometria
Leia mais24/Abril/2013 Aula 19. Equação de Schrödinger. Aplicações: 1º partícula numa caixa de potencial. 22/Abr/2013 Aula 18
/Abr/013 Aula 18 Princípio de Incerteza de Heisenberg. Probabilidade de encontrar uma partícula numa certa região. Posição média de uma partícula. Partícula numa caixa de potencial: funções de onda e níveis
Leia maisFGV-EAESP PROVA DE RACIOCÍNIO MATEMÁTICO CURSO DE GRADUAÇÃO AGOSTO/2004
QUESTÃO 1. Numa cidade do interior do estado de São Paulo, uma prévia eleitoral entre 2.000 filiados revelou as seguintes informações a respeito de três candidatos A, B, e C, do Partido da Esperança (PE)
Leia maisMatemática Discreta - 02
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 02 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisLista de Exercícios 03
Lista de Exercícios 03 Aplicações das relações e funções no cotidiano Ao lermos um jornal ou uma revista, diariamente nos deparamos com gráficos, tabelas e ilustrações. Estes, são instrumentos muito utilizados
Leia mais