Língua Natural EXERCÍCIOS RESOLVIDOS

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

Download "Língua Natural EXERCÍCIOS RESOLVIDOS"

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 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 mais

Programação Funcional - Introdução a Cálculo Lambda

Programaçã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 mais

Mó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. 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 mais

Minicurso 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 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 mais

Módulo II: Implementação do λ-calculus

Mó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 mais

Apontamentos de matemática 6.º ano Decomposição de um número em fatores primos

Apontamentos 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 mais

Centro Universitário do Triângulo

Centro 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 mais

Fundamentos de Cálculo Lambda

Fundamentos 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 mais

Nelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 17

Nelma 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 mais

Actividade Formativa 1

Actividade 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 mais

Funções Recursivas. Prof.: Edson Holanda Teoria da computação - Diverio e Menezes

Funçõ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 mais

ALGORITMOS 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 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 mais

Métodos Numéricos - Notas de Aula

Mé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 mais

GABARITO 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).

GABARITO 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 mais

Formação Continuada Nova Eja. Plano de Ação II INTRODUÇÃO

Formaçã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 mais

Nelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 20

Nelma 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 mais

Análise de Algoritmos Estrutura de Dados II

Aná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 mais

Fundamentos de Programação

Fundamentos 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 mais

Prova. 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 )

Prova. 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 mais

semana 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/ 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 mais

Utilizaçã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 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 mais

ALGORITMOS E ESTRUTURA DE DADOS

ALGORITMOS 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 mais

Introdução à Programação Funcional

Introduçã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 mais

Redução de grafos. Pedro Vasconcelos. 4 de Março de 2014

Reduçã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 mais

Fluxogramas e variáveis

Fluxogramas 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 mais

30 de setembro de 2015

30 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 mais

216 e) 10 1 = 10 f) (-0,4) 0 = 1 g) (-4,3) 1 = - 4,3

216 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 mais

META-MODELO FUNCIONAL PARA RECUPERAÇÃO DE INFORMAÇÃO

META-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 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

Circuitos Digitais Primeira Lista de Exercícios

Circuitos 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 mais

Variável. Expressões. Atribuição. Tipos básicos Declaração. Aritméticas Lógicas. Professor Leandro Augusto Frata Fernandes

Variá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 mais

Working 03 : Conceitos Básicos II

Working 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 mais

Introdução à Lógica de Programação

Introduçã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 mais

Unidade 5: Introdução à Programação com Python Prof. Daniel Caetano

Unidade 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 mais

Agenda 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 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 mais

Primeira Prova de Linguagens de Programação - DCC024 -

Primeira 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 mais

ESTRUTURA 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 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 mais

Aula 4B. Lógica e Algoritmos. Profª. Fabiany

Aula 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 mais

Introdução aos Algoritmos

Introduçã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 mais

Arquitetura de Computadores

Arquitetura 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 mais

Aritmé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 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 mais

Representação de Arranjos

Representaçã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 mais

INFORMÁTICA APLICADA AULA 05 LINGUAGEM DE PROGRAMAÇÃO C++

INFORMÁ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 mais

Introdução ao cálculo-λ

Introduçã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 mais

Introdução aos Algoritmos

Introduçã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 mais

Unidade 2: Algoritmos e programação

Unidade 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 mais

Complexidade de Algoritmos. Edson Prestes

Complexidade 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 mais

Métodos iterativos dão-nos uma valor aproximado para s. Sequência de valores de x que convergem para s.

Mé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 mais

PORTAS E OPERAÇÕES LÓGICAS

PORTAS 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 mais

6 Matrizes. Matrizes. Aluno Matemática Eletricidade Básica Desenho Técnico A B C D 3 7 4

6 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 mais

Teoria da Computação I

Teoria 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 mais

Cálculo Numérico BCC760

Cá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 mais

EBS DA GRACIOSA - ENSINO BÁSICO 7.º ANO

EBS 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 mais

Ficha de Avaliação Sumativa. Notas Gerais:

Ficha 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 mais

Aritmética em Bases Não Decimais

Aritmé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 mais

Os Problemas de Optimização Combinatória e a Teoria da Complexidade

Os 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 γ.

α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 mais

01/08/2011. Tipos de dados Numéricos Alfanuméricos Lógicos. Numéricos. Tipos de dados. Dados Numéricos Inteiros. Dados Numéricos Reais.

01/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 mais

Aula prática 5. Funções Recursivas

Aula 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 mais

Fundamentos de Programação

Fundamentos 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 mais

Programação Funcional Cálculo Lambda - Aula Nº 3

Programaçã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 mais

AULA 8- ÁLGEBRA MATRICIAL VERSÃO: OUTUBRO DE 2016

AULA 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 mais

Programação de Computadores III

Programaçã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 mais

Working 03 : Conceitos Básicos II

Working 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 mais

Teoria dos Grafos AULA

Teoria 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 mais

05/11/2018. Linguagem de Programação e Estruturada

05/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 mais

Sistemas Digitais I LESI :: 2º ano

Sistemas 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 mais

Agrupamento de Escolas Diogo Cão. Nome : N.º Turma : Ficha Informativa - Matemática - 7º Ano

Agrupamento 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 mais

Linguagens de Programação Programação Funcional (Haskell)

Linguagens 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 mais

CENTRO DE CIÊNCIAS EXATAS, AMBIENTAIS E DE TECNOLOGIAS FACULDADE DE ENGENHARIA DE PRODUÇÃO CURSO DE ENGENHARIA DE PRODUÇÃO Currículo Atual MATUTINO

CENTRO 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 mais

Cá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 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 mais

Linguagem Computacional

Linguagem 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 mais

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. 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 mais

Conceitos Básicos Linguagem C

Conceitos 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 mais

Função de 2º Grau. Parábola: formas geométricas no cotidiano

Funçã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 mais

Engenharia Civil. Introdução à Programação

Engenharia 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 mais

Algoritmos e Estruturas de Dados I

Algoritmos 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 mais

Métodos Numéricos. Turma CI-202-X. Josiney de Souza.

Mé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 mais

decomposição de Cholesky.

decomposiçã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 mais

Aula 7: Portas Lógicas: AND, OR, NOT, XOR, NAND e NOR

Aula 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 mais

Algoritmos Computacionais

Algoritmos 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

Á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 mais

IGUALDADES EM IR IDENTIDADES NOTÁVEIS

IGUALDADES 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 mais

Universidade Estadual De Santa Cruz (UESC)

Universidade 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 mais

CURSO de NIVELAMENTO INTRODUÇÃO À PROGRAMAÇÃO

CURSO 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 mais

Programação de Computadores I. Professor Ilaim Costa Junior

Programaçã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 mais

Programação de Computadores:

Programaçã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 mais

TÉCNICO DE INFORMÁTICA - SISTEMAS

TÉ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 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

Linguagem Computacional

Linguagem 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 mais

Equações. João Marcos Ferreira

Equaçõ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 mais

Podemos concluir que o surgimento do número fracionário veio da necessidade de representar quantidades menores que inteiros, por exemplo, 1 bolo é um

Podemos 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 mais

Fluxogramas. Vanessa Braganholo

Fluxogramas. 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 mais

P3 de Álgebra Linear I

P3 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 mais

MATEMÁTICA PROF. JOSÉ LUÍS FRAÇÕES

MATEMÁ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 mais

Linguagem 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 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 mais

CRÉDITOS DO CURSO. Carga Horária Créditos IN1030 Seminários 30 2

CRÉ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 mais

ESCOLA SUPERIOR DE TECNOLOGIA DE VISEU

ESCOLA 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