Problemas con los problemas. Por una nueva aritmética en clase

La dificultad de los alumnos españoles en la resolución de los problemas aritméticos requiere un cambio conceptual y metodológico. El objetivo de artículo es reflexionar sobre ciertos aspectos de los problemas que presentan los libros de texto y analizar el modo en que los alumnos aprenden a resolverlos. La solución para el autor está en el esfuerzo conjunto que maestros, expertos y editores deben hacer para conectar los problemas con la vida real e impulsar el desarrollo de la competencia matemática.

Els manuals escolars com a representacions culturals de la ciutadania democr??tica

Resumen basado en el de la publicaci??n

Entrepreneurship, ties and relational networks: the case of a public-private cross-border tourism product

The thesis aims to understand the processes of entrepreneurship that try to create businesses or products with a high degree of complexity. This complexity comes from the fact that these products or initiatives can only be viable with the concurrence of a large number of heterogeneous actors (public, private, from different regions, etc..) which interact in a relational context. A case with these characteristics is the Camí dels Bons Homes. The thesis analyzes the evolution of the relational network from the point of view of its structure and content of its links. The results show and explain the observed changes in the network structure and the changes in the ties content. This analysis of the content of ties contributes to a new systematization and operationalization of ties’ content. Moreover this analysis takes in account negative ties, a less discussed issue in literature.

Els remences de l'Almoina del Pa de la Seu de Girona (segles XIV i XV)

