Ética do discurso: a emancipação do homem no trabalho e a teoria social crítica de jurgen habermas

Versa sobre a atualidade e a importância de fortalecer o vínculo entre a Teoria das Organizações e a Filosofia, para revisar a compreensão da totalidade do indivíduo no mundo do trabalho. Aborda questões como a moralidade e a racionalidade vigentes e coloca como estratégia para o desenvolvimento do potencial humano a prática da reflexão. Analisa a nova caracterização que Habermas dá ã realidade, entendendo-a como racionalidade ético-comunicativa, uma nova forma de mostrar que na multiplicidade dos subsistemas e na pluralidade dos jogos de linguagem, o homem pode unificar princípios últimos e universalmente válidos, visando ã sua emancipação

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

Análise do processo de negociação de tarifas de transporte através da utilização da teoria dos jogos

O objetivo deste trabalho é apresentar uma visão diferenciada sobre um dos processos que compõe a fase de distribuição da cadeia de suprimentos: a negociação de tarifas de transportes. É possível analisar o desenvolvimento de um processo de negociação de tarifas de transporte expresso através da linguagem da teoria dos jogos. Na seqüência, um caso real de negociação e precificação de tarifas demonstra a aplicação prática do modelo utilizado. A aplicação da teoria dos jogos leva a resultados que demonstram os fatores que mais influenciam na negociação e formação dos preços das tarifas. O setor de logística tem crescido no Brasil e sua importância é cada vez maior dentro das organizações. Deste modo, prover ferramentas que tornem os agentes envolvidos nos processos de negociação mais racionais, com o uso da teoria econômica, pode ser um grande diferencial na agenda das organizações. As conclusões do trabalho alinham-se com as tendências observadas nas cadeias de suprimento, mais especificamente na logística de distribuição das organizações. A evolução do grau de preparo e profissionalismo dos operadores logísticos vai exigir que o processo de contratação e gestão de relacionamento com esses fornecedores seja mais sofisticada e efetivo por parte das empresas contratantes. Além disso, os processos tradicionais de compra e contratação de serviços logísticos podem não ser suficientes para maximizar os resultados das organizações através de redução de custos operacionais e elevação do nível de serviço ao cliente final (ambos diretamente relacionados à logistica de distribuição).

O uso da linguagem matemática na física clássica como obstáculo epistemológico na formação de professores de matemática na Universidade do Estado do Pará - UEPA : um estudo de caso

Este estudo realizado no Curso de Formação de Professores de Matemática da Universidade do Estado do Pará- UEPA, teve como finalidade verificar o obstáculo epistemológico, encontrado na aplicabilidade da linguagem matemática em sistemas físicos, através da relação existente entre as dificuldades dos licenciandos em Matemática na aprendizagem de Física Clássica e a prática da Matemática como linguagem nas disciplinas específicas do curso de Matemática, e as possíveis conseqüências à futura prática pedagógica desses professores, no nível fundamental e médio. Para desenvolvê-lo recorri à pesquisa qualitativa em uma abordagem etnográfica. Delimitei como sujeitos da pesquisa 15 alunos de uma turma do 3° ano que cursavam a disciplina Física Geral do Curso de Licenciatura Plena em Matemática no ano de 2000 para obter os dados necessários. Observei os alunos durante as aulas e seminários realizados e os entrevistei em busca de subsídios para o estudo.Concluo que há relação entre a dificuldade na aprendizagem da Física Clássica e a prática da Matemática como linguagem nas disciplinas específicas do Curso de Licenciatura Plena em Matemática e a futura prática pedagógica no ensino fundamental e médio. Concluo também que falta aos professores que ministram estas disciplinas superar um obstáculo epistemológico em relação ao conhecimento matemático, isto é, uma prática consistente e articulada à teoria e prática da linguagem matemática. Ao final, indico referenciais para possíveis mudanças no Curso e espero que essas mudanças contribuam para uma aprendizagem significativa na formação de futuros professores de Matemática nas universidades comprometidas com a formação do licenciado em Matemática ou naquelas que fazem uso da própria Matemática.

Rompendo os muros da sala de aula : o trabalho de campo como uma linguagem no ensino da geografia

O presente estudo é uma análise pedagógica do processo de aprendizagem de Geografia que tem como questão central refletir sobre o ensino da Geografia enfatizando o Trabalho de Campo como metodologia na construção do conhecimento geográfico. Para tanto, investigou-se práticas realizadas no ensino de Geografia em duas escolas públicas de ensino básico e médio de Santa Cruz do Sul: Escola Estadual Estado de Goiás e Escola Estadual Monte Alverne. Os dados empíricos foram coletados através de entrevistas, observações e análises da relação teoria e prática resultante de Trabalhos de Campo realizados durante o ano letivo de 2004. Verificou-se que o TC, enquanto procedimento pedagógico, pode constituir-se na possibilidade de compreensão da complexidade do mundo atual por parte dos alunos, desde que o mesmo seja realizado a partir de uma prática dialógica entre as diferentes disciplinas que compõem o currículo escolar.

