Sobre Equações Recursivas e Construções de Ponto Fixo Parte I
|
|
- Marina Amanda Duarte
- 5 Há anos
- Visualizações:
Transcrição
1 Sobre Equações Recursivas e Construções de Ponto Fixo Parte I Alfio Martini Clube de Lógica em Ciência da Computação Faculdade de Informática - PUCRS 19 de setembro de 2013
2 Sumário
3 Sumário
4 Sumário
5 Produtos Cartesianos Dados conjuntos X e Y Conjunto Potência Produto Cartesiano (X ) {A X } X Y {(x, y) x X y Y } X é chamado de origem (source) e Y de destino (target) da relação Relações (Binárias): f é uma relação binária entre X e Y se e somente se f X Y O conjunto de todas as relações binárias entre X e Y é denotado por (X Y ) e é definido por (X Y ) (X Y )
6 Funções Parciais Domínio Se f X Y, o domínio de f é definido como dom(f ) {x (x, y) f } Uma relação f X Y é uma função parcial se e somente se x, y, y.(x, y) f (x, y ) f y = y Uma função parcial f A B é representada como f : X Y O conjunto de todas as funções parciais entre X e Y é denotado por (X Y )
7 Fato Básico (X Y ) (X Y ) (X Y )
8 Funções Totais Uma função parcial f : X Y é dita total se e somente se dom(f ) = X Uma função total entre X e Y é representada como f : X Y O conjunto de todas as funções totais entre X e Y é denotado por (X Y )
9 Funções Parciais como Funções Totais A A { } representa n~ao-terminaç~ao ou nenhum valor Seja f : X Y, então f : X Y é definida como { f f (x) se x dom(f ) (x) = caso contrário (X Y ) = (X Y )
10 Função Parcial Totalmente Indefinida : N N é a função parcial totalmente indefinida, onde (n) = para todo n 0
11 Iteração de Funções Totais Seja f : X X uma função total. Então definimos f 0 (x) = id(x) f n+1 (x) = f n (f (x))
12 Currying and Uncurrying curry(ing) é um operação que toma uma função que recebe uma tupla de argumentos e retorna uma cadeia de funções onde cada uma recebe um argumento de cada vez. uncurry(ing) é o processo inverso. Por exemplo, seja f : A B C, então curry(f ) : A (B C) é a função tal que f (a, b) = curry(f )(a)(b) Para f : A B C e g : A (B C) uncurry(curry(f )) = f curry(uncurry(g)) = g
13 Currying and Uncurrying Para a A fixo e arbitrário, f : A B C curry(f )(a) : B C Note que (A B C) = (A (B C)) Na Ciência da Computação, currying fornece uma forma de estudar funções em um modelo teórico simples, conhecido como cálculo-λ. No cálculo-λ funções recebem um argumento de cada vez.
14 Currying and Uncurrying Seja sqsum : N N N, tal que sqsum(x, y) x 2 + y 2 Então tal que curry(sqsum) : N (N N) curry(sqsum) x y = sqsum(x, y)
15 Cálculo Lambda Tipado in a Nutshell Sistema formal para expressão computação (de funções) baseado em nos conceitos de abstração e aplicação. Os únicos tipos são os tipos básicos os tipos função σ τ. Gramática para termos e tipos x Variable t ::= σ nat int... t t M ::= x λx : t. M M M
16 Cálculo Lambda Tipado in a Nutshell Se M, N são termos lambda e x é uma variável abstração λx. M aplicação M N Regras de Tipagem Se x : σ, M : τ, então λx : σ. M : σ τ Se M : σ τ, N : σ, então M N : τ
17 Cálculo Lambda Tipado in a Nutshell Assumindo x + y : N, então λx : N. x + y : N N Assumindo y : N temos λy : N. λx : N. x + y : N (N N)
18 Avaliação de Expressões Lambda Seja λx : σ. M : σ τ e M : τ. Então λx : σ. M N M[x/N] isto é, M, onde todas as ocorrências livres de x são substituídas por N.
19 Avaliação de Expressões Lambda (λy : N. λx : N. x + y 4) 5 = λx : N. x = = 9
20 Sumário
21 Equação Recursiva Uma definição recursiva é uma equação da forma x =... x... onde... x... designa uma expressão matemática que contém ocorrências da variável definida x.
22 Soluções de Equações Recursivas Solução Uma solução para uma equação recursiva é um valor que torna a equação verdadeira quando substituído por todas as ocorrências da variável definida. Uma equação recursiva pode ter um conjunto (possivelmente vazio) de soluções, que é nomeado como SS (Solution Set)
23 Exemplos de Soluções Suponha x : Z. Então x = 1 + x não tem nenhuma solução (SS(x) = ) x = 4 x possui uma única solução (SS(x) = {2}) x = 9 x possui duas soluções (SS(x) = {3, 3}) x = x possui um conjunto infinito de soluções (SS(x) = {x x Z})
24 Exemplos de Soluções Considere a equação x = 1 16x 3 SS(x) =, se x : Z SS(x) = { 1 2 }, se x : Q+ SS(x) = { 1 2, 1 2 }, se x Q SS(x) = { 1 2, 1 2, i 2, i 2 }, se x : C
25 Observação Essencial Conjunto de soluções de uma equação recursiva depende do tipo da variável que está sendo definida
26 Equações Recursivas com Variáveis do Tipo Função As equações abaixo definem uma, várias ou nenhuma função? Se forem funções, são totais ou parciais? f = λx : N. f (x + 1) f (x) = f (x + 1) h = λx : N. if x = 0 then 1 else h(x + 1) h(x) = if x = 0 then 1 else h(x + 1) g = λx : N. if x = 0 then 1 else x g(x 1) g(x) = if x = 0 then 1 else x g(x 1)
27 Candidatos para h : N N h = λx : N. if x = 0 then 1 else h(x + 1) h(x) = if x = 0 then 1 else h(x + 1) h 1 (x) = { 1 se x = 0 caso contrário h 2 (x) = { 1 se x = 0 2 caso contrário h 3 (x) = 1
28 h 1, h 2, h 3 solucionam h Por exemplo, Portanto { 1 se x = 0 h 1 (x) = caso contrário = if x = 0 then 1 else = if x = 0 then 1 else h 1 (x + 1) h 1 (x) = if x = 0 then 1 else h 1 (x + 1)
29 Considerações Essenciais Observações Fundamentais h 1, h 2, h 3 são pontos fixos de h SS(h) é infinito! Qualquer função que fixe 0 1 está em SS(h). Qual delas é de fato a solução que adere à interpretação computacional? Computacionalmente, h não-termina sempre que x > 0! Como formalizar precisamente uma equação (especificação) recursiva?
30 Sumário
31 Funções Geradoras Funções Geradoras Seja d : D. Então, uma definição recursiva d = (... d...) podem ser sempre codificadas como uma função total D D τ = λd : D. (... d...)
32 Exemplos de Funções Geradoras x = 4 x τ = λx : Z. 4 x f = λx : N. f (x + 1) τ = λf. (N N ). λx : N. f (x + 1) h = λx : N. if x = 0 then 1 else h(x + 1) τ = λh : N N. λx : N. if x = 0 then 1 else h(x + 1) g = λx : N. if x = 0 then 1 else x g(x 1) τ = λg : N N. λx : N. if x = 0 then 1 else x g(x 1)
33 Ponto Fixo Um ponto fixo de uma função τ : D D é um elemento d D tal que τ(d) = d
34 Ponto Fixo (Intuição) Se uma função D D é vista como movimentando elementos dentro do espaço D, então elementos que satisfazem a definição recursiva são os únicos que permanecem estacionários. Portanto, o nome ponto fixo.
35 Ponto F (Solução de Equações Recursivas) Seja uma definição recursiva d = (... d...) com a correspondente função geradora D D τ = λd : D. (... d...) Então k D é uma solução da definição recursiva se e somente se τ(k) = k
36 Ponto Fixo (Exemplos) Considere h = λx : N. if x = 0 then 1 else h(x + 1) τ = λh : N N. λx : N. if x = 0 then 1 else h(x + 1) Então, temos que τ(h 1 ) = h 1 τ(h 2 ) = h 2 τ(h 3 ) = h 3
37 Sumário
38 Idéia Fundamental da Técnica Iterativa Solução de uma equação de ponto fixo τ(f ) = f é tal que: é o limite de uma sequência de funções (conjuntos) f 0, f 1,..., f n,... tal que f 0 : N N f i+1 = τ(f i ) cada f i é uma função parcial, não-recursiva, que aproxima a solução verdadeira da equação de ponto fixo. para cada i 0 temos que f i f i+1 na cadeia f 0 f 1... f n... diz-se que f i aproxima f i+1 ou que f i+1 carrega mais informação do que f i
39 Idéia Fundamental da Técnica Iterativa para i 0, f i (x) = f i+1 (x), x dom(f i f i+1 ) o limite desta sequência é a união de todas estas funções f = n 0 f n
40 Definição Recursiva de Fatorial g = λx : N. if x = 0 then 1 else x g(x 1) τ = λg : N N. λx : N. if x = 0 then 1 else x g(x 1) f 0 τ 0 ( )(x) = f 1 τ 1 ( )(x) = if { x = 0 then 1 else x (x 1) 1 se x = 0 = caso contrário f 2 τ 2 ( )(x) = if x = 0 then 1 else x f i (x 1) 1 se x = 0 = 1 se x = 1 caso contrário
41 Definição Recursiva de Fatorial f 3 τ 3 ( )(x) = if x = 0 then 1 else x f 2 (x 1) 1 se x = 0 1 se x = 1 = 2 se x = 2 caso contrário f 4 τ 4 ( )(x) = if x = 0 then 1 else x f 3 (x 1) 1 se x = 0 1 se x = 1 = 2 se x = 2 6 se x = 3 caso contrário
42 . =.. f n τ n ( )(x) = if { x = 0 then 1 else x f n 1 (x 1) f = τ ( )(x) (x 1)! 0 x < n = caso contrário = ( n 0 τ n ( ))(x) = x! = ( n 0 f n )(x) = x!
43 f como ponto fixo de τ τ(f )(x) = if x = 0 then 1 else x f (x 1) = if x = 0 then 1 else x (x 1)! = x! = f (x)
44 Resumo Extensão Sejam f, g (X Y ). Dizemos que g estende f (f aproxima g) se e somente se f g. Note que isso obriga que para todo x dom(f ) dom(g) f (x) = g(x)
45 Resumo Especificação Recursiva Seja D = (X Y ). Um especificação recursiva em D é uma função total τ : D D tal que Neste caso, a sequência τ 0 ( ) τ 1 ( ) τ 2 ( )... τ 0 ( ), τ 1 ( ), τ 2 ( ),... é chamada de semântica de Kleene de τ, a qual é a função parcial τ em D tal que dom(τ ) = k 0 dom(τ k ( )) enquanto τ (x) = τ k ( )(x) para qualquer k e x dom(τ k ( ))
46 Resumo A computação iterativa do ponto fixo constrói uma cadeia de funções ordenadas por inclusão de conjuntos Nesta cadeia, o menor elemento é a função parcial totalmente indefinida. Cada função na cadeia é uma função parcial que está definida para alguns elementos do domínio de definição da função O ponto fixo é a união de todas as funções desta cadeia
47 Sumário
48 Ordens Parciais (Posets) Uma relação binária em um conjunto D é chamada de ordem parcial se e somente se é: reflexiva : d D.d d anti-simétrica : d, d D.d d d d = d transitiva : d, d, d D.d d d d d O par (D, ) é chamado de conjunto parcialmente ordenado ou poset.
49 Diagrama Hasse de um Poset Diagrama Hasse O diagrama Hasse de um poset é um grafo dirigido onde vértices do grafo são os elementos do conjunto base do poset e no qual existe um arco entre vértices x e y se e somente se x y e z.(x z z y) (z = x z = y)
50 Elementos Mínimos em um Poset Elementos Mínimos Suponha que D é um poset e S um subconjunto de D. Um elemento d S é um elemento mínimo de S se satisfaz x S.d x se o elemento mínimo existe, é escrito como D. Logo d D. d
51 Cadeias em um Poset Uma cadeia crescente e contável em um poset D é uma sequência de elementos que satisfaz d 0 d 1 d 2... Um limite superior (upper bound) para a cadeia é qualquer d D que satisfaz n 0.d n d Se existir, o limite superior mínimo (least upper bound ou lub) é escrito como n 0 d n
52 Propriedades do lub Por definição Todos elementos aproximam o lub m 0.d m n 0 d n O lub é o menor na presença de outros candidatos, i.e., para qualquer d D, se m 0.d m d então d n d n 0
53 Ordens Parciais Completas (CPO s) Uma ordem parcial completa (cpo, ccpo) é um poset (D, ) na qual todas as sequências contáveis d 0 d 1 d 2... possuem lubs n 0 d n Um domínio é um cpo que possuem um elemento mínimo, i.e., d D. d
54 Monotonicidade, Continuidade e Rigidez Sejam (D, D ), (E, E ) ordens parciais. Uma função total f : D E é dita monotônica se e somente se d, d D.d d f (d) f (d ) Se D e D são cpo s, f : D E é contínua se e é monotônica e preserva lubs de cadeias, isto é, para todas as cadeias d 0 d 1 d 2... f ( d n ) = n 0 n 0 f (d n ) em E Se D e E possuem elementos mínimos, então f : D E é dita rígida (strict) se e somente se f ( ) =
55 Sumário
56 de Traski Um ponto fixo para uma função f : D D é é um elemento d D tal que f (d) = d
57 Pontos Pré-fixos (Pre-fixed Points) Se D é um poset, é suficiente considerar a noção mais fraca de ponto fixo. Seja D um poset e f : D D uma função total. Então Um elemento d D é um ponto pré-fixo de f se satisfaz f (d) d O ponto pré-fixo mínimo, se existir, é escrito como fix(f ) fix(f ) é especificado unicamente pelas seguintes propriedades: lfp1 f (fix(f )) fix(f ) lfp2 d D.f (d) d fix(f ) d
58 Pré-pontos fixos induzem Suponha D um poset e f : D D uma função total que possua um ponto pré-fixo mínimo fix(f ). Se f for monotônica, então fix(f ) é também um ponto fixo, i.e., f (fix(f )) = fix(f ) (e consequentemente o menor ponto fixo dentre todos os pontos fixos de f )
59 de Tarski Seja f : D D uma função contínua em um domínio D. Então f tem um ponto fixo mínimo, dado por fix(f ) = f n ( ) n 0
60 Prova f (fix(f )) = f ( n 0 f n ( )) (def. fix(f ) = n 0 (f (f n ( ))) (f é contínua) = n 1 f n ( ) (def. composição) = n 1 f n ( ) { } ( C { } = C, C é cadeia) = n 0 f n ( ) (f 0 ( ) = ) = fix(f ) (def. fix(f ))
61 Definição Recursiva dos Naturais Pares Even = {0} {n + 2 n Even} τ : (N) (N) = λs. {0} {n + 2 n s} Agora, considere a seguinte sequência: τ 0 ( ) = id( ) = τ 1 ( ) = {0} τ 2 ( ) = {0} {2} = {0, 2} τ 3 ( ) = {0} {2, 4} = {0, 2, 4} τ 4 ( ) = {0} {2, 4, 6} = {0, 2, 4, 6}. =. τ n ( ) = {0, 2, 4,..., 2n 2 n 1} τ n 0 τ n ( ) = {2n n 0}
62 Definição Recursiva de Silly Então silly(x) = silly(x + 1) τ : (N N ) (N N ) = λf. λx. f (x + 1) τ 0 ( )(n) = id( )(n) = ( )(n) = τ 1 ( )(n) = (n + 1) = τ (n) =
63 Questão Essencial (Final) Qual é o tipo do operador fix?
sumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...
sumário 1 introdução e conceitos básicos 1 1.1 introdução à matemática discreta... 2 1.2 conceitos básicos de teoria dos conjuntos... 3 1.2.1 conjuntos...3 1.2.2 pertinência...5 1.2.3 alguns conjuntos
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 maisUma memória é uma função total de identificadores para valores inteiros: se x=y σ(y) caso contrário
4 Semântica Denotacional 4 Semântica Denotacional Semântica denotacional é um estilo de semântica que visa dar modelos matemáticos para linguagens de programação (por isso ela também é chamada semântica
Leia maisCurso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza
Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES Prof.: Marcelo Maraschin de Souza marcelo.maraschin@ifsc.edu.br Considere o conjunto S={1,2,3}, descreva o conjunto dos pares ordenados
Leia mais4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn
4 Relações 4.1 Preliminares Definição 4.1. Sejam A e B conjuntos. Uma relação binária, R, de A em B é um subconjunto de A B. (R A B) Dizemos que a A está relacionado com b B sss (a, b) R. Notação: arb.
Leia maisRevisões de Conjuntos
Revisões de Conjuntos {, {a}, {b}, {a, b}} a A a pertence a A, a é elemento de A a {a, b, c} a / A a não pertence a A d / {a, b, c} A B A contido em B, A subconjunto de B x A x B {a, b} {b, c, a} A B A
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Relações Definição: Uma relação binária de um conjunto A num conjunto B é um subconjunto
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Diferentes computadores podem ter diferentes arquiteturas e os diversos tipos de linguagem de programação.
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 04 Programa Recursivo e Máquinas Prof.ª Danielle Casillo Funções recursivas Alguma função é recursiva quando
Leia maisMatemática Discreta Parte 11
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta Parte 11 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti
Leia maisCurso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação
Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A
Leia maisProduto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB;
Produto Cartesiano Par ordenado: são dois elementos em uma ordem fixa, (x,y) Produto Cartesiano: Dados dois conjuntos A e B, não vazios, chamamos de produto cartesiano de A por B o conjunto indicado por
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fecho transitivo Teorema: o fecho transitivo de uma relação R é igual a relação de
Leia maisCriptografia e Segurança das Comunicações. das Comunicações Bases Matemáticas - Relações e Ordens
9 Criptografia e Segurança das Comunicações Bases Matemáticas - Relações e Ordens Teoria Ordem: /22 Relações binárias () 9 Teoria da ordem é o ramo da matemática, dedicada a vária relações binárias, que
Leia maisxy 2 (b) A função é contínua na origem? Justique sua resposta! (a) Calculando o limite pela reta y = mx:
NOME: UNIVERSIDADE FEDERAL DO RIO DE JANEIRO Instituto de Matemática PRIMEIRA PROVA UNIFICADA CÁLCULO II Politécnica, Engenharia Química e Ciência da Computação 21/05/2013. 1 a QUESTÃO : Dada a função
Leia maiscomplemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem
Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1
Leia maisCá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 maisINE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE0003 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/3 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente
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 maisUm alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.
Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem
Leia maisMCTB Álgebra Linear Avançada I Claudia Correa Exercícios sobre corpos e espaços vetoriais sobre corpos
MCTB002-13 Álgebra Linear Avançada I Claudia Correa Exercícios sobre corpos e espaços vetoriais sobre corpos O Exercício 8 é o exercício bônus dessa lista Exercício 1. Seja K um conjunto formado exatamente
Leia maisParadigmas de Programação
Paradigmas de Programação Fabrício Olivetti de França 14 de Junho de 2018 1 λ-cálculo 2 Computabilidade Computabilidade é uma área de estudo central da Ciência da Computação. Ela estuda a possibilidade
Leia mais3.4 Álgebra booleana, ordens parciais e reticulados
Notas de aula de MAC0329 (2003) 23 3.4 Álgebra booleana, ordens parciais e reticulados Seja A um conjunto não vazio. Uma relação binária R sobre A é um subconjunto de A A, isto é, R A A. Se (x, y) R, denotamos
Leia maisEstruturas de dados. Pedro Vasconcelos. 3 de Março de 2014
Estruturas de dados Pedro Vasconcelos 3 de Março de 2014 Estruturas de dados Nesta aula vamos extender a linguagem FUN com estruturas de dados: pares e tuplos; variantes; records. Bibliografia: Capítulo
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 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 maisDenotational Semantics
October 26, 2018 Syntax of the Imp Language (intexp) e ::= 0 1... x -e e+e e-e... (boolexp) b ::= true false e=e e < e e < e... b b b b b... no quantified terms (comm) c ::= x := e skip c;c if b then c
Leia maisPrimeira Prova de Linguagens de Programação - DCC024 - Sistemas de Informação
Primeira Prova de Linguagens de Programação - DCC024 - Sistemas de Informaçã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
Leia maisMatemática Discreta - Departamento de Matemática - EST-IPV / III
Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 III - 1 Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - III 1. Conjuntos Conjuntos, relações e funções Axioma
Leia maisMAT TEORIA DOS CONJUNTOS 1 o SEMESTRE 2014 BACHARELADO - IME
MAT 330 - TEORIA DOS CONJUNTOS 1 o SEMESTRE 2014 BACHARELADO - IME LISTA 2 1. Prove que (a, b) ( ({a, b, })) e a, b (a, b). Mais geralmente, se a A e b A, então (a, b) ( (A)). 2. Prove que (a, b), (a,
Leia maisLinguagens Formais - Preliminares
Linguagens Formais - Preliminares Regivan H. N. Santiago DIMAp-UFRN 25 de fevereiro de 2007 Regivan H. N. Santiago (DIMAp-UFRN) Linguagens Formais - Preliminares 25 de fevereiro de 2007 1 / 26 Algumas
Leia maisDANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte
Leia maisEstrutura de Dados Conceitos Iniciais
Engenharia de CONTROLE e AUTOMAÇÃO Estrutura de Dados Conceitos Iniciais Aula 04 DPEE 08 Estrutura de Dados para Automação Curso de Engenharia de Controle e Automação Universidade Federal de Santa Maria
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/31 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
Leia maisCálculo Numérico / Métodos Numéricos. Solução de equações: Método do ponto fixo (iterativo linear - MIL) 15:01
Cálculo Numérico / Métodos Numéricos Solução de equações: Método do ponto fixo (iterativo linear - MIL) 15:01 Idéia Seja f(x) uma função continua em [a,b], intervalo que contém a raiz da equação f(x)=0.
Leia maisSistemas de Tipos. Cristiano Damiani Vasconcellos.
1 / 24 Sistemas de Tipos Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Departamento de Ciência da Computação Universidade do Estado de Santa Catarina Tipos 2 / 24 Tipos: Coleção de valores
Leia maisGRAFOS Aula 02 Formalização: definições Max Pereira
Ciência da Computação GRAFOS Aula 02 : definições Max Pereira Um grafo G é um par ordenado G = (V, E) onde V é um conjunto finito e não vazio de elementos e E é um conjunto de subconjuntos de dois elementos
Leia mais1.1 Conjuntos parcialmente ordenados (c.p.o. s)
Capítulo 1 PRELIMINARES Neste primeiro capítulo podemos encontrar algumas definições e proposições que para além de nos familiarizar com a notação que iremos utilizar também têm como finalidade a referência
Leia maisMétodo do Gradiente Projetado Para Funções Convexas Generalizadas
Método do Gradiente Projetado Para Funções Convexas Generalizadas Milton Gabriel Garcia dos SANTOS 1. Instituto de Matemática e Estatística, Universidade Federal de Goiás, Campus II- Caixa Postal 131,
Leia maisCapítulo 3. Fig Fig. 3.2
Capítulo 3 3.1. Definição No estudo científico e na engenharia muitas vezes precisamos descrever como uma quantidade varia ou depende de outra. O termo função foi primeiramente usado por Leibniz justamente
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Representação de Relações Definição: Uma relação binária de um conjunto A num conjunto
Leia maisA2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)
Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, que é baseada em um conjunto de axiomas (ou postulados). Veremos também algumas leis ou propriedades de álgebras booleanas.
Leia maisBacharelado em Ciência da Computação Matemática Discreta
Bacharelado em Ciência da Computação Matemática Discreta Prof. Diego Mello da Silva Instituto Federal de Minas Gerais - Campus Formiga 27 de fevereiro de 2013 diego.silva@ifmg.edu.br (IFMG) Matemática
Leia maisCompiladores. Simão Melo de Sousa. Computer Science Department University of Beira Interior, Portugal. S. Melo de Sousa Compiladores
Compiladores Verificação e inferência dos Tipos Simão Melo de Sousa Computer Science Department University of Beira Interior, Portugal Problema Permitir evitar declarar o tipo das variáveis, das assinaturas
Leia maisRelações binárias. Relações binárias. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.
Relações binárias Relações binárias. Referência: Capítulo: 2 Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006 1 RELAÇÕES BINÁRIAS Conjuntos-2 Combinar conjuntos C
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundamentos de Matemática Discreta para a Computação 2) Fundamentos 2.1) Conjuntos e Sub-conjuntos 2.2) Números Inteiros 2.3) Funções 2.4) Seqüências e Somas 2.5) Crescimento de Funções Funções
Leia maisFUNÇÕES. Prof.ª Adriana Massucci
FUNÇÕES Prof.ª Adriana Massucci Introdução: Muitas grandezas com as quais lidamos no nosso cotidiano dependem uma da outra, isto é, a variação de uma delas tem como consequência a variação da outra. Exemplo:
Leia maisMatemática Discreta para Computação: Prova 1 06/09/2017
Matemática Discreta para Computação: Prova 1 06/09/2017 Aluno(a): 1. Considere as premissas: Se o universo é finito, então a vida é curta., Se a vida vale a pena, então a vida é complexa., Se a vida é
Leia maisV Workshop de Álgebra UFG-CAC. Só Funções. Francismar Ferreira Lima. Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de / 43
V Workshop de Álgebra UFG-CAC Só Funções Francismar Ferreira Lima Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de 2016 1 / 43 Planejamento da Apresentação 1 Produto Cartesiano 2 Relação
Leia maisPedro Vasconcelos DCC/FCUP. Programação Funcional 3 a Aula Definição de funções
Programação Funcional 3 a Aula Definição de funções Pedro Vasconcelos DCC/FCUP 2014 Definição de funções Podemos definir novas funções simples usando funções pré-definidas. minuscula :: Char -> Bool minuscula
Leia maisAXB = {(x, y) x A e y B}
CENTRO UNIVERSITÁRIO DO NORTE PAULISTA LÓGICA E MATEMÁTICA DISCRETA 2010 1 Produto Cartesiano Par ordenado: são dois elementos em uma ordem fixa, (x,y) Produto Cartesiano: Dados dois conjuntos A e B, não
Leia maisLINGUAGENS FORMAIS E AUTÔMATOS
LINGUGENS FORMIS E UTÔMTOS Introdução reve Histórico Em 1936, lan Turing (matemático) propôs a possibilidade de se construir um computador digital através da formalização de um procedimento em tempo finito.
Leia maisIntuição da sintaxe de L2 (35)
2.2 A Linguagem L2 2.2 A Linguagem L2 A linguagem L2 é uma extensão de L1 com funções recursivas, memória (acesso e atualização de variáveis), sequência de comandos ( ; ) e laço de repetição while. Primeiro,
Leia maisProva: Usando as definições e propriedades de números reais, temos λz = λx + iλy e
Lista Especial de Exercícios de Física Matemática I Soluções (Número complexo, sequência de Cauchy, função exponencial e movimento hamônico simples) IFUSP - 8 de Agosto de 08 Exercício Se z x + iy, x,
Leia maisif not(isinstance(a, int)) or a < 0: raise ValueError ("misterio: arg nao e inteiro nao negativo") else: return misterio_aux(a, a + 1)
Capítulo 7 Recursão e iteração 1. (1) Considere a seguinte função: def misterio(a): def misterio_aux(b, c): if b == 0: return True elif c == 0: return False return misterio_aux(b -, c - ) if not(isinstance(a,
Leia maisAulas 10 e 11 / 18 e 20 de abril
1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar
Leia maisINE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE0003 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/51 6 - RELAÇÕES DE ORDENAMENTO 6.1) Conjuntos parcialmente
Leia maisNúmeros Reais. Gláucio Terra. Departamento de Matemática IME - USP. Números Reais p. 1/2
Números Reais Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Números Reais p. 1/2 Corpos DEFINIÇÃO Seja K um conjunto munido de duas operações, denotadas por + e. Diz-se que (K,
Leia maisGABARITO. Prova 3 (points: 142/100; bonus: 16 ; time: 90 ) FMC2, (Turmas T56+N12 do Thanos) Regras: Boas provas! Gabarito 23/06/2017
FMC2, 2017.1 (Turmas T56+N12 do Thanos) Prova 3 (points: 142/100; bonus: 16 ; time: 90 ) Nome: Θάνος Gabarito 23/06/2017 Regras: I. Não vires esta página antes do começo da prova. II. Nenhuma consulta
Leia mais2 Espaços Vetoriais. 2.1 Espaços Vetoriais Euclidianos
2 Espaços Vetoriais 2.1 Espaços Vetoriais Euclidianos Definição: Dado n N, considere-se o conjunto de todos os n-uplos ordenados de elementos reais, isto é o conjunto de elementos da forma x = (x 1,, x
Leia maisLÓGICA TEMPORAL COM RAMIFICAÇÕES (Branching time temporal logics)
LÓGICA TEMPORAL COM RAMIFICAÇÕES (Branching time temporal logics) UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA Lógica para computação Ananias Tessaro Bruno Fernandes Lucas Lopes Lógica
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 maisn. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS
n. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS Uma relação é um conjunto de pares ordenados, ou seja, um subconjunto de A B. Utilizando pares ordenados podemos definir relações por meio da linguagem de conjuntos.
Leia maisGABARITO. Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) FMC2, (Turma T56 do Thanos) Regras: Lembre-se: Boas provas! Gabarito 08/05/2017
FMC2, 2017.1 (Turma T56 do Thanos) Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) Nome: Θάνος Gabarito Regras: 08/05/2017 I. Não vires esta página antes do começo da prova. II. Nenhuma consulta de
Leia maisI.2 Introdução a Teoria da Computação
I.2 Introdução a Teoria da Computação O que é? Fundamento da Ciência da Computação Tratamento Matemático da Ciência da Computação Estudo Matemático da Transformação da Informação Qual sua importância?
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 08 Equivalência de programas Parte 2 Prof.ª Danielle Casillo Poder computacional dos diversos tipos de programas
Leia maisFundamentos de Programação
Fundamentos de Programação Soluções do primeiro teste 13 de Novembro de 2004 9:00-10:30 Nota Número: 20 Nome: Turma: Escreva o seu número em todas as folhas do teste. O espaço das respostas deve ser limitado
Leia maisCombinando relações. Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações
1 / 11 Combinando relações Combinando relações Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações R 1 = {(1, 1), (2, 2), (3, 3)} e R 2 = {(1, 1), (1, 2), (1, 3), (1, 4)} podem ser combinadas para
Leia maisE-books PCNA. Vol. 1 MATEMÁTICA ELEMENTAR CAPÍTULO 3 FUNÇÕES
E-books PCNA Vol. 1 MATEMÁTICA ELEMENTAR CAPÍTULO 3 FUNÇÕES 1 MATEMÁTICA ELEMENTAR CAPÍTULO 3 SUMÁRIO Apresentação -------------------------------------------------------2 Capítulo 3 ------------------------------------------------------
Leia maisSCC Capítulo 1 Linguagens Regulares e Autômatos Finitos
SCC-505 - Capítulo 1 Linguagens Regulares e Autômatos Finitos João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo
Leia maisFunção: parte 1. Prof. Santos Alberto Enriquez Remigio. 26 de março de 2018 FAMAT/UFU
Função: parte 1 Prof. Santos Alberto Enriquez Remigio FAMAT/UFU 26 de março de 2018 Denição Sejam os conjuntos A, B (conjunto vazio). Uma função de A em B é uma relação que associa a cada elemento a A
Leia maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Introdução Problema: definir um conjunto de cadeias de símbolos; Prof. Yandre Maldonado - 2 Exemplo: conjunto
Leia maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Problema: definir um conjunto de cadeias de símbolos; Prof. Yandre Maldonado - 2 Exemplo: conjunto M dos
Leia maisTeoria Ingênua dos Conjuntos (naive set theory)
Teoria Ingênua dos Conjuntos (naive set theory) MAT 131-2018 II Pouya Mehdipour 5 de outubro de 2018 Pouya Mehdipour 5 de outubro de 2018 1 / 22 Referências ALENCAR FILHO, E. Iniciação à Lógica Matemática,
Leia maisPedro Vasconcelos DCC/FCUP. Programação Funcional 5 a Aula Definições recursivas
Programação Funcional 5 a Aula Definições recursivas Pedro Vasconcelos DCC/FCUP 2014 Definições usando outras funções Podemos definir funções usando outras previamente definidas (e.g. do prelúdio-padrão).
Leia maisEsta disciplina auxilia em todas as outras áreas da Matemática. Isso porque veremos noções de lógica e de demonstrações matemáticas.
Noções Básicas Esta disciplina auxilia em todas as outras áreas da Matemática. Isso porque veremos noções de lógica e de demonstrações matemáticas. Numa visão bem geral, veremos: Quais são as principais
Leia maisMatemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
Leia maisO grau de saída d + (v) de um vértice v é o número de arcos que tem
Grafos Direcionados Definição (Grau de Entrada) O grau de entrada d (v) de um vértice v é o número de arcos que tem v como cabeça. Definição (Grau de Saída) O grau de saída d + (v) de um vértice v é o
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA. Medida e Probabilidade
UNIVERSIDADE FEDERAL DE PERNAMBUCO DEPARTAMENTO DE ESTATÍSTICA Medida e Probabilidade Aluno: Daniel Cassimiro Carneiro da Cunha Professor: Andre Toom 1 Resumo Este trabalho contem um resumo dos principais
Leia maisCentro de Informática UFPE
,, Estruturas,, Centro de Informática UFPE 1 ,, 1 2 3 4 2 ,, Introdução Uma matilha de cães Um cacho de uvas Uma quadrilha de ladrões Estes são exemplos de conjuntos. 3 ,, Definição Um conjunto é um coleção
Leia maisBCC465 - TÉCNICAS DE MULTI-OBJETIVO. Gladston Juliano Prates Moreira 22 de novembro de 2017
BCC465 - TÉCNICAS DE OTIMIZAÇÃO MULTI-OBJETIVO Aula 04 - Otimização Não-linear Gladston Juliano Prates Moreira email: gladston@iceb.ufop.br CSILab, Departamento de Computação Universidade Federal de Ouro
Leia maisMatemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
Leia maisTeoria da Computação
Introdução Março - 2009 1 Noções e Terminologia Matemática Conjuntos Um conjunto é um grupo de objetos, chamados elementos ou membros, representado como uma unidade. O conjunto { 3, 41, 57} possui os elementos
Leia maisTeoria da Computação Exame 1 30 de Junho de 2003
Licenciatura em Engenharia Informática e de Computadores Teoria da Computação Exame 1 30 de Junho de 2003 I.1 a) Considere-se a gramática regular G = (V, I, P, S) onde V = {S, A, B, C, D}, I = {x, y} e
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Os teoremas citados na aula anterior, podem dar a falsa impressão de que o poder computacional da classe dos
Leia maisProgramação imperativa
Capítulo 8 Programação imperativa 8.1 Exercícios de revisão 1. Distinga entre programação imperativa e programação funcional. 2. Explique a necessidade da introdução do operador de atribuição. 3. Diga
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
Leia maisLinguagens Formais e Problemas de Decisão
Linguagens Formais e Problemas de Decisão Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Formais e Problemas
Leia maispuras um ou mais apenas mesmos
Funções Relembrando um dos objetivos do paradigma de programação funcional: Escrever funções puras Na prática, uma função pura apresenta as seguintes características: Possui um ou mais parâmetros; Realiza
Leia maisFUNÇÃO. Regra. Lei de Formação. Propriedade
FUNÇÃO Regra Lei de Formação Propriedade Definição: Uma relação f é chamada função desde que (a,b) f e (a,c) f impliquem b=c. A definição acima equivale a dizer que : uma relação f não é uma função se
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I Tópico: Produto Cartesiano 1. Dados os conjuntos M = {1, 3, 5} e N = {2, 4},
Leia maisCapítulo 0: Conjuntos, funções, relações
Capítulo 0: Conjuntos, funções, relações Notação. Usaremos Nat para representar o conjunto dos números naturais; Int para representar o conjunto dos números inteiros. Para cada n Nat, [n] representa o
Leia maisTeoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos
Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção
Leia maisReviso de Teoria da Medida e Elementos Bsicos de Probabilidade
Reviso de Teoria da Medida e Elementos Bsicos de Probabilidade Roberto Imbuzeiro Oliveira 9 de Março de 2009 Resumo Esta lista cobre o básico do básico sobre espaços e distribuições de probabilidade. Pouco
Leia maisSumário Algumas Demonstrações CONCLUSÃO RESUMO ATIVIDADES... 34
Sumário Aula 11: Relações Binárias 9 11.1 Introdução... 10 11.2 Relações Binárias... 10 11.2.1 Propriedades das Relações Binárias... 13 11.3 Algumas Demonstrações... 16 11.4 CONCLUSÃO... 18 11.5 RESUMO....
Leia maisLógica e Programação - Folha de trabalho n. 3
Lógica de 1 ā ordem Linguagens, termos, fórmulas e semântica 1 Seja L uma linguagem de 1 ā ordem com igualdade e tal que F 0 = {a, b}, F 1 = {g}, F 2 = {f, h}, R 1 = {R, S} e R 2 = {P, Q}. i. O comprimento
Leia maisJuliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação
Universidade Federal de Santa Maria Disciplina de Teoria da Computação Quais são as capacidades e limitações fundamentais dos computadores? Funções Computáveis Algoritmo: descrição finitade uma computação
Leia maisSistemas de Tipos. Cristiano Damiani Vasconcellos.
1 / 35 Sistemas de Tipos Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Departamento de Ciência da Computação Universidade do Estado de Santa Catarina Tipos 2 / 35 Tipos: Coleção de valores
Leia maisFunções, Seqüências, Cardinalidade
Funções, Seqüências, Cardinalidade Prof.: Rossini Monteiro Noções Básicas Definição (Função) Sejam A e B conjuntos. Uma função de A em B é um mapeamento de exatamente um elemento de B para cada elemento
Leia mais