Língua Natural EXERCÍCIOS RESOLVIDOS
|
|
- Sabina Castro Alencastre
- 6 Há anos
- Visualizações:
Transcrição
1 Mestrado em Engenharia Informática e de Computadores Língua Natural EXERCÍCIOS RESOLVIDOS (Linguagem Lambda) 3ª Edição Nuno Mamede Maio 2010 Departamento de Engenharia Informática Instituto Superior Técnico
2 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 2 Í NDICE ENUNCIADOS 3 SOLUÇÕES 7 Problema 1 - Substituição de variáveis...7 Problema 2 - Redução Beta...7 Problema 3 - Numerais (adição e multiplicação)...8 Problema 4 - Numerais (zero?)...9 Problema 5 - Condicional...10 Problema 6 - Cálculo combinatório (simplificação)...11 Problema 7 - Cálculo combinatório (simplificação)...11 Problema 8 - Combinador B...11 Problema 9 - Combinador F...11 Problema 10 - Combinador W...12 Problema 11 - Algoritmo de abstracção (combinadores M, T e B)...12 Problema 12 - Algoritmo de abstracção (λg.λy.g y y)...12 Problema 13 - Algoritmo de abstracção (factorial)...13 Problema 14 - Combinador de pontos fixos...13 Problema 15 - Cálculo de 6!...13 Problema 16 - Numerais (predecessor)...15
3 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 3 ENUNCIADOS Problema 1 - Substituição de variáveis Calcule as seguintes substituições de variáveis: (a) [λz.λy.(y z)/x] ((λu.x u)(u x)) (b) [λu.(y u)/x] (λy.(x y)) (c) [2/z] λy.(λx.x y z) λz.z y Problema 2 - Redução Beta Aplicando redução- simplifique os seguintes termos: (a) (λu.u u)(λu.u u) (b) (λy.(λz.w)y) ((λu.u u) (λu.u u)) (c) (λz.λy.λx.y(z x)) p q r (d) (λz.λy.λx.y z) (z y) (u x) y (e) (λx.λy.x (y y)) (λz.x (z z)) (λu.λv.u) w Problema 3 - Numerais (adição e multiplicação) Considere a seguinte representação em termos lambda dos numerais: 0 = λf.λx.x 1 = λf.λx.f x 2 = λf.λx.f (f x) n = λf.λx.(f n x) onde f n x exprime a aplicação de f a x exactamente n vezes. e a seguinte representação em termos lambda: mais = λn.λm.λf.λx.n f (m f x) vezes = λn.λm.λf.n (m f) Prove que: (a) mais 1 2 = 3 (b) vezes 1 1 = 1 (c) vezes 2 1 = 2 (d) vezes 3 2 = 6 Problema 4 - Numerais (zero?) Considere as representações apresentadas no Problema 3 e as seguintes: zero? = λx.x (λy.λz.falso) (λx.x) verd falso = λx.λy.y verd = λx.λy.x
4 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 4 Prove que: (a) zero? 3 = falso (b) zero? 2 = falso (c) zero? 1 = falso (d) zero? 0 = verd Problema 5 - Condicional Considere a seguinte representação em termos lambda: falso = λx.λy.y verd = λx.λy.x se = λx.x Prove que: (a) se verd 1 2 = 1 (b) se falso 1 2 = 2 Problema 6 - Cálculo combinatório (simplificação) Simplifique o máximo que puder a seguinte expressão: S (S (K S) (S (K K) K)) (K (S K K)) M N Problema 7 - Cálculo combinatório (simplificação) Simplifique o máximo que puder a seguinte expressão: S (B B S) (K K) M N O em que: B M N O -> M (N O) Problema 8 - Combinador B Sabendo que B M N O -> M (N O) mostre que o combinador E M N O P Q -> M N (O P Q) é equivalente a: B(B B B). Problema 9 - Combinador F Mostre que o combinador F M N O -> O N M é equivalente a: B(B(T(B B T)) (B B T)) (B B T) em que: B M N O -> M (N O) T M N -> N M Problema 10 - Combinador W Seja W o combinador com o seguinte esquema de redução: Prove que W = SS(KI) W M N -> M N N Problema 11 - Algoritmo de abstracção (combinadores M, T e B) Exprima em termos de S, K e I os seguintes combinadores: (a) M O -> O O (b) T M N -> N M (c) B M N O -> M (N O) Problema 12 - Algoritmo de abstracção (lg.ly.g y y) Elimine variáveis e abstracções no programa: λg.λy.g y y Confirme o resultado.
5 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 5 Problema 13 - Algoritmo de abstracção (factorial) Elimine variáveis e abstracções no programa: λx.se (zero? x) 1 (vezes x( f (pred x 1))) Problema 14 - Combinador de pontos fixos Mostre que o seguinte combinador é um determinante de pontos fixos: λf.(λg.λx.f (g g) x) (λg.λx.f (g g) x) Problema 15 - Cálculo de 6! Mostre que: Y (λf.λn.se (zero? n) 1 (vezes n (f (pred n)))) 3 = 6 Em que Y é o determinante de pontos fixos: Y = λf.(λx.f (x x)) (λx.f (x x))
6 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 6 Problema 16 - Numerais (predecessor) Considere as representações apresentadas no Problema 3 e que: pred = Y??????????? Em que Y é o determinante de pontos fixos: Y = λf.(λx.f (x x)) (λx.f (x x)) Prove que: (a) pred 3 = 2 (b) pred 2 = 1 (c) pred 1 = 0
7 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 7 SOLUÇÕES Problema 1 - Substituição de variáveis (a) [λz.λy.(y z)/x]((λu.x u)(u x)) = ([λz.λy.(y z)/x](λu.x u) [λz.λy.(y z)/x](u x)) = ([λz.λy.(y z)/x](λu.x u) ([λz.λy.(y z)/x]u [λz.λy.(y z)/x]x)) = ([λz.λy.(y z)/x](λu.x u) (u (λz.λy.(y z)))) = ((λu.[λz.λy.(y z)/x](x u) (u (λz.λy.(y z)))) = ((λu.([λz.λy.(y z)/x]x [λz.λy.(y z)/x]u) (u (λz.λy.(y z)))) = ((λu.(λz.λy.(y z)) u) (u (λz.λy.(y z)))) (b) [λu.(y u)/x] (λy.(x y)) = [λu.(y u)/x](λz.(x z)) = (λz.[λu.(y u)/x](x z)) = (λz.([λu.(y u)/x]x [λu.(y u)/x]z)) = (λz.((λu.(y u)) z)) (c) [2/z] λy.(λx.x y z) λz.z y = λy.[2/z]((λx.x y z) (λz.z y) = λy.[2/z](λx.x y z) [2/z](λz.z y) = λy.[2/z](λx.x y z) (λz.z y) = λy.(λx.[2/z]((x y) z)) (λz.z y) = λy.(λx.[2/z](x y) [2/z]z))(λz.z y) = λy.(λx.x y 2) (λz.z y) = λy.(λx.x y 2) λz.z y Problema 2 - Redução Beta (a) (λu.u u)(λu.u u) [λu.u u/u] (u u) = (λu.u u)(λu.u u) [λu.u u/u] (u u) = (λu.u u)(λu.u u) (λu.u u)(λu.u u) (b) (λy.(λz.w)y) ((λu.u u) (λu.u u)) [((λu.u u) (λu.u u))/y]((λz.w)y) = (λz.w) ((λu.u u) (λu.u u)) [((λu.u u) (λu.u u))/z] (w) = w (c) (λz.λy.λx.y(z x)) p q r [p/z](λy.λx.y(z x)) q r = (λy.λx.y (p x)) q r
8 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 8 [q/y](λx.y (p x)) r = (λx.q (p x)) r [r/x](q (p x)) = q (p r) (d) (λz.λy.λx.y z) (z y) (u x) y [(z y)/z](λy.λx.y z)) (u x) y = [(z y)/z](λy.λx.y z)) (u x) y = (λw.[(z y)/z][w/y](λx.y z)) (u x) y = (λw.[(z y)/z](λx.w z)) (u x) y = (λw.[(z y)/z](λx.w z)) (u x) y = (λw.λx.w (z y)) (u x) y [(u x)/w](λx.w (z y)) y = (λv.[(u x)/w][v/x](w (z y)) y = (λv.[(u x)/w](w (z y)) y = (λv.(u x) (z y)) y [y/v]((u x) (z y)) = (u x) (z y) (e) (λx.λy.x (y y)) (λz.x (z z)) (λu.λv.u) w (λy.(λz.x (z z)) (y y)) (λu.λv.u) w (λy.x ((y y) (y y))) (λu.λv.u) w x (((λu.λv.u) (λu.λv.u)) ((λu.λv.u) (λu.λv.u))) w x ((λv.(λu.λv.u)) (λv.(λu.λv.u))) w x (λu.λv.u) w Problema 3 - Numerais (adição e multiplicação) (a) mais 1 2 = 3 (λn.λm.λf.λx.n f (m f x)) (λf.λx.f x) (λf.λx.f (f x)) (λm.λf.λx.(λf.λx.f x) f (m f x)) (λf.λx.f (f x)) (λm.λf.λx.(λx.f x) (m f x)) (λf.λx.f (f x)) (λm.λf.λx.f (m f x)) (λf.λx.f (f x)) λf.λx.f ((λf.λx.f (f x)) f x) λf.λx.f ((λx.f (f x)) x) λf.λx.f (f (f x)) = 3 (b) vezes 1 1 = 1 (λn.λm.λf.n (m f)) (λf.λx.f x) (λf.λx.f x) (λm.λf.(λf.λx.f x) (m f)) (λf.λx.f x) (λm.λf.(λx.(m f) x)) (λf.λx.f x) λf.λx.(λf.λx.f x) f x λf.λx.(λx.f x) x λf.λx.f x = 1 (c) vezes 2 1 = 2
9 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 9 (λn.λm.λf.n (m f)) (λf.λx.f (f x)) (λf.λx.f x) (λm.λf.(λf.λx.f (f x)) (m f)) (λf.λx.f x) (λm.λf.(λx.(m f) ((m f) x))) (λf.λx.f x) (λm.λf.λx.m f ((m f) x)) (λf.λx.f x) λf.λx.(λf.λx.f x) f (((λf.λx.f x) f) x) λf.λx.(λx.f x) (((λf.λx.f x) f) x) λf.λx.(λx.f x) ((λx.f x) x) λf.λx.(λx.f x) (f x) λf.λx.f (f x) = 2 (d) vezes 3 2 = 6 (λn.λm.λf.n (m f)) (λf.λx.f (f (f x)) (λf.λx.f (f x)) (λm.λf.(λf.λx.f (f (f x))) (m f)) (λf.λx.f (f x)) (λm.λf.(λx.(m f) ((m f) ((m f) x))) (λf.λx.f (f x)) λf.(λx.((λf.λx.f(f x))f) (((λf.λx.f(f x))f)(((λf.λx.f(f x))f)x))) λf.λx.((λf.λx.f(f x))f) (((λf.λx.f(f x))f) (((λf.λx.f(f x))f)x)) λf.λx.(λx.f (f x)) ((λx.f (f x)) ((λx.f (f x)) x)) λf.λx.f (f ((λx.f (f x)) ((λx.f (f x)) x))) λf.λx.f (f (f (f ((λx.f (f x)) x)))) λf.λx.f (f (f (f (f (f x))))) = 6 Problema 4 - Numerais (zero?) (a) zero? 3 = falso (λx.x (λy.λz.falso) (λx.x) verd) (λf.λx.f (f (f x))) (λf.λx.f (f (f x))) (λy.λz.falso) (λx.x) verd λx.(λy.λz.falso) ((λy.λz.falso) ((λy.λz.falso) x)) (λx.x) verd λx.(λz.falso) (λx.x) verd λx.falso verd λx.(λx.λy.y) (λx.λy.x) λx.λy.y = falso
10 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 10 (b) zero? 2 = falso (λx.x (λy.λz.falso) (λx.x) verd) (λf.λx.f (f x)) (λf.λx.f (f x)) (λy.λz.falso) (λx.x) verd λx.(λy.λz.falso) ((λy.λz.falso) x) (λx.x) verd λx.(λz.falso) (λx.x) verd λx.falso verd λx.(λx.λy.y) (λx.λy.x) λx.λy.y = falso (c) zero? 1 = falso (λx.x (λy.λz.falso) (λx.x) verd) (λf.λx.f x) (λf.λx.f x) (λy.λz.falso) (λx.x) verd λx.((λy.λz.falso) x) (λx.x) verd λx.(λz.falso) (λx.x) verd λx.falso verd λx.(λx.λy.y) (λx.λy.x) λx.λy.y = falso (d) zero? 0 = verd (λx.x (λy.λz.falso) (λx.x) verd) (λf.λx.x) (λf.λx.x) (λy.λz.falso) (λx.x) verd λx.x (λx.x) verd (λx.x) verd verd Problema 5 - Condicional (a) se verd 1 2 = 1 (λx.x) (λx.λy.x) 1 2 (λx.λy.x) 1 2 (λy.1) 2 (λy.1) 2 1 (b) se falso 1 2 = 2 (λx.x) (λx.λy.y) 1 2 (λx.λy.y) 1 2
11 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 11 (λy.y) 2 2 Problema 6 - Cálculo combinatório (simplificação) S (S (K S) (S (K K) K)) (K (S K K)) M N = (S (K S) (S (K K) K)) M ((K (S K K)) M) N = S (K S) (S (K K) K) M (K (S K K) M) N = S (K S) (S (K K) K) M (S K K) N = (K S M) ((S (K K) K) M) (S K K) N = S (S (K K) K M) (S K K) N = S ((K K M) (K M)) (S K K) N = S (K (K M)) (S K K) N = (K (K M) N) (S K K N) = (K M) (S K K N) = K M (S K K N) = M Problema 7 - Cálculo combinatório (simplificação) S (B B S) (K K) M N O = (B B S M) (K K M) N O = (B B S M) K N O = B (S M) K N O = (S M) (K N) O = S M (K N) O = M O (K N O) = M O N Problema 8 - Combinador B B (B B B) M N O P Q = (B B B) (M N) O P Q = B B B (M N) O P Q = B (B (M N)) O P Q = (B (M N)) (O P) Q = B (M N) (O P) Q = (M N) ((O P) Q) = M N ((O P) Q) = M N (O P Q) Problema 9 - Combinador F B (B (T (B B T)) (B B T)) (B B T) M N O = (B (T (B B T)) (B B T)) (B B T M) N O = B (T (B B T)) (B B T) (B B T M) N O = B (T (B B T)) (B B T) (B (T M)) N O = (T (B B T)) ((B B T) (B (T M))) N O = T (B B T) (B B T (B (T M))) N O = T (B B T) (B (T (B (T M)))) N O = (B (T (B (T M)))) (B B T) N O = B (T (B (T M))) (B B T) N O = (T (B (T M))) (B B T N) O = T (B (T M)) (B (T N)) O = (B (T N)) (B (T M)) O
12 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 12 = B (T N) (B (T M)) O = (T N) (B (T M) O) = T N (B (T M) O) = (B (T M) O) N = B (T M) O N = (T M) (O N) = T M (O N) = (O N) M = O N M Problema 10 - Combinador W S S (KI) M N = S M ((K I) M) N = S M (K I M) N = S M I N = M N (I N) = M N N Problema 11 - Algoritmo de abstracção (combinadores M, T e B) (a) M O -> O O M <-> λx.x x x [x x] = S x [x] x [x] = S (S K K) (S K K) = S I I, Logo, M = S I I (b) T M N -> N M T <-> λx.λy.y x x [ y [y x]] = x [ S y [y] y [x] ] = x [ S I (K x) ] = S x [S I] x [K x] (c) B M N O -> M (N O) = S (K (S I)) K, Logo, T = S (K(S I)) K B <-> λx.λy.λz.x (y z) z [ y [ z [x (y z)] ] ] = x [ y [ (S z [x] [(y z)]) ] ] z = x [ y [ S (K x) y ] ] = x [ S (K x) ] = S x [S] x [K x] = S (K S) K, Logo, B = S (K S) K Problema 12 - Algoritmo de abstracção (λg.λy.g y y) λg.λy.g y y g [ y [g y y] ] = g [ S y [g y] y [y] ] = g [ S g I ]
13 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 13 = S g [S g] g [I] = S S (K I) Verificação: (λg.λy.g y y) M N (λy.m y y) N M N N S S (K I) M N = S M (K I M) N = S M I N = M N (I N) = M N N Problema 13 - Algoritmo de abstracção (factorial) λx.se (zero? x) 1 (vezes x( f (pred x))) [se (zero? x) 1 (vezes x (f (pred x)))] x = S x [se (zero? x) 1] x [vezes x (f (pred x))] = S (S x [se (zero? x)] x [1]) (S x [vezes x] x [f (pred x)]) = S (S (S x [se] x [zero? x]) x [1]) (S vezes (S x [f] x [pred x])) = S (S (S (K se) zero?) (K 1)) (S vezes (S (K f) pred)) = S (S (S (K se) zero?) (K 1)) (S vezes (S (K f) pred)) Problema 14 - Combinador de pontos fixos Se Pfixo = λf.(λg.λx.f (g g) x) (λg.λx.f (g g) x) é um combinador de pontos fixos então temos de provar que: (Pfixo E) = E (Pfixo E) (λf.(λg.λx.f (g g) x) (λg.λx.f (g g) x)) E (λf.(λx.f ((λg.λx.f (g g) x) (λg.λx.f (g g) x)) x) ) E (λf.f ((λg.λx.f (g g) x) (λg.λx.f (g g) x))) E η E [E/f]((λg.λx.f (g g) x) (λg.λx.f (g g) x)) E ((λf.(λg.λx.f (g g) x) (λg.λx.f (g g) x)) E) = E (Pfixo E) Problema 15 - Cálculo de 6! Vamos representar (λf.λn.se (zero? n) 1 (vezes n (f (pred n)))) por FACT Como Y é um determinante de pontos fixos: (Y FACT) = FACT (Y FACT) (λf.λn.se (zero? n) 1 (vezes n (f (pred n)))) (Y FACT) 3 λn.se (zero? n) 1 (vezes n ((Y FACT) (pred n))) 3 se (zero? 3) 1 (vezes 3 ((Y FACT) (pred 3))) Recordando o Problema 4a e Problema 5b, obtém-se: vezes 3 ((Y FACT) (pred 3)) No
14 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 14 Problema 16 mostra-se que (pred 3) é equivalente a 2; assim a expressão anterior simplifica-se: vezes 3 ((Y FACT) 2) Reinicia-se uma nova iteração (não esquecer que Y é um determinante de pontos fixos): vezes 3 (FACT (Y FACT) 2) = vezes 3 ((λf.λn.se (zero? n) 1 (vezes n (f (pred n)))) (Y FACT) 2) vezes 3 (λn.se (zero? n) 1 (vezes n ((Y FACT) (pred n))) 2) vezes 3 (se (zero? 2) 1 (vezes 2 ((Y FACT) (pred 2)))) * vezes 3 (vezes 2 ((Y FACT) 1)) Nova iteração: vezes 3 (vezes 2 (FACT (Y FACT) 1) = vezes 3 (vezes 2 ((λf.λn.se (zero? n) 1 (vezes n (f (pred n)))) (Y FACT) 1) vezes 3 (vezes 2 (λn.se (zero? n) 1 (vezes n ((Y FACT) (pred n))) 1) vezes 3 (vezes 2 (se (zero? 1) 1 (vezes 1 ((Y FACT) (pred 1)))) * vezes 3 (vezes 2 (vezes 1 ((Y FACT) 0)) E mais uma: vezes 3 (vezes 2 (vezes 1 (FACT (Y FACT) 0) = vezes 3 (vezes 2 (vezes 1 ((λf.λn.se (zero? n)1(vezes n(f(pred n)))) (Y FACT)0) vezes 3 (vezes 2 (vezes 1 (λn.se (zero? n) 1 (vezes n ((Y FACT) (pred n))) 0) vezes 3 (vezes 2 (vezes 1 (se (zero? 0) 1 (vezes 0 ((Y FACT) (pred 0)))) * vezes 3 (vezes 2 (vezes 1 1)) No Problema 3 já verificámos que: vezes 3 (vezes 2 (vezes 1 1)) = 6
15 PLF - Programação Funcional (Linguagem Lambda) - Exercícios resolvidos 15 Problema 16 - Numerais (predecessor) (a) pred 3 = 2??? (b) pred 2 = 1??? (c) pred 1 = 0???
Cálculo Lambda Sem Tipos
Cálculo Lambda Sem Tipos Cálculo lambda sem tipos Peter Landin (60 s) observou que uma linguagem de programação pode ser compreendida formulando-a em um pequeno núcleo capturando suas características essenciais
Leia maisProgramação Funcional - Introdução a Cálculo Lambda
Programação Funcional - Introdução a Cálculo Lambda Cristiano Damiani Vasconcellos Universidade do Estado de Santa Catarina 1. Definição Cálculo lambda (λ-cálculo) é um modelo matemático capaz de ilustrar
Leia maisMódulo I: λ-calculus. MCC - 2 o ano. Departamento de Informática Universidade do Minho. Módulo I: λ-calculus 0. 2 o semestre
Módulo I: λ-calculus 0 Módulo I: λ-calculus MCC - 2 o ano José Bernardo Barros (jbb@di.uminho.pt) José Carlos Bacelar Almeida (bacelar@di.uminho.pt) Departamento de Informática Universidade do Minho Módulo
Leia maisMinicurso 1 Uma introdução ao cálculo lambda e a linguagens de programação funcionais
Minicurso 1 Uma introdução ao cálculo lambda e a linguagens de programação funcionais Rodrigo Machado rma@infufrgsbr 2/68 Conteúdo Ideias iniciais Cálculo lambda Sintaxe Operação de substituição Equivalência
Leia maisMódulo II: Implementação do λ-calculus
Módulo II: Implementação do λ-calculus 0 Módulo II: Implementação do λ-calculus MCC - 2 o ano José Bernardo Barros (jbb@di.uminho.pt) José Carlos Bacelar Almeida (bacelar@di.uminho.pt) Departamento de
Leia maisApontamentos de matemática 6.º ano Decomposição de um número em fatores primos
Divisores de um número (revisão do 5.º ano) Os divisores de um número são os números naturais pelos quais podemos dividir esse número de forma exata (resto zero). Exemplos: Os divisores de 4 são 1, 2 e
Leia maisCentro Universitário do Triângulo
Centro Universitário do Triângulo Cálculo Lambda 1. Introdução A elaboração de modelos de computação (resolução de problemas por uma máquina) baseia-se em trabalhos de dois pesquisadores com enfoques bastante
Leia maisFundamentos de Cálculo Lambda
Instituto Superior Técnico Universidade Técnica de Lisboa Lisboa, 2 de Novembro de 2006 Índice Introdução Aplicação e Abstracção Axiomática Aplicação Introdução Aplicação e Abstracção Axiomática FA F é
Leia maisNelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 17
Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 17 Nelma Moreira (DCC-FC) Fundamentos de Linguagens
Leia maisActividade Formativa 1
Actividade Formativa 1 Resolução 1. a. Dada a função y 3+4x definida no conjunto A {x R: 2 x < 7} represente graficamente A e a sua imagem; exprima a imagem de A como um conjunto. b. Dada a função y 3
Leia maisFunções Recursivas. Prof.: Edson Holanda Teoria da computação - Diverio e Menezes
Funções Recursivas Prof.: Edson Holanda edsonholanda@gmail.com Teoria da computação - Diverio e Menezes Tipos de Formalismos Operacional Define-se uma máquina abstrata, baseada em estados, em instruções
Leia maisALGORITMOS E LÓGICA DE PROGRAMAÇÃO PRÉ AULA DIAGNÓSTICO 22/10/2015. Analise o algoritmo a seguir e depois assinale a alternativa correspondente:
ALGORITMOS E LÓGICA DE PROGRAMAÇÃO Prof. Esp. Fabiano Taguchi http://fabianotaguchi.wordpress.com fabianotaguchi@gmail.com PRÉ AULA Julgue as afirmações enumeradas a seguir em verdadeiras (V) ou falsas
Leia maisMétodos Numéricos - Notas de Aula
Métodos Numéricos - Notas de Aula Prof a Olga Regina Bellon Junho 2007 Introdução Sistemas Lineares Sistemas lineares são sistemas de equações com m equações e n incógnitas formados por equações lineares,
Leia maisGABARITO PROVA P2 CALCULO 2 2/2017. (Em cada questão não é necessário reproduzir cálculos feitos em questão anterior) Questão 1 (1,5 ponto).
17/11/017 GABARITO PROVA P CALCULO /017 PROF: RENATO FERREIRA DE VELLOSO VIANNA Em cada questão não é necessário reproduzir cálculos feitos em questão anterior) Questão 1 1,5 ponto). { Considere as funções:
Leia maisFormação Continuada Nova Eja. Plano de Ação II INTRODUÇÃO
Nome: Armando dos Anjos Fernandes Formação Continuada Nova Eja Plano de Ação II Regional: Metro VI Tutor: Deivis de Oliveira Alves Este plano de ação contemplará as unidades 29 e 30. Unidade 29 I - Matrizes
Leia maisNelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 20
Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 20 Nelma Moreira (DCC-FC) Fundamentos de Linguagens
Leia maisAnálise de Algoritmos Estrutura de Dados II
Centro de Ciências Exatas, Naturais e de Saúde Departamento de Computação Análise de Algoritmos Estrutura de Dados II COM10078 - Estrutura de Dados II Prof. Marcelo Otone Aguiar marcelo.aguiar@ufes.br
Leia maisFundamentos de Programação
Fundamentos de Programação Solução do Segundo Teste 23 de Janeiro de 2012 09:00 10:30 Nome: Número: 1. (1.0) Explique em que consiste a abstracção de dados, usando os termos barreiras de abstracção, encapsulação
Leia maisProva. t ::= t t. t 1 t 4 t 2 t 3 (t 1 t 2 ) (t 3 t 4 ) (t 2 t 1 ) (t 4 t 3 )
Sistema de Tipos - II/UFRGS 1 1. Marque verdadeiro ou falso: Prova ( ) A relação de avaliação small-step deve ser determinística (ou seja para qualquer termo deve existir somente uma maneira para ele progredir
Leia maissemana 03/05/2014 a 09/05/2014 semana 10/05/2014 a 16/05/2014 semana 17/05/2014 a 23/05/ e 25/05/2014
semana 03/05/2014 a 09/05/2014 semana 10/05/2014 a 16/05/2014 semana 17/05/2014 a 23/05/2014 24 e 25/05/2014 PROGRAMAÇÃO DE 03/05/2014 a 09/05/2014 PROGRAMAÇÃO DE 03/05/2014 a 09/05/2014 PROGRAMAÇÃO DE
Leia maisUtilização do Conjunto de Cantor para a resolução da Torre de Hanoi
Utilização do Conjunto de Cantor para a resolução da Torre de Hanoi Filipe Daniel Lemos FEUP 030509045 Dezembro de 2004 Resumo Segundo trabalho para a cadeira de Física dos sitemas dinâmicos do curso de
Leia maisALGORITMOS E ESTRUTURA DE DADOS
ALGORITMOS E ESTRUTURA DE DADOS Algoritmos Tipos de Dados Prof. André Peixoto - Todo o trabalho realizado por um computador é baseado na manipulação dos dados/informações contidas em sua memória. Podemos
Leia maisIntrodução à Programação Funcional
Introdução à Programação Funcional PPGIA - PUCPR Prof. Fabrício Enembreck 1 Conteúdo Introdução ao Cálculo Lambda e à Programação Funcional Introdução ao LISP e ao CLisp Funções Lambda e binding Funções
Leia maisRedução de grafos. Pedro Vasconcelos. 4 de Março de 2014
Redução de grafos Pedro Vasconcelos 4 de Março de 2014 Semântica estrita vs. não-estrita Como implementar ((λx. M) N)? Semântica estrita Call-by-value avaliar N uma vez (mesmo quando não usado) Semântica
Leia maisFluxogramas e variáveis
Fluxogramas e variáveis Patrícia de Siqueira Ramos UNIFAL-MG, campus Varginha 11 de Março de 2019 Patrícia de Siqueira Ramos Fundamentos da programação 1 / 20 Fases de um algoritmo Patrícia de Siqueira
Leia mais30 de setembro de 2015
Página 1 / 6 Ficha de Avaliação Sumativa de Matemática A Colégio ACR de Fornelos - Ensino Secundário - 10.º Ano 6 Páginas Duração da Prova: 90 minutos 30 de setembro de 2015 Indique de forma legível a
Leia mais216 e) 10 1 = 10 f) (-0,4) 0 = 1 g) (-4,3) 1 = - 4,3
1 Prof. Ranildo Lopes U. E. PROFª HELENA CARVALHO Obrigado pela preferência de nossa ESCOLA! Pegue o material no http://uehelenacarvalho.wordpress.com ESTUDANDO A POTENCIAÇÃO E SUAS PROPRIEDADES POTENCIAÇÃO
Leia maisMETA-MODELO FUNCIONAL PARA RECUPERAÇÃO DE INFORMAÇÃO
Universidade Federal de Uberlândia Faculdade de Computação Programa de Pós-Graduação em Ciência da Computação META-MODELO FUNCIONAL PARA RECUPERAÇÃO DE INFORMAÇÃO BASEADO EM λ-cálculo Daniel Gonzaga dos
Leia maisElementos 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 maisCircuitos Digitais Primeira Lista de Exercícios
Circuitos Digitais Primeira Lista de Exercícios Observação: o início da lista é composto dos exercícios recomendados do livro-texto. Os exercícios nas últimas duas páginas da lista são novos (não estão
Leia maisVariável. Expressões. Atribuição. Tipos básicos Declaração. Aritméticas Lógicas. Professor Leandro Augusto Frata Fernandes
Programação de Computadores III Aula 3 Professor Leandro Augusto Frata Fernandes laffernandes@ic.uff.br Material disponível em http://www.ic.uff.br/~laffernandes/teaching/2011.1/tcc-03.063 Roteiro da Aula
Leia maisWorking 03 : Conceitos Básicos II
Universidade Federal do Espirito Santo Centro Tecnologico Working 03 : Conceitos Básicos II Objetivos: Dominar a construção de estruturas de seleção em C; Aperfeiçoarse na resolução de problemas, da primeira
Leia maisIntrodução à Lógica de Programação
Introdução à Lógica de Programação Não estamos aqui para sobreviver e sim para explorar a oportunidade de vencer adquirindo o saber! (Autor Desconhecido) A lógica é a arte de pensar correctamente e, visto
Leia maisUnidade 5: Introdução à Programação com Python Prof. Daniel Caetano
Informática para Engenharia 1 Unidade 5: Introdução à Programação com Python Prof. Daniel Caetano Objetivo: Explicitar os elementos básicos envolvidos na programação com a linguagem Python. Bibliografia:
Leia maisAgenda do Dia Aula 14 (19/10/15) Sistemas Lineares: Introdução Classificação
Agenda do Dia Aula 14 (19/10/15) Sistemas Lineares: Introdução Classificação Sistemas Lineares Sistemas lineares são sistemas de equações com m equações e n incógnitas formados por equações lineares. Um
Leia maisPrimeira Prova de Linguagens de Programação - DCC024 -
Primeira Prova de Linguagens de Programação - DCC024 - Ciência da Computação Nome: Eu dou minha palavra de honra que não trapacearei neste exame. Número de matrícula: As regras do jogo: A prova é sem consulta.
Leia maisESTRUTURA DE DADOS. Aula 2 Conceitos Básicos da Linguagem Java Professor MSc. Ariel da Silva Dias Complexo Educacional FMU
ESTRUTURA DE DADOS Aula 2 Conceitos Básicos da Linguagem Java Professor MSc. Ariel da Silva Dias Complexo Educacional FMU AULA DE HOJE Operadores de Atribuição Operadores Aritméticos Operadores Relacionais
Leia maisAula 4B. Lógica e Algoritmos. Profª. Fabiany
Fundamentos de Programação 1 Aula 4B Lógica e Algoritmos. Profª. Fabiany Lógica A lógica de programação é a técnica de encadear pensamentos para atingir determinado objetivo. Sequência Lógica São passos
Leia maisIntrodução aos Algoritmos
Introdução aos Algoritmos Aula 05 Diogo Pinheiro Fernandes Pedrosa http://www2.ufersa.edu.br/portal/professor/diogopedrosa diogopedrosa@ufersa.edu.br Universidade Federal Rural do Semiárido Bacharelado
Leia maisArquitetura de Computadores
Engenharia da Computação Universidade Católica de Petrópolis Arquitetura de Computadores Sistema de Numeração v. 0.1 Luís Rodrigo de O. Gonçalves luisrodrigoog@gmail.com Petrópolis, 1 de Março de 2016
Leia maisAritmética Binária e Complemento a Base. Introdução ao Computador 2010/1 Renan Manola
Aritmética Binária e Complemento a Base Introdução ao Computador 2010/1 Renan Manola Sumário Soma e multiplicação binária; Subtração e divisão binária; Representação com sinal; Complemento a base. Adição
Leia maisRepresentação de Arranjos
Representação de Arranjos Algoritmos e Estruturas de Dados I Embora os arranjos multidimensionais sejam fornecidos como um objeto de dados padrão na maioria das linguagens de programação em alto nível,
Leia maisINFORMÁTICA APLICADA AULA 05 LINGUAGEM DE PROGRAMAÇÃO C++
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: Bacharelado em Ciências e Tecnologia INFORMÁTICA APLICADA AULA 05 LINGUAGEM DE PROGRAMAÇÃO C++ Profª ª Danielle Casillo LAÇOS Laços são comandos da linguagem
Leia maisIntrodução ao cálculo-λ
Introdução ao cálculo-λ Pedro Vasconcelos 13 de Fevereiro de 2014 O que é o cálculo-λ? É um modelo computação universal (i.e., equipotente à máquina de Turing) Ao contrário da MT, o cálculo-λ é também
Leia maisIntrodução aos Algoritmos
Introdução aos Algoritmos Aula 05 Diogo Pinheiro Fernandes Pedrosa http://www2.ufersa.edu.br/portal/professor/diogopedrosa diogopedrosa@ufersa.edu.br Universidade Federal Rural do Semiárido Bacharelado
Leia maisUnidade 2: Algoritmos e programação
Unidade 2: Algoritmos e programação 2.2. Estruturas de programação A maioria das linguagens de programação possuem um conjunto de estruturas padrão, o que torna mais fácil implementação de um programa.
Leia maisComplexidade de Algoritmos. Edson Prestes
Edson Prestes Exemplos Exemplos A complexidade no pior caso é linear e igual a n, ou seja, é O(n) A complexidade média é linear e igual a (1+n)/2, ou seja, é O(n) Exemplos Considere o produto C de uma
Leia maisMétodos iterativos dão-nos uma valor aproximado para s. Sequência de valores de x que convergem para s.
Análise Numérica 1 Resolução de equações não lineares ou Cálculo de zeros de funções Problema: Dada a função f(x) determinar o valor s tal que f(s) = 0. Slide 1 Solução: Fórmulas exemplo: fórmula resolvente
Leia maisPORTAS E OPERAÇÕES LÓGICAS
1.Portas Lógicas 1.1 - PORTAS E OPERAÇÕES LÓGICAS Uma porta logica ( gate ) é um circuito eletrônico, portanto uma peça de hardware, que se constitui no elemento básico e mais elementar de um sistema de
Leia mais6 Matrizes. Matrizes. Aluno Matemática Eletricidade Básica Desenho Técnico A B C D 3 7 4
6 Definição: Chama-se matriz do tipo m x n toda tabela A formada por números reais distribuídos em m linhas e n colunas. Para exemplificar o uso de uma matriz, podemos visualizar a seguir uma tabela representando
Leia maisTeoria da Computação I
Licenciatura em Engenharia Informática e Computação João Mendes Moreira João Falcão e Cunha Teoria da Computação I 3º Ano 2001-2002 6ª Aula Prática Numeração de Programas URM 6.1. Resolução β(j(3,4,2))
Leia maisCálculo Numérico BCC760
Cálculo Numérico BCC760 Resolução de Sistemas de Equações Lineares Simultâneas Departamento de Computação Página da disciplina http://www.decom.ufop.br/bcc760/ 1 Introdução! Definição Uma equação é dita
Leia maisEBS DA GRACIOSA - ENSINO BÁSICO 7.º ANO
EBS DA GRACIOSA - ENSINO BÁSICO 7.º ANO M A T E M Á T I C A: RES O L U Ç Ã O D A F I C H A D E AV A L I A Ç Ã O 1 P R O F E S S O R C A R L O S MI G U E L S A N T O S 1. Escrevendo o número de horas em
Leia maisFicha de Avaliação Sumativa. Notas Gerais:
Ficha de Avaliação Sumativa EFA Tecnológico - Técnico de Informática e Sistemas UFCD:0782 Programação em C C++ - Conceitos Fundamentais Duração: 150 minutos Nome Formando: Data: / / Formador: João Leitão
Leia maisAritmética em Bases Não Decimais
Aritmética em Bases Não Decimais Cristina Boeres Insituto de Computação (UFF) Fundamentos de Arquiteturas de Computadores Material cedido por Fernanda Passos (IC/UFF) Aritmética em Bases Não Decimais FAC
Leia maisOs Problemas de Optimização Combinatória e a Teoria da Complexidade
Metodologias de Apoio à Decisão Os Problemas de Optimização Combinatória e a Teoria da Complexidade Programação Inteira Mista Programação Linear Programação Binária Mista Programação Inteira Slide Fluxos
Leia maisαx + 2y + (α + 1)z + 2αw = β 1. [40 pontos] Discuta o sistema em função dos parâmetros α, β e γ.
Católica Lisbon School of Business and Economics UCP MATEMÁTICA I MINI-TESTE 1 - versão A Duração: 90 minutos Durante a prova não serão prestados quaisquer tipo de esclarecimentos. Qualquer dúvida ou questão
Leia mais01/08/2011. Tipos de dados Numéricos Alfanuméricos Lógicos. Numéricos. Tipos de dados. Dados Numéricos Inteiros. Dados Numéricos Reais.
Engenharia de Controle e Automação Programação I Prof. Ricardo Sobjak ricardo.sobjak@ifsc.edu.br Tipos de dados Numéricos Alfanuméricos Lógicos Tipos de dados Os tipos de dados primitivos ou básicos são
Leia maisAula prática 5. Funções Recursivas
Programação Funcional UFOP DECOM 2014.1 Aula prática 5 Funções Recursivas Resumo Definições recursivas são comuns na programação funcional. Nesta aula vamos aprender a definir funções recursivas. Sumário
Leia maisFundamentos de Programação
Fundamentos de Programação Primeiro Teste 16 de Abril de 2011 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 7 páginas com 9 perguntas. A cotação de cada pergunta está assinalada
Leia maisProgramação Funcional Cálculo Lambda - Aula Nº 3
Programação Funcional Cálculo Lambda - Aula Nº 3 2.3. Ordem de Redução Se uma expressão não contém mais redexes, então a avaliação está completa. Um expressão nesta forma é dita estar na forma normal.
Leia maisAULA 8- ÁLGEBRA MATRICIAL VERSÃO: OUTUBRO DE 2016
CURSO DE ADMINISTRAÇÃO CENTRO DE CIÊNCIAS SOCIAIS APLICADAS UNIVERSIDADE CATÓLICA DE PETRÓPOLIS MATEMÁTICA 01 AULA 8- ÁLGEBRA MATRICIAL VERSÃO: 0.1 - OUTUBRO DE 2016 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisProgramação de Computadores III
Programação de Computadores III Introdução a Algoritmos (Parte II) Professor Hugo de Oliveira Barbalho hbarbalho@ic.uff.br Material produzido pelo professor: Leandro Augusto rata ernandes (laffernandes@ic.uff.br)
Leia maisWorking 03 : Conceitos Básicos II
Universidade Federal do Espirito Santo Centro Tecnologico Working 03 : Conceitos Básicos II Objetivos: Dominar a construção de estruturas de seleção em C; Aperfeiçoarse na resolução de problemas, da primeira
Leia maisTeoria dos Grafos AULA
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br AULA Caminho mínimo - Algoritmo de Djskstra Preparado a partir
Leia mais05/11/2018. Linguagem de Programação e Estruturada
LPE 04 : Estrutura de Repeticao - alinhado.pptx Linguagem de Programação e Estruturada LPE 03 - Estrutura de Repetição Alinhado Prof. Msc Wanderley Gonçalves Freitas Wanderley.unip@gmail.com www.professor.wanderley.nom.br
Leia maisSistemas Digitais I LESI :: 2º ano
Sistemas Digitais I LESI :: 2º ano - Álgebra António Joaquim Esteves João Miguel Fernandes www.di.uminho.pt/~aje Bibliografia: secções 3. e 4., DDPP, Wakerly DEP. DE INFORMÁTICA ESCOLA DE ENGENHARIA UNIVERSIDADE
Leia maisAgrupamento de Escolas Diogo Cão. Nome : N.º Turma : Ficha Informativa - Matemática - 7º Ano
Agrupamento de Escolas Diogo Cão Nome : N.º Turma : Equações Ficha Informativa - Matemática - 7º Ano Data: / / O que são equações? A sala de estar da Joana é retangular e tem 18 m 2 de área e m de comprimento.
Leia maisLinguagens de Programação Programação Funcional (Haskell)
Linguagens de Programação Programação Funcional (Haskell) Andrei Rimsa Álvares Sumário Introdução Programação funcional Linguagens funcionais Haskell Casamento de padrões Funções de ordem superior Avaliação
Leia maisCENTRO DE CIÊNCIAS EXATAS, AMBIENTAIS E DE TECNOLOGIAS FACULDADE DE ENGENHARIA DE PRODUÇÃO CURSO DE ENGENHARIA DE PRODUÇÃO Currículo Atual MATUTINO
Série: 1ª Período: 2º (05421) Cálculo Diferencial e Integral (06348) Organização: Teoria e (05421) Cálculo Diferencial e Integral (28398) Antropologia Teológica (06353) Ciências do Ambiente (05421) Cálculo
Leia maisCálculo Numérico / Métodos Numéricos. Solução de equações polinomiais Briot-Ruffini-Horner
Cálculo Numérico / Métodos Numéricos Solução de equações polinomiais Briot-Ruffini-Horner Equações Polinomiais p = x + + a ( x) ao + a1 n x n Com a i R, i = 0,1,, n e a n 0 para garantir que o polinômio
Leia maisLinguagem Computacional
Informática II Linguagem Computacional Algoritmos e Programação Parte 2 Prof. Dr. Adriano Cansian Prof. Dr. Leandro Alves Neves 1 Sumário Tipos de Dados Variáveis Modelo esquemático Características e Regras
Leia maisResolução de Sistemas Lineares. Método de Gauss. O algoritimo conhecido como Método de Gauss é desenvolvido a partir de dois ingredientes básicos:
Resolução de Sistemas Lineares Método de Gauss O algoritimo conhecido como Método de Gauss é desenvolvido a partir de dois ingredientes básicos: Resolução de Sistemas Lineares Triangulares Procedimento
Leia maisConceitos Básicos Linguagem C
Conceitos Básicos Linguagem C PROF. MAURÍCIO A DIAS MACDIASPAE@GMAIL.COM 2 Método Método básico para construção de algoritmos 1. Compreender completamente o problema a ser resolvido, se possível dividindo
Leia maisFunção de 2º Grau. Parábola: formas geométricas no cotidiano
1 Função de 2º Grau Parábola: formas geométricas no cotidiano Toda função estabelecida pela lei de formação f(x) = ax² + bx + c, com a, b e c números reais e a 0, é denominada função do 2º grau. Generalizando
Leia maisEngenharia Civil. Introdução à Programação
Engenharia Civil Introdução à Programação Como se faz um algoritmo computacional? Exemplo Exemplo Será que o algoritmo vai funcionar? Questões: Área de uma circunferência programa area AREA, RAIO: real
Leia maisAlgoritmos e Estruturas de Dados I
Algoritmos e Estruturas de Dados I Conceitos Básicos Profa. Márcia Cristina Moraes Profa.Milene Selbach Silveira Material para estudo: Forbellone, A. e Eberspächer, H. (2005) capítulos 1 e 2 (até atribuição)
Leia maisMétodos Numéricos. Turma CI-202-X. Josiney de Souza.
Métodos Numéricos Turma CI-202-X Josiney de Souza josineys@inf.ufpr.br Agenda do Dia Aula 15 (21/10/15) Sistemas Lineares Métodos Diretos: Regra de Cramer Método da Eliminação de Gauss (ou triangulação)
Leia maisdecomposição de Cholesky.
Decomposição LU e Cholesky Prof Doherty Andrade - DMA-UEM Sumário 1 Introdução 1 2 Método de Eliminação de Gauss 1 3 Decomposição LU 2 4 O método de Cholesky 5 5 O Algoritmo para a decomposição Cholesky
Leia maisAula 7: Portas Lógicas: AND, OR, NOT, XOR, NAND e NOR
Aula 7: Portas Lógicas: AND, OR, NOT, XOR, NAND e NOR Conforme discutido na última aula, cada operação lógica possui sua própria tabela verdade. A seguir será apresentado o conjunto básico de portas lógicas
Leia maisAlgoritmos Computacionais
Material produzido por professores da UFABC Objetivos Aprender a sintaxe e a semântica de instruções de saída e de entrada de dados na linguagem PORTUGOL Aprender alguns operadores pra uso na parte de
Leia maisÁlgebra Booleana: Axiomas, Teoremas e Leis de De Morgan
Arquitectura de Computadores I Engenharia Informática (11537) Tecnologias e Sistemas de Informação (6616) Álgebra Booleana: Axiomas, Teoremas e Leis de De Morgan Nuno Pombo / Miguel Neto Arquitectura Computadores
Leia maisIGUALDADES EM IR IDENTIDADES NOTÁVEIS
IGUALDADES EM IR Uma relação muito importante definida em IR (conjunto dos números reais) é a relação de igualdade. Na igualdade A = B, A é o primeiro membro e B é o segundo membro. As igualdades entre
Leia maisUniversidade Estadual De Santa Cruz (UESC)
Universidade Estadual De Santa Cruz (UESC) CET087 - Conceitos de Linguagem de Programação Prof. Dr. Marcelo Ossamu Honda Departamento de Ciências Exatas e Tecnológicas (DCET) mohonda.uesc(at)google(.)com
Leia maisCURSO de NIVELAMENTO INTRODUÇÃO À PROGRAMAÇÃO
CURSO de NIVELAMENTO INTRODUÇÃO À PROGRAMAÇÃO Lógica de Programação Lógica de programação é a técnica de encadear pensamentos (instruções) para atingir determinado objetivo. Instruções Instruções são regras
Leia maisProgramação de Computadores I. Professor Ilaim Costa Junior
Programação de Computadores I Professor Ilaim Costa Junior ilaim@ic.uff.br Roteiro da Aula de Hoje ariável Tipos básicos Declaração Expressões Aritméticas Lógicas Atribuição 2 ariável Representa uma região
Leia maisProgramação de Computadores:
Instituto de C Programação de Computadores: Introdução a Algoritmos (Parte II) Luis Martí Instituto de Computação Universidade ederal luminense lmarti@ic.uff.br - http://lmarti.com Roteiro da Aula de Hoje
Leia maisTÉCNICO DE INFORMÁTICA - SISTEMAS
782 - Programação em C/C++ - estrutura básica e conceitos fundamentais Linguagens de programação Linguagem de programação são conjuntos de palavras formais, utilizadas na escrita de programas, para enunciar
Leia mais1 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 maisLinguagem Computacional
Informática II Linguagem Computacional Algoritmos e Programação Parte 3 Prof. Dr. Adriano Cansian Prof. Dr. Leandro Alves Neves 1 Sumário Operações e Expressões q Definição q Operadores: Aritméticos. Relacionais.
Leia maisEquações. João Marcos Ferreira
Equações Não existe apenas um processo para resolver uma equação mas, normalmente, segue-se um determinado número de passos que têm uma sequência pela qual são realizados. Não existe apenas um processo
Leia maisPodemos concluir que o surgimento do número fracionário veio da necessidade de representar quantidades menores que inteiros, por exemplo, 1 bolo é um
FRAÇÕES Podemos concluir que o surgimento do número fracionário veio da necessidade de representar quantidades menores que inteiros, por exemplo, 1 bolo é um inteiro, mas se comermos um pedaço, qual seria
Leia maisFluxogramas. Vanessa Braganholo
Fluxogramas Vanessa Braganholo vanessa@ic.uff.br Antes de vermos Fluxogramas...... vamos conhecer um pouco sobre a evolução das linguagens de programação 2 Paradigmas de Programação Definem regras básicas
Leia maisP3 de Álgebra Linear I
P3 de Álgebra Linear I 2008.2 Data: 14 de Novembro de 2008. Gabarito. 1) Decida se cada afirmação a seguir é verdadeira ou falsa. Considere uma transformação linear T : R 3 R 3 tal que existem vetores
Leia maisMATEMÁTICA PROF. JOSÉ LUÍS FRAÇÕES
FRAÇÕES I- INTRODUÇÃO O símbolo a / b significa a : b, sendo a e b números naturais e b diferente de zero. Chamamos: a / b de fração; a de numerador; b de denominador. Se a é múltiplo de b, então a / b
Leia maisLinguagem de Programação JAVA. Técnico em Informática Professora Michelle Nery
Linguagem de Programação JAVA Técnico em Informática Professora Michelle Nery Agenda Operações Operadores Operadores Delimitadores {} [] (). Operador de Atribuição = Agenda Operadores Aritméticos Operadores
Leia maisCRÉDITOS DO CURSO. Carga Horária Créditos IN1030 Seminários 30 2
UNIVERSIDADE FEDERAL DE PERNAMBUCO PRÓ-REITORIA PARA ASSUNTOS DE PESQUISA E PÓS-GRADUAÇÃO ESTRUTURA CURRICULAR STRICTO SENSU (baseada na Res. 10/2008 do CCEPE) NOME DO CURSO: Pós-Graduação em Ciência da
Leia maisESCOLA SUPERIOR DE TECNOLOGIA DE VISEU
INSTITUTO POLITÉCNICO DE VISEU ESCOLA SUPERIOR DE TECNOLOGIA DE VISEU Departamento Matemática Disciplina Matemática I Curso Gestão de Empresas Ano 1 o Ano Lectivo 2007/2008 Semestre 1 o Apontamentos Teóricos:
Leia mais