Construções relativas de novo

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

Download "Construções relativas de novo"

Transcrição

1 Construções relativas de novo Luiz Arthur Pagani (UFPR) Esta apresentação foi preparada no sistema LATEX, através de uma de suas implementações para Linux o TEXLive e de um programa de integração (IDE) o Kile ambos instalados em computadores funcionando com o sistema operacional Kurumin (Linux), dentro das diretrizes do chamado software livre

2 1 Introdução Resumo de Borges (1999, cap 8), sobre as construções relativas na Gramática Categorial Críticas à solução de Borges Nova proposta de solução VIII Encontro do CELSUL 1 Porto Alegre, 29 a 31 de outubro de 2008

3 2 Borges 1999, cap 8 Três tipos de construções relativas: Sociolingüisticamente não-marcada e só na escrita Padrão Sociolingüisticamente marcadas Cortadora Com pronome ressumptivo VIII Encontro do CELSUL 2 Porto Alegre, 29 a 31 de outubro de 2008

4 21 Exemplos Relativas de sujeito: Uma amiga que é ótima (padrão/cortadora) Uma amiga que ela é ótima (pronome ressumptivo) Relativas de objeto direto: Uma amiga que você conhece (padrão/cortadora) Uma amiga que você conhece ela (pronome ressumptivo) Relativas oblíquas (de objeto indireto): Uma amiga de que eu gosto(padrão) Uma amiga que eu gosto(cortadora) Uma amiga que eu gosto dela(pronome ressumptivo) VIII Encontro do CELSUL 3 Porto Alegre, 29 a 31 de outubro de 2008

5 22 Recursos da Gramática Categorial : X/Y : φ Y : α X : φ(α) Y : α Y \X : φ X : φ(α) Redução-β: λxφ(α) φ x α Exemplo: Pedro N : p Lx corre N\S : λxc(x) S : λxc(x)(p) = redβ C(p) Lx VIII Encontro do CELSUL 4 Porto Alegre, 29 a 31 de outubro de 2008

6 23 Padrão/cortadora de sujeito que Lx conhece Pedro (N C \N C )/(N\S) : N\S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) C(p) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(c(p)) = redβ λp 1 λx(p 1 (x) C(p)(x)) D VIII Encontro do CELSUL 5 Porto Alegre, 29 a 31 de outubro de 2008

7 uma amiga que conhece Pedro Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(p)(x)) N C : λp 1 λx(p 1 (x) C(p)(x))(A) = redβ λx(a(x) C(p)(x)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(p)(x))) = redβ λp 4 z(λx(a(x) C(p)(x))(z) P 4 (z)) = redβ λp 4 z((a(z) C(p)(z)) P 4 (z)) VIII Encontro do CELSUL 6 Porto Alegre, 29 a 31 de outubro de 2008

8 24 Padrão/cortadora de objeto direto que Lx Pedro conhece (N C \N C )/(S/N) : S/N : λp 2 λp 1 λx(p 1 (x) P 2 (x)) λyc(y)(p) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(y)(p)) = redβ λp 1 λx(p 1 (x) λyc(y)(p)(x)) = redβ λp 1 λx(p 1 (x) C(x)(p)) D VIII Encontro do CELSUL 7 Porto Alegre, 29 a 31 de outubro de 2008

9 uma amiga que Pedro conhece Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(x)(p)) N C \N C : = redβ λp 1 λx(p 1 (x) C(x)(p))(A) = redβ λx(a(x) C(x)(p)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(x)(p))) = redβ λp 4 z(λx(a(x) C(x)(p))(z) P 4 (z)) = redβ λp 4 z((a(z) C(z)(p)) P 4 (z)) VIII Encontro do CELSUL 8 Porto Alegre, 29 a 31 de outubro de 2008

10 25 Pronome ressumptivo de sujeito que Lx ela conhece Pedro (N C \N C )/S : S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) λyc(p)(y) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(p)(y)) = redβ λp 1 λx(p 1 (x) λyc(p)(y)(x)) = redβ λp 1 λx(p 1 (x) C(p)(x)) D VIII Encontro do CELSUL 9 Porto Alegre, 29 a 31 de outubro de 2008

11 uma amiga que ela conhece Pedro Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(p)(x)) N C \N C : = redβ λp 1 λx(p 1 (x) C(p)(x))(A) = redβ λx(a(x) C(p)(x)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(p)(x))) = redβ λp 4 z(λx(a(x) C(p)(x))(z) P 4 (z)) = redβ λp 4 z((a(z) C(p)(z)) P 4 (z)) VIII Encontro do CELSUL 10 Porto Alegre, 29 a 31 de outubro de 2008

12 26 Pronome ressumptivo de objeto direto que Lx Pedro conhece ela (N C \N C )/S : S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) λyc(y)(p) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(y)(p)) = redβ λp 1 λx(p 1 (x) λyc(y)(p)(x)) = redβ λp 1 λx(p 1 (x) C(x)(p)) D VIII Encontro do CELSUL 11 Porto Alegre, 29 a 31 de outubro de 2008

13 uma amiga que Pedro conhece ela Lx Lx D N/N C : N C : N C \N C : λp 3 λp 4 z(p 3 (z) P 4 (z)) A λp 1 λx(p 1 (x) C(x)(p)) N C \N C : = redβ λp 1 λx(p 1 (x) C(x)(p))(A) = redβ λx(a(x) C(x)(p)) N : λp 3 λp 4 z(p 3 (z) P 4 (z))(λx(a(x) C(x)(p))) = redβ λp 4 z(λx(a(x) C(x)(p))(z) P 4 (z)) = redβ λp 4 z((a(z) C(z)(p)) P 4 (z)) VIII Encontro do CELSUL 12 Porto Alegre, 29 a 31 de outubro de 2008

14 3 Críticas Só funciona quando as lacunas aparecem nas extremidades das expressões, mas não em sintagmas como uma amiga que Pedro conhece desde o ano passado Postulação da categoria S, com denotação do mesmo tipo que a de N\S ( e, t ) A categoria N, quando identica sintagmas como uma amiga que Pedro conhece é um quanticador generalizado, então deveria corresponder a S/(N\S), quando no sujeito, e a (S/N)\S, quando no objeto direto (Ou antes, ambos como N S, mas isso nos levaria muito além do escopo desta apresentação) VIII Encontro do CELSUL 13 Porto Alegre, 29 a 31 de outubro de 2008

15 4 Soluções 41 Conectivo A : y n B : α B A : λyα I n VIII Encontro do CELSUL 14 Porto Alegre, 29 a 31 de outubro de 2008