Uma análise do valor social considerado pelo Comitê de Pronunciamentos Contábeis à luz da teoria tridimensional do direito

Esta tese teve como objetivo identificar qual o valor social considerado pelo Comitê de Pronunciamentos Contábeis (CPC) na emissão de seus pronunciamentos contábeis: aproximação ou distanciamento das normas contábeis brasileiras às internacionais. A contabilidade mundial se encontra em um momento histórico, marcado pelo processo de convergência das normas contábeis e da criação de uma linguagem universal. No processo, cada país tem uma abordagem, que pode variar da convergência, onde os países mantêm suas instituições normativas, ao endosso, onde é efetuada uma tradução dos pronunciamentos contábeis. No Brasil, o processo é conduzido pelo CPC, formado sob a égide de seis instituições privadas brasileiras, cada uma representando um diferente grupo de agentes econômicos. O CPC emite um pronunciamento, que entra em audiência pública por no mínimo 30 dias. A nova versão é resultado da análise das sugestões recebidas. Utilizamos na tese a Teoria Tridimensional do Direito, de Miguel Reale, composta por norma, fato e valor, que estão sempre presentes e correlacionados de maneira funcional e dialética, e sofrem interferência do Poder, que determina quais os valores positivos, a serem preservados, e quais os valores negativos, a serem proibidos. Foram utilizados os pronunciamentos contábeis emitidos pelo CPC no que diz respeito a Conceituação Geral e Evidenciação, antes e depois da audiência pública, a norma internacional em que se baseia o pronunciamento brasileiro e as sugestões recebidas pelo CPC sobre os pronunciamentos contábeis. Os resultados apontam para uma forte associação entre sugestões que tinham como finalidade a aproximação das normas internacionais e a aceitação por parte do CPC. Além disso, os atores envolvidos no processo passam a aceitar a aproximação dos pronunciamentos contábeis brasileiros aos internacionais como realidade e aprenderam que o caminho para modificação de algum ponto do pronunciamento brasileiro é a alteração do pronunciamento do IASB.

Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

O professor e sua formação linguística: uma interlocução teoria-prática

The work in screen constitutes a study of entitled doutoramento THE teacher and your linguistic formation: a dialogue teoria-prática. In him, the researcher, discoursing on subjects that involve the teaching-learning of the verbal language, it focalizes the importance of the linguistic formation for professionals that act in the years you begin of the Fundamental Education. In that perspective, lens to analyze the interrelações among them you know about the teachers, referring to the language (verbal), mobilized in the process teaching-learning of the production of texts written by the students, enrolled in the years you begin of the fundamental teaching. For so much, it developed a research Colaborativa, of qualitative nature, with four partícipes, being three of them teachers of the empiric field, EETB (pointed school for the " Prova Brasil " (2005) as among the ten Brazilian schools with the worst index of revenue discente in the abilities to read, to write and to interpret) and the other (researcher) educational of UERN. The research made use of several methodological procedures, among which stand out: questionnaire, glimpses, reflexive sessions and cycles of reflexive studies, among others. These specific of the Methodology of the Elaboration Conceptual Ferreiriana, adopted in the process of (re)elaboration, for the partícipes of the language concepts, text, textual gender, spoken language and written language. With relationship to the analytic procedures, those were based in contributions of the theory of the formation of concepts, of the Applied Linguistics and of the archaeology of the elect concepts. The results appear that the process of linguistic formation, established through the research colaborativa and of the methodology of the elaboration conceptual ferreiriana, uniting knowledge of the areas of the Education and of the Language, it was productive and he/she reveals a narrow relationship among the acquired knowledge for the partícipes, the (re)organization of the process teachinglearning of the language and the improvement of the productions written by the students of those educational ones

Linguagem, cognição e mundo: o livro do desassossego e a construção discursiva da realidade

This study analyzes the processes of meaning construction in the Livro do Desassossego, by semi-heteronym Bernardo Soares - Fernando Pessoa. We use theoretical grounds from an interface between Cognitive Linguistics and Textual Linguistics to observe how certain linguistic mechanisms build a reality that tells us of a time, a being and his conceptions of language and writing. We focus on description and explanation of procedures of categorization and referentiation accomplished, for example, through metaphor and metonymy. For the construction of the intended theoretical interface, we use analytical categories proposed and developed by the Socio-cognitive Approach of Language, Conceptual Metaphor Theory and Mental Space Theory. Armed with this theoretical background, we observed the dynamics of language in relation to its social, cultural and historical features, as well as the cognitive aspects that underlie it. We seek, therefore, encourage discussions about the functioning of language considering primarily the creative processes that allow us to organize and shape our experiences. We also try to provide an approximation of Linguistics, Literature and Philosophy, with a view to relations between language structure, cognitive activity and socio-cultural organization. From the results obtained, we found that a literary text attests, with a particular property, the mutual relations between language, cognition and culture, as indicates cognitive approach to language studies