L'objectiu d'aquesta tesi és estudiar el funcionament real de la servitud catalana medieval. Per això s'estudien els homenatges i els cobraments dels mals usos rebuts i aplicats per l'Almoina del Pa de la Seu de Girona sobre els seus remences al llarg dels segles XIV i XV i, més concretament, entre 1331 i 1458. Aquestes dates han estat determinades per la documentació generada per l'esmentada institució benèfica. El primer llibre de comptes conservat és de l'any 1331. En aquests llibres de comptes els pabordes encarregats de gestionar l'Almoina hi consignaven tots els seus ingressos i totes les despeses. La data final també ha estat fixada per la documentació, perquè a partir d'aquest moment deixem de trobar constància escrita del pagament dels mals usos i de la prestació d'homenatges. La importància dels mals usos, és a dir, aquells pagaments que gravaven als serfs pel fet de ser-ho, a la Catalunya de la baixa edat mitjana és una qüestió fora de discussió. Bona part dels historiadors -Hinojosa, Vicens Vives, Freedman, etc.- atribueixen als mals usos, als homenatges i a la seva continuada exigència els dos alçaments remences contra les senyories feudals a partir de l'any 1462. Segons aquestes hipòtesis, la lluita per suprimir els mals usos i aconseguir la llibertat individual és la raó de les guerres remences de finals del segle XV. Com és sabut van quedar resoltes amb la Sentència Arbitral de Guadalupe, dictada pel rei Ferran II, que va suprimir definitivament la servitud de les terres catalanes. Malgrat la importància que els historiadors han concedit a l'existència dels mals usos i, sobretot, a la manca de llibertat dels remences, no hi ha estudis sistemàtics sobre la seva aplicació a la pràctica. Per això, l'objectiu d'aquesta tesi és estudiar tots els mals usos i tots els homenatges aplicats i rebuts per una sola senyoria -l'Almoina del Pa de la Seu de Girona-, els remences de la qual van participar activament en ambdues guerres i que és representativa, sense cap mena de dubte, del que succeïa en la diòcesi gironina. A més a més, cal assenyalar que l'estudi comprèn un període de temps que inclou circumstàncies tan cabdals com la pesta negra i la resta de catàstrofes del segle XIV i el segle XV fins a la primera guerra remença. Com és sabut, els remences catalans estaven sotmesos a sis mals usos: la redempció de persones (mitjançant la qual aconseguien la seva llibertat), les firmes d'espoli forçades (que havien de pagar quan es casaven en determinades circumstàncies), la intèstia i l'eixòrquia (que gravaven la mort intestada i sense descendents), l'àrsia (que penalitzava la crema accidental del mas o la masada) i la cugúcia (exigida a les dones considerades adúlteres). Els remences confirmaven la seva dependència d'una senyoria en els corresponents homenatges o reconeixements de domini que havien de prestar quan n'eren requerits. Aquesta tesi consta de deu capítols a més d'una introducció (o primer capítol) i d'unes conclusions. El segon capítol és dedicat a la descripció de les fonts utilitzades, entre les que destaquen els llibres de comptes dels pabordes, i on queda prou palesa la importància del fet d'haver pogut disposar d'una excepcional font seriada, a més a més de pergamins. El tercer correspon a l'estudi de la institució tractada, que tenia terres a les actuals comarques del Gironès, La Selva, l'Alt i el Baix Empordà i el Pla de l'Estany. En el quart capítol hi analitzo els problemes generats a l'hora d' intentar conèixer el nombre de persones que eren pròpies de l'Almoina i saber de quins masos provenien. A continuació segueixen els quatre capítols que constitueixen el cos central de la tesi. Al seu torn, la seva anàlisi va ocasionar l'elaboració dels tres darrers. En el capítol cinquè s'estudien tots els homenatges rebuts per l'Almoina entre els anys 1300 i 1457, tant els que figuren en els manuals de comptes com els conservats en pergamí. En total, tenim documentats 1258 dels homenatges o reconeixements de domini rebuts per la institució. El capítol següent és dedicat a l'estudi de les firmes d'espoli forçades i als 424 cobraments fets per l'Almoina per aquest concepte, entre els anys 1331 i 1452. En els capítols setè i vuitè, s'analitzen els mals usos que gravaven les sortides del domini, tant les voluntàries com les involuntàries. El resultat obtingut és que entre 1331 i 1458, la institució va concedir la llibertat a 557 persones bona part de les quals van tornar a adscriure's de nou a una altra senyoria. El nombre d'aquests sortides contrasta amb el cobrament per part de l'Almoina, entre aquestes mateixes dates, de només 105 intèsties i eixòrquies; dit d'una altra manera, fins l'any 1445 va ingressar diners en concepte de 23 intèsties, fins el 1458 per 68 eixòrquies i fins el 1406 per 14 intèsties i/o eixòrquies. Els capítols 9 i 10 tracten del significat i les limitacions que comportaven els mals usos, com a trets definitoris de la pertinença a la servitud, sobre les persones que hi estaven sotmeses. Finalment, el darrer capítol analitza el compliment de la sentència dictada pel rei Alfons el Magnànim l'any 1457 en la que suspenia la servitud al Principat de Catalunya. Queda fora de dubte que pocs anys abans de la primera guerra remença els homenatges i els mals usos havien deixat d'aplicar-se.

Um modelo categorizador intervalar n-dimensional com l-camadas baseado em tesselações

O ICTM (Interval Categorizer Tesselation Model), objeto da presente tese, é um modelo geral para análise de espaços de natureza geométrica, baseado em tesselaçoes, que é capaz de produzir uma categorização confiável de conjunto de pontos de um dado espaço, de acordo com múltiplas características dos pontos, cada característica correspondendo a uma camada do modelo. Por exemplo, na análise de terrenos geográficos, uma região geográfica pode ser analisada de acordo com a sua topografia, vegetaçao, demografia, dados econômicos etc, cada uma gerando uma subdivisão diferente da região. O modelo geral baseado em tesselações não está restrito, porém, a análise de espaços bi-dimensionais. O conjunto dos pontos analisados pode pertencer a um espaço multidimensional, determinando a característica multi-dimensional de cada camada. Um procedimento de projeção das categorizações obtidas em cada camada sobre uma camada básica leva a uma categorização confiavel mais significante, que combina em uma só classificação as análises obtidas para cada característica. Isto permite muitas análises interessantes no que tange a dependência mútua das características. A dimensão da tesselação pode ser arbitrária ou escolhida de acordo com algum critério específico estabelecido pela aplicação. Neste caso, a categorização obtida pode ser refinada, ou pela re-definição da dimensão da tesselação ou tomando cada sub-região resultante para ser analisada separadamente A formalização nos registradores pode ser facilmente recuperada apenas pela indexação dos elementos das matrizes, em qualquer momento da execução. A implementação do modelo é naturalmente paralela, uma vez que a análise é feita basicamente por regras locais. Como os dados de entrada numéricos são usualmente suscetíveis a erros, o modelo utiliza a aritmética intervalar para se ter um controle automático de erros. O modelo ICTM também suporta a extração de fatos sobre as regiões de modo qualitativo, por sentenças lógicas, ou quantitativamente, pela análise de probabilidade. Este trabalho recebe apoio nanceiro do CNPq/CTPETRO e FAPERGS.