16 411 que Pedro conhece desde o ano passado que Pedro conhece Lx Lx Lx 1 D (N C \N C )/(S N) : N : (N\S)/N : N : S\S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) p C y AP S : AP (C(y)(p)) S N : λyap (C(y)(p)) N C \N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyap (C(y)(p))) = redβ λp 1 λx(p 1 (x) λyap (C(y)(p))(x)) = redβ λp 1 λx(p 1 (x) AP (C(x)(p))) D I 1 VIII Encontro do CELSUL 15 Porto Alegre, 29 a 31 de outubro de 2008

17 42 Conectivo B A : α B : x E n A : β A : α(λxβ) n VIII Encontro do CELSUL 16 Porto Alegre, 29 a 31 de outubro de 2008

18 421 uma amiga que Pedro conhece ela que Pedro conhece ela Lx Lx Lx Lx (N C \N C )/S : N : (N\S)/N : N S : λp 2 λp 1 λx(p 1 (x) P 2 (x)) p C λzz S : C(y)(p) S : λzz(λyc(y)(p)) = redβ λyc(y)(p) N C /N C : λp 2 λp 1 λx(p 1 (x) P 2 (x))(λyc(y)(p)) = redβ λp 1 λx(p 1 (x) λyc(y)(p)(x)) = redβ λp 1 λx(p 1 (x) C(x)(p)) N : y E 0 D 0 VIII Encontro do CELSUL 17 Porto Alegre, 29 a 31 de outubro de 2008

19 5 Conclusões Unicação de (N C \N C )/(N\S) e (N C \N C )/(S/N) como (N C \N C )/(S N) Eliminação de S Perspectiva: unicar (N C \N C )/(S N) e (N C \N C )/S VIII Encontro do CELSUL 18 Porto Alegre, 29 a 31 de outubro de 2008

Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR)

Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR) Gramática Categorial Conectivo Luiz Arthur Pagani (UFPR) 1 1 Motivação Pedro bateu em sua mulher e José fez o mesmo três interpretações: 1. Pedro e José bateram na mulher de Pedro 2. Pedro e José bateram,

Leia mais

Observações iniciais para a descrição gramatical da conjunção e

Observações iniciais para a descrição gramatical da conjunção e Observações iniciais para a descrição gramatical da conjunção e Luiz Arthur Pagani (UFPR) http://people.ufpr.br/arthur arthur@ufpr.br Esta apresentação foi preparada no sistema LATEX, através de sua implementação

Leia mais

Gramática Categorial: Inferência de informação morfológica verbo no passado. Luiz Arthur Pagani (UFPR)

Gramática Categorial: Inferência de informação morfológica verbo no passado. Luiz Arthur Pagani (UFPR) : Inferência de informação morfológica verbo no passado Luiz Arthur Pagani (UFPR) 1 1 Pedro correu Prior [2]: P operador proposicional `aconteceu de... ' representação: (P (C p)) `aconteceu de Pedro correr'

Leia mais

Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR)

Gramática Categorial Conectivo. Luiz Arthur Pagani (UFPR) Luiz Arthur Pagani (UFPR) 1 1 Conj. integrante vs. pronome relativo Conjunção integrante sentença inteira como complemento: Maria acha que Pedro fuma Pedro disse que Maria odeia Grosbilda Grosbilda sabe

Leia mais

Impressões lingüísticas sobre duas axiomatizações para a Gramática Categorial

Impressões lingüísticas sobre duas axiomatizações para a Gramática Categorial Impressões lingüísticas sobre duas axiomatizações para a Gramática Categorial Luiz Arthur Pagani (UFPR) arthur@ufpr.br http://people.ufpr.br/ arthur 1 Introdução No presente texto, 1 discute-se de um ponto

Leia mais

HL059 Língua Portuguesa VII