Construções metafóricas de vida e morte: cognição, cultura e linguagem

En esta investigación, tratamos de poner de relieve los aspectos cognitivos y culturales que subyacen a las metáforas en el lenguaje. Partimos de la premisa de que nuestra comprensión a cerca del mundo se construye socio-cognitivamente, sendo la metáfora un elemento clave de esta construcción. Por lo tanto, tenemos la intención de mirar debajo de la teoría de la Teoría Cognitiva de la Metáfora, visto desde el análisis del poema Morte e Vida Severina, de João Cabral de Melo Neto, la metáfora de la vida y muerte, inferíveis en el corpus forma patrones discursivos, llamado por nosotros como el Construccionismo del Bloques. Estas metáforas se encuentran en el nivel conceptual de nuestro lenguaje, emitido por modelos cognitivos idealizados, y mostrar las relaciones entre la lengua, la cultura y la cognición. Vemos una red de integración que implica la metáfora primaria llamada, elaborado a partir de los esquemas y los dominios conceptuales y metáforas congruentes, con la participación de la noción de marco.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Códigos de sustentação da linguagem no cotidiano prisional do Rio Grande do Norte: penitenciária estadual de Parnamirim

The quarrel, in this study, tells about the language as social practical in the daily of Parnamirim State Prison that is integrated to the Rio Grande do Norte Penitentiary System - SISPERN, destined for men in fulfilment of penalty privative of freedom, in closed regimen. For the accomplishment of the research, the delimited objectives had been to analyze the language repertoires created in the prisional daily, trying to identify how it´s turned into distinct forms of resistance to the mechanisms of control in penitentiary system; to investigate which are the language repertoires created from the new sociability forms developed among prisoners and identify how the language repertoires are expressed in the daily prisional on relations/exercises of power not-institutionalized. In the methodological aspect, the study is in a qualitative boarding, that has as main instrument the interview. The inquiry was possible by means of using instruments for data collection, like as: the direct comment in the prisional daily duly registered as researcher´s ethnographical procedure, the analysis of interns´ cadastre handbooks and the application of half-structuralized interview, to the subjects of the research. The construction and understanding of the study object had been based on authors who argue on the arrest, as: Foucault, Goffman, Carvalho Filho and, in particular was searched the theorical referencial that approaches the language in a social and cultural perspective: Orlandi, Manfred, Bastos and Candiotto, amongst others. Beyond the normative endorsement of the Brazilian legislation, through the Law of Criminal Execution, of the Criminal Code and the Federal Constitution of the country and the legal apparatus in state scope. Still in the research methodological perspective, after the collection the data had been submitted to an analysis of the speech from Foucalt´s theory and in the Orlandi´s perspective, being also qualitative and quantitative. The results had evidenced that the social and juridical profile of the population in the site inquired is not different of others Brazilian prisons, composed for men, in its majority, with age band between 21 and 30 years old, prisoners for practicing crimes against the patrimony, against life, amongst others, and, in special, criminal recidivists. It evidenced, still, that the daily prisional of PSP is characterized for a sociocultural diversity expressed in the relations of power not institutionalized, that contributes for the formation and division of the groups, each one using a set of language codes/ repertoires sustentation. Therefore, the language, in the daily prisional, is one of the ways to understand the singularity of the sociability relations and as social practicing mediated by relations/exercises of power and antagonistic interests, in which each group aims first of all, their own interests. It represents the complexity of the social relations, in the prisional space, with diverse effects, in function of the situation and the moment. The language in the arrest, beyond the communication function, assumes and represents central element for the sociability human being, contributes for its changings and it´s configured as one of the resistance forms of prisoners against the controling, disciplining and monitoring mechanisms of penitentiary system

Uma reflexão crítica sobre a teoria sociolinguística

Um dos postulados da linguística do início do século XX é o de que o objeto da linguística deveria identificar-se com a parte homogênea dos fenômenos observáveis. Na segunda metade desse século, a sociolinguística representou uma ruptura significativa com o formalismo teórico mediante a introdução do conceito de variável linguística, mas, ao mesmo tempo, dele se aproximou ao adotar o conceito de regra variável. Este trabalho pretende discutir criticamente essa posição encarecendo a necessidade de repropor mais plenamente o falante enquanto agente condutor de seu próprio discurso e, consequentemente, a noção de variável linguística como o espaço privilegiado da construção do significado social da linguagem.

ANÁLISE DE REGRESSÃO em EXPERIMENTOS em PARCELAS SUBDIVIDIDAS COM DADOS NÃO-BALANCEADOS: UMA SOLUÇÃO NA LINGUAGEM GLIM

São estabelecidas as matrizes necessárias para a realização da análise de variância de experimentos em parcelas subdivididas, com dados não-balanceados e balanceados, quando os tratamentos aplicados às parcelas e os tratamentos aplicados às subparcelas são ambos fatores quantitativos, usando a teoria de modelos lineares e de modelos lineares generalizados. Foi desenvolvido um programa computacional, na linguagem GLIM, para a realização da análise.