AQUISIÇÃO DA ESCRITA: A CONSTRUÇÃO TEXTUAL EM O MAPA DO PEZINHO

Este artigo discute algumas questões sobre o processo de aquisição da linguagem escrita pela criança. Nele é apresentada a análise de um texto produzido por uma aluna da primeira fase do ensino fundamental, com enfoque nos aspectos lingüísticos,pragmáticos, discursivos e contextuais. Tal estudo tem como pressupostos teóricos a perspectiva funcionalista da linguagem

A Mechanized Proof of a Textbook Type Unification Algorithm

Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a type unification algorithm that follows classic algorithms presented in programming language textbooks. We also report on the use of such formalization to build a correct type inference algorithm for the simply typed λ-calculus

Comparando o Desempenho de Implementações de Tabelas Hash Concorrentes em Haskell

Implementar um algoritmo de tabela hash concorrente que extraia desempenho está longe de ser uma tarefa computacional trivial. Neste artigo apresentamos sete diferentes implementações de tabelas hash em Haskell, explorando desde modelos de sincronização de baixo nível até os de mais alta abstração como memórias transacionais. Nos testes realizados a implementação usando a biblioteca STM Haskell de memória transacional foi a que apresentou melhor desempenho

Prometheus: Metodologia de Modelagem utilizada para a Simulação de Agentes da Construção Naval

Este artigo tem o intuito de mostrar o uso de Sistemas Multiagentesutilizando a simulação dos agentes da indústria da construção naval, possibilitandouma visão geral do projeto de construção das embarcações aproximadamentecomparada com a realidade. Além disso, são apresentadas três metodologiasde modelagem para agentes de software, e o modelo de diagrama de casosde uso conforme a metodologia Prometheus que será utilizada na estruturaçãodo simulador

Tactile perception, gesture and oral language in everyday instruments for children from 2 to 5 years of age: short report

Este estudo analisa a relação entre perceção tátil, simulação de uso de instrumento e palavra em crianças de 2 a 5 anos. Mostraram-se à criança 11 instrumentos do seu quotidiano, perguntou-se-lhe (i) o que era (palavra), (ii) que fingisse usá-los (gesto) e (iii) que os identificasse tatilmente. As crianças de 2 anos apresentaram mais desvios morfológicos. Com o avanço da idade, as crianças fizeram mais identificações táteis. Crianças com mais desvios por subextensão e morfológico realizaram menos gestos e fizeram menos identificações táteis. Crianças com mais identificações orais foram as com mais identificações táteis. Crianças com mais identificações táteis foram as com mais gestos do tipo “incorporação”. Ocorre uma transição abrupta dos 2 para os 3 anos em qualidade e quantidade de palavras. A identificação tátil e gestualização estão associadas a melhor dicção e maior léxico verbal. Ambas estão associadas, principalmente, com a gestualização de “incorporação”. Os resultados sustentam a hipótese de uma interação entre perceção tátil, gesto e aquisição da palavra.In this paper, we show an analyze the relationship between tactile perception, simulation of instrument use and word in children aged from 2 to 5 years. The child was shown 11 instruments from her/his daily live, asked (i) what they were (word), (ii) to pretend to use them (gesture), and (iii) to identify them tactically. The 2-year-old children had more morphological deviations. With age, children made more tactile identifications. Children with more subextension and morphological deviations performed fewer gestures and made fewer tactile identifications. Children with more oral identifications were the ones with more tactile identifications. Children with more tactile identifications were the ones with more gestures of the “incorporation” type. There is an abrupt transition from 2 to 3 years in terms of quality and quantity of words. Tactile identification and gestures are associated with better diction and greater verbal lexicon. Both are mainly associated with the gesture of “incorporation”. The results support the hypothesis of an interaction between tactile perception, gesture and word acquisition.info:eu-repo/semantics/publishedVersio

A incongruência entre o ensino escolar brasileiro e a realidade dos usos: algumas classes de palavras

Este texto tem por objetivo apresentar os resultados da comparação de conteúdos gramaticais em livros didáticos aprovados pelo Programa Nacional do Livro Didático para o Ensino Médio (PNLEM) e indicados pelo governo brasileiro como adequados para a utilização didática pelo professor de língua portuguesa na escola pública. Recorremos a elementos, como definição, exemplificação, ilustração, exercícios, que nos permitiram concluir em que medida esses materiais se afastam do ensino mais tradicional e em que medida se aproximam do novo Plano Curricular Nacional (PCN), que prevê como ponto de partida para o estudo o texto e os gêneros discursivos. - This text aims to present the results of the grammatical contents comparisons in textbooks approved by the National Program of Textbook for the Secondary / High School Education (PNLEM) and indicated by the Brazilian government as suitable for the Portuguese teacher’s didactic use in public schools. We appeal to elements such as definition, exemplification, illustration, and exercises that allowed us to conclude the extent to which these materials deviate from the more traditional teaching and to what extent they approach the new National Curriculum Plan (PCN), which sets as a starting point for the study of text and genres