HL059 Língua Portuguesa VII HL059 Língua Portuguesa VII Luiz Arthur Pagani 24 de setembro de 2018 1 Faça a análise da sentença Pedro e Maria saíram, considerando os itens lexicais abaixo (além das entradas lexicais para Pedro e Maria,

Leia mais

Representação semântica em analisadores gramaticais. Luiz Arthur Pagani (UFPR)

Representação semântica em analisadores gramaticais. Luiz Arthur Pagani (UFPR) Representação semântica em analisadores gramaticais Luiz Arthur Pagani (UFPR) arthur@ufpr.br 1 1 Introdução Analisador gramatical (parser) é normalmente apenas analisador sintático: o resultado do processamento

Leia mais

Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 crença de que a estrutura lógica das línguas naturais não é igual à das línguas articiais da lógica:

Leia mais

Gramática Categorial Independente

Gramática Categorial Independente Gramática Categorial Independente Luiz Arthur Pagani (DELIN/UFPR) http://people.ufpr.br/ arthur arthur@ufpr.br Fevereiro de 2011 Sumário 1 Introdução 3 1.1 Fundamentos............................................................

Leia mais

Gramática de Montague

Gramática de Montague Gramática de Montague Apresentação Inicial Luiz Arthur Pagani 1 There is in my opinion no important theoretical dierence between natural languages and the articial languages of logicians; indeed I consider

Leia mais

1 Introdução. 2 Gramática Categorial e Diagrama de Prawitz. Luiz Arthur Pagani (UFPR) arthur 2.

1 Introdução. 2 Gramática Categorial e Diagrama de Prawitz. Luiz Arthur Pagani (UFPR)  arthur 2. Gramática Categorial através de Estrutura de Características, em 2003; nesta presente versão, foram feitas as correções de alguns pequenos erros que saíram na versão publicada. Luiz Arthur Pagani (UFPR)

Leia mais

Redução-β em Prolog SN :? N : M. Det :?

Redução-β em Prolog SN :? N : M. Det :? Redução-β em Prolog Luiz Arthur Pagani (UFPR) Resumo Apresenta-se aqui uma nova implementação em Prolog para a operação de redução-β, parte do cálculo-λ importante para a semântica composicional, e que

Leia mais

Um problema formal na interpretação dos sintagmas preposicionados. Luiz Arthur Pagani (UFPR)

Um problema formal na interpretação dos sintagmas preposicionados. Luiz Arthur Pagani (UFPR) Um problema formal na interpretação dos sintagmas preposicionados Luiz Arthur Pagani (UFPR) 1 1 Introdução Diculdade em relação à interpretação dos sintagmas preposicionados que não recebeu muita atenção

Leia mais

A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani A sintaxe do cálculo de predicados (II), cap. 7 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Linguagens de primeira ordem (Onde se usa linguagem, vou preferir língua; porque o primeiro

Leia mais

Analisadores Gramaticais em Prolog (Projeto de pesquisa)

Analisadores Gramaticais em Prolog (Projeto de pesquisa) Analisadores Gramaticais em Prolog (Projeto de pesquisa) Luiz Arthur Pagani http://people.ufpr.br/ arthur arthur@ufpr.br Resumo Neste texto, apresenta-se ao Departamento de Lingüística, Letras Vernáculas

Leia mais

Referência dinâmica. Luiz Arthur Pagani (UFPR)

Referência dinâmica. Luiz Arthur Pagani (UFPR) Referência dinâmica Luiz Arthur Pagani (UFPR) 1 1 Introdução Motivo: sendo I uma função, ela não pode atribuir à mesma constante dois ou mais indivíduos [5, p. 160; grifo no original]. Com nome, argumento

Leia mais

IMPRESSÕES LINGÜÍSTICAS SOBRE DUAS

IMPRESSÕES LINGÜÍSTICAS SOBRE DUAS IMPRESSÕES LINGÜÍSTICAS SOBRE DUAS AXIOMATIZAÇÕES PARA A GRAMÁTICA CATEGORIAL * Linguistic impressions on two axiomatizations for Categorial Grammar Luiz Arthur Pagani ** INTRODUÇÃO No presente texto,

Leia mais

Escopo in situ. 1 Introdução. 2 Recursos iniciais. Luiz Arthur Pagani (UFPR) 2.1 Sintaxe

Escopo in situ. 1 Introdução. 2 Recursos iniciais. Luiz Arthur Pagani (UFPR) 2.1 Sintaxe Escopo in situ Luiz Arthur Pagani (UFPR) 1 Introdução A ambigüidade devido à interação entre quanticadores já é conhecida há muito tempo, na semântica, e pode ser encontrada em diversos manuais de de introdução

Leia mais

Sistemas de Equações Diferenciais Lineares

Sistemas de Equações Diferenciais Lineares Capítulo 9 Sistemas de Equações Diferenciais Lineares Agora, estamos interessados em estudar sistemas de equações diferenciais lineares de primeira ordem: Definição 36. Um sistema da linear da forma x

Leia mais

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere

Leia mais

Cap 03: Dilatação térmica de sólidos e líquidos

Cap 03: Dilatação térmica de sólidos e líquidos Cap 03: Dilatação térmica de sólidos e líquidos A mudança nas dimensões dos corpos, quando sofrem variações de temperatura, é um fenômeno que pode ser facilmente observado em situações do cotidiano. Quando

Leia mais

A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Símbolos individuais alfabeto & gramática: para caracterizar uma linguagem formal necessitamos,

Leia mais

ESTUDOS LINGÜÍSTICOS DOSSIÊ GRAMÁTICAS CATEGORIAIS

ESTUDOS LINGÜÍSTICOS DOSSIÊ GRAMÁTICAS CATEGORIAIS ESTUDOS LINGÜÍSTICOS DOSSIÊ GRAMÁTICAS CATEGORIAIS AS GRAMÁTICAS CATEGORIAIS José Borges Neto* As gramáticas categoriais são um conjunto de formalismos aparentados destinados ao tratamento da sintaxe e

Leia mais

Corte por Arranque de Apara. Tecnologia Mecânica 1

Corte por Arranque de Apara. Tecnologia Mecânica 1 Tecnologia Mecânica 1 Temas Abordados: Breve História do Arranque de Apara Fundamentos Processos e Aplicação Características das Máquinas-Ferramenta Características das Ferramentas Softwares de CAD/CAM

Leia mais

Nota de Aplicação NA#10. Instalando driver USB para comunicação com no-breaks Engetron.

Nota de Aplicação NA#10. Instalando driver USB para comunicação com no-breaks Engetron. Nota de Aplicação Instalando driver USB para comunicação com no-breaks Engetron NA#10 Engetron Engenharia Eletrônica Ind. e Com. Ltda Atendimento ao consumidor: (31) 3359-5800 www.engetron.com.br 2008,

Leia mais

Cap 03: Dilatação térmica de sólidos e líquidos

Cap 03: Dilatação térmica de sólidos e líquidos Cap 03: Dilatação térmica de sólidos e líquidos A mudança nas dimensões dos corpos, quando sofrem variações de temperatura, é um fenômeno que pode ser facilmente observado em situações do cotidiano. Quando

Leia mais

Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar

Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.

Leia mais

+ + 2 + + + 2 + + 23 + 3 + 23 + 2 + + 23 + 3 + 23 + 3 + 23 + 3 2345678 2 3 4 2 2 + + 2 + 3 2 3 2 3 ± + + 2 2 + + 3 2 3 2 + + + + 2 3 3 + + + + 2 3 3 + + + + 2 3 3 + + + 2 3 3 + + 2 3 4 + 2 3 23452454 +

Leia mais

Fundamentos e começo, aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Fundamentos e começo, aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Fundamentos e começo, aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 o que é signicado? semântica de teoria de modelos muitos avanços recentes A tarefa primordial das teorias

Leia mais

Gramática, reconhecimento e análise gramatical. Luiz Arthur Pagani

Gramática, reconhecimento e análise gramatical. Luiz Arthur Pagani Gramática, reconhecimento e análise gramatical Luiz Arthur Pagani 1 1 Introdução estrutura de constituintes: Uma sentença em uma língua natural é composta por estruturas, chamadas de sintagmas ou constituintes

Leia mais

Modelagem Cinemática de Robôs Industriais. Prof. Assoc. Mário Luiz Tronco

Modelagem Cinemática de Robôs Industriais. Prof. Assoc. Mário Luiz Tronco Modelagem Cinemática de Robôs Industriais Prof. Assoc. Mário Luiz Tronco Mário Prof. Mário Luiz Tronco Luiz Tronco Transformação direta de coordenadas θ 1 θ 2... θ N Variáveis de junta Variáveis cartesianas

Leia mais

Diagramas em árvore. Luiz Arthur Pagani (UFPR)

Diagramas em árvore. Luiz Arthur Pagani (UFPR) Diagramas em árvore (UFPR) 1 1 Introdução Uma árvore representa três tipos de informação: Estrutura de constituintes (ramos da árvore) Categoria dos constituintes (rótulos nos nós da árvore) Ordenamento

Leia mais

Apresentação em L A TEX

Apresentação em L A TEX Apresentação em L A TEX Prof. Clayton Reginaldo Pereira 1 Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP 2 Departamento de Computação - DCo 2 de maio de 2011 Prof. Clayton Reginaldo Pereira

Leia mais

A forma canônica de Jordan

A forma canônica de Jordan A forma canônica de Jordan 1 Matrizes e espaços vetoriais Definição: Sejam A e B matrizes quadradas de orden n sobre um corpo arbitrário X. Dizemos que A é semelhante a B em X (A B) se existe uma matriz

Leia mais

DANIEL MARTINESCHEN ANALISADOR GRAMATICAL POR DESLOCAMENTO E REDUÇÃO PARA GRAMÁTICAS CATEGORIAIS

DANIEL MARTINESCHEN ANALISADOR GRAMATICAL POR DESLOCAMENTO E REDUÇÃO PARA GRAMÁTICAS CATEGORIAIS DANIEL MARTINESCHEN ANALISADOR GRAMATICAL POR DESLOCAMENTO E REDUÇÃO PARA GRAMÁTICAS CATEGORIAIS Trabalho de Graduação apresentado como requisito parcial à obtenção do grau de Bacharel em Ciência da Computação.

Leia mais

05 - DEPTO. DE ENGENHARIA ELETRÔNICA E DE TELECOMUNICAÇÕES

05 - DEPTO. DE ENGENHARIA ELETRÔNICA E DE TELECOMUNICAÇÕES Antenas e Propagação I 1 124 Antenas e Propagação II 1 298 Circuitos Comb e Sequenciais 1 662 Circuitos Comb e Sequenciais 2 662 3a M3M4 5a M5T1 3a T3T4 5a T3T5 3a T1T2 5a T1T2 4a T1T2 6a T1T2 Circuitos

Leia mais

Curso de Computação Gráfica (CG) 2014/2- Cap 2 parte 2 Transformações no espaço e projeções Trabalho 5 (individual) - Gabarito

Curso de Computação Gráfica (CG) 2014/2- Cap 2 parte 2 Transformações no espaço e projeções Trabalho 5 (individual) - Gabarito Curso de Computação Gráfica (CG) 2014/2- Cap 2 parte 2 Transformações no espaço e projeções Trabalho 5 (individual) - Gabarito 1- Mostre porque a matriz de rotação 3D em torno do eixo y precisa ter o valor

Leia mais

massa do corpo: m; constante elástica da mola: k.

massa do corpo: m; constante elástica da mola: k. Um corpo, de massa m, está preso a extremidade de uma mola, de constante elástica k, e apoiado sobre uma superfície horizontal sem atrito. A outra extremidade da mola se encontra presa em ponto fixo. Afasta-se

Leia mais

Metodologia do Trabalho Científico

Metodologia do Trabalho Científico Metodologia do Trabalho Científico Aula 4 - Introdução ao L A TEX, Referências e Citações Departamento de Estatística / UFPB 1 / 12 Introdução ao L A TEX 1. Esta é uma introdução ao L A TEX focada nos

Leia mais

ÒØ ÖÔÖ Ø Ó Ó ÔÖÓ ÒØ Ñ ÂÓ ÓÖ Æ ØÓ ² ÄÙ Þ ÖØ ÙÖ È Ò Í Èʵ ½ ÁÒØÖÓ ÙÓ ÆÙÑ Ø ÜØÓ ÒÓØ Ú Ð ÔÙ Ð Ó Ñ ½ ½ ÊÓ ÓÐ Ó ÁÐ Ö ½¾ ÙØ Ù ÒØÖ ÓÙØÖ Ó µ ÙÑ ÒÑ ÒÓ ÑÒØ Ó ÓÒ

ÒØ ÖÔÖ Ø Ó Ó ÔÖÓ ÒØ Ñ ÂÓ ÓÖ Æ ØÓ ² ÄÙ Þ ÖØ ÙÖ È Ò Í Èʵ ½ ÁÒØÖÓ ÙÓ ÆÙÑ Ø ÜØÓ ÒÓØ Ú Ð ÔÙ Ð Ó Ñ ½ ½ ÊÓ ÓÐ Ó ÁÐ Ö ½¾ ÙØ Ù ÒØÖ ÓÙØÖ Ó µ ÙÑ ÒÑ ÒÓ ÑÒØ Ó ÓÒ ÒØ ÖÔÖ Ø Ó Ó ÔÖÓ ÒØ Ñ ÂÓ ÓÖ Æ ØÓ ² ÄÙ Þ ÖØ ÙÖ È Ò Í Èʵ ½ ÁÒØÖÓ ÙÓ ÆÙÑ Ø ÜØÓ ÒÓØ Ú Ð ÔÙ Ð Ó Ñ ½ ½ ÊÓ ÓÐ Ó ÁÐ Ö ½¾ ÙØ Ù ÒØÖ ÓÙØÖ Ó µ ÙÑ ÒÑ ÒÓ ÑÒØ Ó ÓÒ Ó ÓÑÓ Ñ ÒØ ØÖ Ø ÓÙ ÙØ Ñ Ò Ð ØÖ Ø» ÐÓÔÔÝ ÒØ Øݵº Ð Ñ

Leia mais

Funções gramaticais: Sujeito e predicado. Luiz Arthur Pagani (UFPR)

Funções gramaticais: Sujeito e predicado. Luiz Arthur Pagani (UFPR) Funções gramaticais: Sujeito e predicado (UFPR) 1 1 Tradição gramatical termos essenciais: São termos essenciais da oração o sujeito e o predicado. [2, p. 119] As orações de estrutura favorita em português

Leia mais

Agentes que Raciocinam Logicamente. Prof. Júlio Cesar Nievola PPGIA PUC-PR

Agentes que Raciocinam Logicamente. Prof. Júlio Cesar Nievola PPGIA PUC-PR Agentes que Raciocinam Logicamente Prof. Júlio Cesar Nievola PPGIA PUC-PR Um agente baseado em conhecimento Componente central: a base de conhecimentos (KB ou BC) A BC é um conjunto de representações de

Leia mais

Universidade Federal de Pelotas Disciplina de Microeconomia 1 Professor Rodrigo Nobre Fernandez Lista 1 - Soluções

Universidade Federal de Pelotas Disciplina de Microeconomia 1 Professor Rodrigo Nobre Fernandez Lista 1 - Soluções Universidade Federal de Pelotas Disciplina de Microeconomia Professor Rodrigo Nobre Fernandez Lista - Soluções ) Suponha que existam apenas dois bens e o governo resolve controlar os preços desses bens

Leia mais

Álgebra Linear. Shin Takahashi, Iroha Inoue e Trend-Pro Co., Ltd. novatec

Álgebra Linear. Shin Takahashi, Iroha Inoue e Trend-Pro Co., Ltd. novatec Guia Mangá Álgebra Linear Apêndices suplementares Shin Takahashi, Iroha Inoue e Trend-Pro Co., Ltd. novatec Copyright by Shin Takahashi e TREND-PRO Co., Ltd. ISBN-: 978--97--9 Copyright Novatec Editora

Leia mais

A FLEXÃO PORTUGUESA: ELEMENTOS QUE DESMISTIFICAM O CONCEITO DE QUE FLEXÃO E CONCORDÂNCIA SÃO CATEGORIAS SINTÁTICAS DEPENDENTES 27

A FLEXÃO PORTUGUESA: ELEMENTOS QUE DESMISTIFICAM O CONCEITO DE QUE FLEXÃO E CONCORDÂNCIA SÃO CATEGORIAS SINTÁTICAS DEPENDENTES 27 Página 75 de 315 A FLEXÃO PORTUGUESA: ELEMENTOS QUE DESMISTIFICAM O CONCEITO DE QUE FLEXÃO E CONCORDÂNCIA SÃO CATEGORIAS SINTÁTICAS DEPENDENTES 27 Iany França Pereira 28 (UESB) Cristiane Namiuti Temponi

Leia mais

TEORIA MICROECONÔMICA I N

TEORIA MICROECONÔMICA I N CENTRO DE CIÊNCIAS SOCIAIS DEPARTAMENTO DE ECONOMIA ECO 1113 TEORIA MICROECONÔMICA I N PROFESSOR: JULIANO ASSUNÇÃO TURMA: 2JA Capítulo 5: Escolha 1. Resolva os seguintes problemas de maximização sujeita

Leia mais

DEMONSTRANDO UMA INTUIÇÃO EQUIVOCADA: *

DEMONSTRANDO UMA INTUIÇÃO EQUIVOCADA: * DEMONSTRANDO UMA INTUIÇÃO EQUIVOCADA: * O USO DA LÓGICA E DA COMPUTAÇÃO NA LINGÜÍSTICA On a mistaken intuition: the use of logic and computation in linguistics Luiz Arthur Pagani 1 INTRODUÇÃO Em um artigo

Leia mais

Teoria da Computação Exame 1 30 de Junho de 2003

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

Introdução a uma abordagem formal da sintaxe Teoria X-barra, II

Introdução a uma abordagem formal da sintaxe Teoria X-barra, II Universidade de São Paulo Faculdade de Filosofia, Letras e Ciências Humanas Letras Clássicas e Vernáculas Sintaxe do Português I FLC0277 Maria Clara Paixão de Sousa Introdução a uma abordagem formal da

Leia mais

Instituto Superior de Engenharia de Lisboa Engenharia Informática e de Computadores

Instituto Superior de Engenharia de Lisboa Engenharia Informática e de Computadores Instituto Superior de Engenharia de Lisboa Engenharia Informática e de Computadores Teoria dos Sinais e dos Sistemas O procedimento de Gram-Schmidt: definição, exemplos e aplicações Artur Ferreira {arturj@isel.pt}

Leia mais

Hewlett-Packard. Cilindros. Aulas 01 a 02. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz

Hewlett-Packard. Cilindros. Aulas 01 a 02. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Hewlett-Packard Cilindros Aulas 01 a 02 Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Sumário Cilindros... 1 Cilindro... 1 Elementos do cilindro... 1 O cilindro possui:... 1 Classificação... 1 O cilindro

Leia mais

Soluções da Colectânea de Exercícios

Soluções da Colectânea de Exercícios Soluções da Colectânea de Exercícios (Edição de Fevereiro de 2003) Capítulo 1 1.1 d) x = 3.167; s = 0.886 (dados não agrupados) e) mediana = x = 3.25; q 1 = 2.4 ; q 3 = 3.9 1.2 a) x = 2.866 ; x = 3; moda