Política: história, ciência e cultura etc.

Este texto tem como objetivo básico realizar o arriscado exercício de pensar como, no Brasil das últimas décadas, desenvolveram-se o que se irá chamar de "estudos políticos". Tal designação, passível de muitas críticas e desconfianças, é reveladora da grande dificuldade em delinear o campo dos trabalhos cobertos pela reflexão, uma vez que trata-se, fundamentalmente, de situar as questões e relações, ao mesmo tempo competitivas e complementares, de uma produção que, tendo como objeto "temas políticos", pode assumir contornos teórico-metodológicos mais próximos ou distantes da história, da ciência política ou, também, de outras ciências sociais.

Formação e mudança de imagem: uma pesquisa exploratória sobre formação e alteração da imagem de produtos, organizações, pessoas, etc.

Trata dos fatores formadores e influenciadores da Imagem em seus vários aspectos: imagem de produtos, de organizações, de pessoas, etc ... Expõe a relevância do conceito de Imagem no processo de percepção humana, particularmente no contexto da ação mercadológica. Conceitua a Imagem, diferenciando-a de conceitos próximos. Apresenta a Teoria do Comportamento do Consumidor. Discute processos e programas de formação da alteração da Imagem. Relata casos de empresas e pessoas envolvidas em projetos de formação ou alteração da Imagem.

Amortização de dívidas e juros simples: o caso de prestações em progressão aritmética

Entendendo-se como anatocismo, no contexto de financiamentos, a cobrança de juros sobre juros, buscou-se em trabalho anterior, de Faro (2013-a), evidenciar que tal fenômeno não se apresenta em qualquer sistema de amortização de dívidas em que não haja a ocorrência do que se denomina de amortização negativa. Isso, representando um aparente paradoxo, muito embora esteja subjacente o chamado regime de juros compostos (no sentido de haver equivalência financeira entre o valor financiado e a sequência de prestações periódicas).

Aritmética Modular

A videoaula traz o conceito de aritmética modular, como sendo o estudo das operações básicas sobre um contexto diferente, que é o sistema dos números inteiros módulo n. As operações básicas são: adição mod n, subtração mod n, multiplicação mod n, e divisão mod n. O material destaca ainda a adição e multiplicação modulares, a subtração e a divisão modular, o inverso modular e seus elementos e, por fim, o cálculo de equações.

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

A variedade léxica da língua espanhola em dicionários bilíngues espanhol-português para aprendizes brasileiros

Due to factors such as globalization and the demography of Hispanic countries, the Spanish language has influenced worldwide, especially since the last decade of the 20th century, mainly countries which are geographically close to Spanish American countries, such as Brazil. In this context, it is necessary to think of the linguistic variation of the Spanish language, in which we emphasize the lexical variation. As any language, Spanish has a colossal and wealthy lexicon with different varieties related to the characteristics from each region: history, culture, customs etc. This diversity influences the development, the amplification and the renewal of a language, as well as the teaching-learning process. Thus, we proposed to analyze the lexicon varieties of Spanish language entries in some Spanish-Portuguese bilingual dictionaries for Brazilian learners. In order to achieve this goal, we selected some examples of lexical variety in a corpus organized with texts of different textual genres and we verified if these lexical items are registered in the dictionaries chosen. As the corpus is organized from texts present in didactic manuals used in Brazil, our goal is to verify if the vocabulary which the Brazilian learner has contact in formal education is registered in the analyzed dictionaries.