Leia mais

UERJ/DFNAE Física Geral - Lista /2

UERJ/DFNAE Física Geral - Lista /2 UERJ/DFNAE Física Geral - Lista 2-2018/2 1. Identifique as forças que atuam sobre os corpos indicados nas figuras. 2. As massas e as coordenadas dos centros de massa de três blocos de chocolate são dadas

Leia mais

Teoria das Estruturas - Aula 07

Teoria das Estruturas - Aula 07 Teoria das Estruturas - Aula 07 Arcos Isostáticos Definição e Tipos Casos Particulares de Arcos Equação do Arco Parabólico de 2º. Grau, Equação da Linha de Pressões e Arcos com Apoios Desnivelados Prof.

Leia mais

Apesar de não ser um modelo de análise lingüística tão conhecido como GRAMÁTICA CATEGORIAL ATRAVÉS DE ESTRUTURA DE CARACTERÍSTICAS

Apesar de não ser um modelo de análise lingüística tão conhecido como GRAMÁTICA CATEGORIAL ATRAVÉS DE ESTRUTURA DE CARACTERÍSTICAS GRAMÁTICA CATEGORIAL ATRAVÉS DE ESTRUTURA DE CARACTERÍSTICAS Luiz Arthur Pagani * Introdução Apesar de não ser um modelo de análise lingüística tão conhecido como a Gramática Gerativa, ou mesmo como alguns

Leia mais

(2) SN N (SP)/(Adj) {gerando por exemplo: SN = N-livro SP-de chocolate; SN = N-rabo Adj-amarelo]

(2) SN N (SP)/(Adj) {gerando por exemplo: SN = N-livro SP-de chocolate; SN = N-rabo Adj-amarelo] Universidade de São Paulo Faculdade de Filosofia, Letras e Ciências Humanas Letras Clássicas e Vernáculas Sintaxe do Português I FLC0277 Maria Clara Paixão de Sousa Aula 10: Constituência e Estrutura da

Leia mais

UERJ/DFNAE Física Geral - Lista /2

UERJ/DFNAE Física Geral - Lista /2 UERJ/DFNAE Física Geral - Lista 2-2018/2 1. Identifique as forças que atuam sobre os corpos indicados nas figuras. 2. Dois blocos de peso P, são mantidos em equilíbrio em um plano inclinado sem atrito,

Leia mais

CCI-22 FORMALIZAÇÃO CCI-22 MODOS DE SE OBTER P N (X) Prof. Paulo André CCI - 22 MATEMÁTICA COMPUTACIONAL INTERPOLAÇÃO

CCI-22 FORMALIZAÇÃO CCI-22 MODOS DE SE OBTER P N (X) Prof. Paulo André CCI - 22 MATEMÁTICA COMPUTACIONAL INTERPOLAÇÃO CCI - MATEMÁTICA COMPUTACIONAL INTERPOLAÇÃO Prof. Paulo André ttp://www.comp.ita.br/~pauloac pauloac@ita.br Sala 0 Prédio da Computação -Gregory DEFINIÇÃO Em matemática computacional, interpolar significa

Leia mais

3 - Na figura a seguir, está esquematizado um aparato experimental que é utilizado. 1 - Dois raios de luz, um vermelho (v) e outro

3 - Na figura a seguir, está esquematizado um aparato experimental que é utilizado. 1 - Dois raios de luz, um vermelho (v) e outro 1 - Dois raios de luz, um vermelho (v) e outro azul (a), incidem perpendicularmente em pontos diferentes da face AB de um prisma transparente imerso no ar. No interior do prisma, o ângulo limite de incidência

Leia mais

Andamento da apresentação

Andamento da apresentação Andamento da apresentação 1 Discussão informal Linguagem formal Abreviaturas Exemplos de linguagens de primeira ordem Variáveis livres e ligadas; substituição de variáveis Teoremas de unicidade de representação

Leia mais

Mecânica Geral 2016/17

Mecânica Geral 2016/17 Mecânica Geral 2016/17 MEFT Responsável: Eduardo V. Castro Departamento de Física, Instituto Superior Técnico Corpo Rígido B (Vectores velocidade angular e momento angular e movimento giroscópico.) 1.

Leia mais

Semântica e Gramática Gerativa Aula 3

Semântica e Gramática Gerativa Aula 3 Semântica e Gramática Gerativa Aula 3 ferreira10@gmail.com USP, 29 de Agosto de 2012 A Conjunção e P S 1 João fuma S 2 e Maria bebe A Conjunção e P S 1 João fuma S 2 e Maria bebe P = 1 sse João fuma &

Leia mais

Note-se que pelo Teorema de Euler. a φ(n) 1 (mod n) logo existe k nas condições da definição acima e. Raízes Primitivas. Ordem de um elemento

Note-se que pelo Teorema de Euler. a φ(n) 1 (mod n) logo existe k nas condições da definição acima e. Raízes Primitivas. Ordem de um elemento Ordem de um elemento Definição Sejam a e n inteiros tais que m.d.c.(a, n) = 1. O menor inteiro positivo k tal que tal que a k 1 (mod n) diz-se a ordem de a módulo n e representa-se por ord n (a). Note-se

Leia mais

ESTIMATIVAS DA PRODUÇÃO AGRÍCOLA BRASILEIRA PARA O FINAL DO SÉCULO XXI

ESTIMATIVAS DA PRODUÇÃO AGRÍCOLA BRASILEIRA PARA O FINAL DO SÉCULO XXI COLÉGIO PEDRO II MEC EXAME DE SELEÇÃO E CLASSIFICAÇÃO 1ª SÉRIE DO ENSINO MÉDIO REGULAR/ NOTURNO 2008 QUESTÃO 1 O Aquecimento Global foi um dos assuntos científicos mais comentados em 2007 no cenário global.

Leia mais

Rede de Bravais. Cap 1 KITTEL Cap 4 ASHCROFT- MERMIN (todo) Cap 7 ASHCROFT- MERMIN (parte) Cap 4 IVAN

Rede de Bravais. Cap 1 KITTEL Cap 4 ASHCROFT- MERMIN (todo) Cap 7 ASHCROFT- MERMIN (parte) Cap 4 IVAN Rede de Bravais Cap 1 KITTEL Cap 4 ASHCROFT- MERMIN (todo) Cap 7 ASHCROFT- MERMIN (parte) Cap 4 IVAN Veremos hoje Rede de Bravais.. Vetores primitivos Redes 2D e 3D Célula unitária primitiva célula primitiva

Leia mais

Derivadas Parciais - parte 1. 1) Determine as derivadas parciais de primeira ordem da função.

Derivadas Parciais - parte 1. 1) Determine as derivadas parciais de primeira ordem da função. Terceira Lista de Exercícios Cálculo II - Engenharia de Produção ( extraída do livro C ÁLCULO - vol 2 James Stewart ) Derivadas Parciais - parte 1 1) Determine as derivadas parciais de primeira ordem da

Leia mais

ES009 - Estabilidade Global e Análise de Peças Esbeltas

ES009 - Estabilidade Global e Análise de Peças Esbeltas Escola Politécnica da Universidade de São Paulo Departamento de Engenharia de Estruturas e Fundações ES009 - Estabilidade Global e Análise de Peças Esbeltas Prof. Túlio Nogueira Bittencourt Prof. Ricardo

Leia mais

Um dos principais filtros impostos pela estrutura de superfície é o filtro de Caso. O filtro de Caso pode ser expresso da seguinte maneira:

Um dos principais filtros impostos pela estrutura de superfície é o filtro de Caso. O filtro de Caso pode ser expresso da seguinte maneira: Sétima semana do curso de Linguística III Professor Alessandro Boechat de Medeiros Departamento de Linguística e Filologia Sobre os movimentos Vimos logo no início do curso que as línguas naturais apresentam

Leia mais

Linguagens Livres de Contexto

Linguagens Livres de Contexto Linguagens Livres de Contexto 1 Roteiro Gramáticas livres de contexto Representação de linguagens livres de contexto Formas normais para gramáticas livres de contexto Gramáticas ambíguas Autômatos de Pilha

Leia mais

Soluções da Colectânea de Exercícios

Soluções da Colectânea de Exercícios Soluções da Colectânea de Exercícios (Edição de Fevereiro de 2003) Capítulo 1 1.1 d) x = 3.167; s = 0.886 (dados não agrupados) e) mediana = x = 3.25; q 1 = 2.4 ; q 3 = 3.9 1.2 a) x = 2.866 ; x = 3; moda

Leia mais

As linguagens regulares são I.C Proposição Qualquer linguagem regular é independente de contexto.

As linguagens regulares são I.C Proposição Qualquer linguagem regular é independente de contexto. As linguagens regulares são I.C Proposição 16.1. Qualquer linguagem regular é independente de contexto. Dem. Seja L Σ uma linguagem regular, e seja r uma expressão regular tal que L = L(r).Por indução

Leia mais

Classes gramaticais: Pronome. Luiz Arthur Pagani (UFPR)

Classes gramaticais: Pronome. Luiz Arthur Pagani (UFPR) Classes gramaticais: Pronome (UFPR) 1 1 Tradição gramatical pessoais retos: eu, tu, nós, vós, você(s), el{a/e}(s) oblíquos: me, mim, comigo, te, ti, contigo, nos, conosco, vos, convosco, se, si, consigo,

Leia mais

ELETRÔNICA DE POTÊNCIA I Retificadores trifásicos a diodo em ponte completa

ELETRÔNICA DE POTÊNCIA I Retificadores trifásicos a diodo em ponte completa UNESDADE DO ESTADO DE SANTA CATANA CENTO DE CÊNCAS TECNOLÓGCAS DEPATAMENTO DE ENGENHAA ELÉTCA CUSO DE ENGENHAA ELÉTCA ELETÔNCA DE POTÊNCA etificadres trifásics a did em pnte cmpleta Prf. Yales. De Nvaes

Leia mais

Introdução Análise Sintática Descendente Análise Sintática Ascendente. Aula Prática. Fernando Antônio Asevedo Nóbrega

Introdução Análise Sintática Descendente Análise Sintática Ascendente. Aula Prática. Fernando Antônio Asevedo Nóbrega Análise Sintática Aula Prática Fernando Antônio Asevedo Nóbrega Instituto de Ciências Matemáticas e de Computação USP SCC-206 Introdução à Compilação 9 de maio de 2012 1 / 16 Agenda 1 Introdução 2 Análise

Leia mais

Formas normais. Forma normal de Greibach (FNG) todas as produções são da forma

Formas normais. Forma normal de Greibach (FNG) todas as produções são da forma Formas normais Em muitas aplicações, é útil que as GIC tenham regras de tipos especiais. Para tal é necessário que se possa transformar qualquer gramática numa equivalente (isto é que gere a mesma linguagem)

Leia mais

CAPÍTULO IV APLICAÇÕES

CAPÍTULO IV APLICAÇÕES CAPÍTULO IV APLICAÇÕES PROJEÇÃO ORTOGONAL SOBRE UM PLANO PROJEÇÃO DE UM PONTO: Definição: Chama-se projeção ortogonal de um ponto sobre um plano ao pé da perpendicular ao plano conduzida pelo ponto. O

Leia mais

Hewlett-Packard CIRCUNFERÊNCIA. AULAS 01 e 02. Prof. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos

Hewlett-Packard CIRCUNFERÊNCIA. AULAS 01 e 02. Prof. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos Hewlett-Packard CIRCUNFERÊNCIA AULAS 01 e 0 Prof. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos Sumário Circunferência... 1 CIRCUNFERÊNCIA E CÍRCULO... 1 CIRCUNFERÊNCIA... 1 CÍRCULO... 1 CORDA DE

Leia mais

Sistema dedutivo. Sistema dedutivo

Sistema dedutivo. Sistema dedutivo Sistema dedutivo Estudaremos um sistema dedutivo axiomático axiomas lógicos e axiomas não lógicos (ou esquemas de axiomas) e regras de inferência (ou esquemas de regra) do tipo de Hilbert para a lógica

Leia mais

Transformações Geométricas

Transformações Geométricas Licenciatura em Engenharia Informática e de Computadores Computação Gráfica Transformações Geométricas Edward Angel, Cap. 4 Questão 1, exame de 29/06/11 [1.0v] Considere o triângulo T={V 1, V 2, V 3 },

Leia mais

Transformações Geométricas Grafos de Cena

Transformações Geométricas Grafos de Cena Transformações Geométricas Grafos de Cena Edward Angel, Cap. 4 Instituto Superior Técnico Computação Gráfica 2009/2010 1 Na última aula... Transformações Geométricas Translação Escala Rotação Espaço Homogéneo

Leia mais

O efeito interacção em modelos de equações estruturais

O efeito interacção em modelos de equações estruturais O efeito interacção em modelos de equações estruturais Maria de Fátima Salgueiro - ISCTE Business School, Lisboa fatima.salgueiro@iscte.pt XIV Congresso Anual da SPE - Covilhã 2006 XIV CONGRESSO DA SPE

Leia mais

GRAMÁTICA MODERNA DA LÍNGUA PORTUGUESA

GRAMÁTICA MODERNA DA LÍNGUA PORTUGUESA GRAMÁTICA MODERNA DA LÍNGUA PORTUGUESA Sumário Capítulo 1 O ESTUDO DAS PALAVRAS Lição 1 Fonética 1.1. Fonema e letra 1.2. Divisão dos fonemas 1.3. Classificação dos fonemas 1.4. Encontro vocálico 1.5.

Leia mais

Semântica de Eventos Aula 1

Semântica de Eventos Aula 1 Semântica de Eventos Aula 1 Marcelo Ferreira ferreira10@usp.br Uma Intuição Tradicional Substantivo é a palavra com que designamos ou nomeamos os seres em geral. (Cunha, C. Gramática da Língua Portuguesa

Leia mais

24/09/2010 SINTAXE PARTE 2. SCC5869 Tópicos em Processamento de Língua Natural. Thiago A. S. Pardo PARSING PROBABILÍSTICO

24/09/2010 SINTAXE PARTE 2. SCC5869 Tópicos em Processamento de Língua Natural. Thiago A. S. Pardo PARSING PROBABILÍSTICO SINTAXE PARTE 2 SCC5869 Tópicos em Processamento de Língua Natural Thiago A. S. Pardo PARSING PROBABILÍSTICO 1 ESTATÍSTICA Métodos anteriores são eficientes, mas não têm mecanismos para escolher uma das

Leia mais

Exemplo 7 1 I. p q: Se o time joga bem, então o time ganha o campeonato. q s: Se o time ganha o campeonato então. s: Os torcedores não estão felizes.

Exemplo 7 1 I. p q: Se o time joga bem, então o time ganha o campeonato. q s: Se o time ganha o campeonato então. s: Os torcedores não estão felizes. Exemplo 7 1 I p q: Se o time joga bem, então o time ganha o campeonato }{{}}{{} p q p r: Se o time não joga bem, então o técnico é o culpado }{{}}{{} p r q s: Se o time ganha o campeonato então }{{} q

Leia mais

REDAÇÃO PARA CONCURSOS

REDAÇÃO PARA CONCURSOS REDAÇÃO PARA CONCURSOS Sumário Primeira Parte Primeira Lição Poesia matemática Gramática acentuação gráfica Tipos de palavras Regras gerais Dupla prosódia Pronúncia duvidosa Orientação Ortográfica emprego

Leia mais

ALGUMAS PRÁTICAS PARA ENSINAR GEOMETRIA COM O GEOGEBRA. Palavras-chave: Dificuldades. Aprendizagem. Matemática. Tecnologias. GeoGebra.

ALGUMAS PRÁTICAS PARA ENSINAR GEOMETRIA COM O GEOGEBRA. Palavras-chave: Dificuldades. Aprendizagem. Matemática. Tecnologias. GeoGebra. ALGUMAS PRÁTICAS PARA ENSINAR GEOMETRIA COM O GEOGEBRA Osmar Tharlles Borges de Oliveira 1, Carla Cristina Coelho Carvalho 2, Uandell dos Santos Silva 3 RESUMO O presente texto expõe, sinteticamente, algumas

Leia mais

Engenharia de Software Processo de Desenvolvimento. Ciclo de Vida - Modelo Cascata

Engenharia de Software Processo de Desenvolvimento. Ciclo de Vida - Modelo Cascata Processo de Desenvolvimento Também chamado de ciclo de vida do software Reflete os passos necessários para se construir um produto de software Existem vários modelos de ciclo de vida Cascata (1956) Iterativo

Leia mais

Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Linguagens linguagem: sistema de símbolos que serve como meio de comunicação (p. 31) articial natural: isso não se restringe

Leia mais

Teste Mann-Whitney. Contrapartida não-paramétrica para. Teste-t para amostras independentes

Teste Mann-Whitney. Contrapartida não-paramétrica para. Teste-t para amostras independentes Teste Mann-Whitney Contrapartida não-paramétrica para Teste-t para amostras independentes Teste Mann-Whitney pequenas amostras independentes 1. Testes para Duas Populações, X e Y, Independentes. Corresponde

Leia mais

MÉTODOS ESTATÍSTICOS PARA ANÁLISE DE DADOS

MÉTODOS ESTATÍSTICOS PARA ANÁLISE DE DADOS MÉTODOS ESTATÍSTICOS PARA ANÁLISE DE DADOS LEANDRO DE PAULA UFRJ Escola de Inverno do IFGW A Física de Partículas do Novo Século julho de 2014 PROGRAMA DO CURSO Introdução à Probabilidade e Estatística

Leia mais

MAP Exercício programa Data de entrega: 21/11/2012

MAP Exercício programa Data de entrega: 21/11/2012 Introdução MAP-2220 - Exercício programa 2-2012 Data de entrega: 21/11/2012 Interpolação Baricêntrica e Métodos de Colocação Este exercício programa tem como objetivo uma implementação da fórmula baricêntrica

Leia mais

ESCOPO E VARIÁVEIS LIGADAS TÍPICAS DO PORTUGUÊS BRASILEIRO

ESCOPO E VARIÁVEIS LIGADAS TÍPICAS DO PORTUGUÊS BRASILEIRO ESCOPO E VARIÁVEIS LIGADAS TÍPICAS DO PORTUGUÊS BRASILEIRO Sergio Menuzzi * Introdução Meu objetivo com o presente trabalho é fazer uma discussão preliminar da seguinte observação factual: embora ambas

Leia mais

Passo-a-passo para desenvolver um Programa usando a Linguagem Python

Passo-a-passo para desenvolver um Programa usando a Linguagem Python Cursos: Engenharia de Produção / Tecnólogo em Gestão da Qualidade Disciplina: Informática Professora: Flávia Pereira de Carvalho Passo-a-passo para desenvolver um Programa usando a Linguagem Python 1)

Leia mais

TS03. Teste de Software ESTÁGIOS DO TESTE DE SOFTWARE. COTI Informática Escola de Nerds

TS03. Teste de Software ESTÁGIOS DO TESTE DE SOFTWARE. COTI Informática Escola de Nerds TS03 Teste de Software ESTÁGIOS DO TESTE DE SOFTWARE COTI Informática Escola de Nerds Teste do Desenvolvedor O Teste do Desenvolvedor denota os aspectos de design e implementação de teste mais apropriados

Leia mais

Definições Hierarquia de Chomsky Exemplos de gramáticas. Gramáticas. Objetivo de ensinar o inglês pelo computador e conseguir um tradutor de línguas

Definições Hierarquia de Chomsky Exemplos de gramáticas. Gramáticas. Objetivo de ensinar o inglês pelo computador e conseguir um tradutor de línguas Definições Hierarquia de Chomsky Exemplos de gramáticas 1 Gramáticas Conceito introduzido pela lingüística Objetivo de ensinar o inglês pelo computador e conseguir um tradutor de línguas Fracasso da tradução

Leia mais

EXTRAÇÃO DO SUJEITO: A ANÁLISE DE STEEDMAN E ANÁLISES DA TEORIA GERATIVA

EXTRAÇÃO DO SUJEITO: A ANÁLISE DE STEEDMAN E ANÁLISES DA TEORIA GERATIVA EXTRAÇÃO DO SUJEITO: A ANÁLISE DE STEEDMAN E ANÁLISES DA TEORIA GERATIVA Thais Chaves * I ^ m seu livro Surface structure and interpretation, Mark Steedman I j propõe um modelo de gramática categorial,

Leia mais

UNIVERSIDADE FEDERAL DE CAMPINA GRANDE CENTRO DE ENGENHARIA ELÉTRICA E INFORMÁTICA DEPARTAMENTO DE ENGENHARIA ELÉTRICA ELETRÔNICA

UNIVERSIDADE FEDERAL DE CAMPINA GRANDE CENTRO DE ENGENHARIA ELÉTRICA E INFORMÁTICA DEPARTAMENTO DE ENGENHARIA ELÉTRICA ELETRÔNICA UNIVERSIDADE FEDERAL DE CAMPINA GRANDE CENTRO DE ENGENHARIA ELÉTRICA E INFORMÁTICA DEPARTAMENTO DE ENGENHARIA ELÉTRICA ELETRÔNICA LISTA DE EXERCICIOS #9 (1) PROJETO PROCESSAMENTO DE SINAL ANALÓGICO Um

Leia mais

1 [30] O programa abaixo, que calcula a raiz quadrada de 6, está errado. Identifique o erro, e explique como corrigi-lo.

1 [30] O programa abaixo, que calcula a raiz quadrada de 6, está errado. Identifique o erro, e explique como corrigi-lo. TT009 Matemática Aplicada I Curso de Engenharia Ambiental Departamento de Engenharia Ambiental, UFPR P01, 30 mar 01 Prof. Nelson Luís Dias NOME: GABARITO Assinatura: 0 1 [30] O programa abaixo, que calcula

Leia mais