O Processo de revisão do benefício de prestação continuada-BPC: uma lógica de exclusão ou inclusão social

This research comprises a study about the social assessment performed by the Social Worker in the review process of the Benefit of Continued Installment. The Benefit of Continued Installment was implemented in 1996 and guarantees a minimum salary to the deficiency person and to an elder with sixty five years or more and that proves not to have ways to support neither himself/herself nor his/her own family. It is a demand to include in the BPC that the maximum income of a family does not exceed ¼ of minimum salary and that every two years this benefit to be revised to evaluate its continuity based in its original conditions. This study was carried out in the municipality of Natal/RN, with thirteen social workers, being the collection of data performed through interviews and social assessments of the users that count with the benefit. The results show that the users selected by the criterion of the income, present a profile of poverty and deprivations demonstrated through several situations survived in its daily life, indicative of vulnerability. It was demonstrated that the Social workers has relative autonomy in the evaluations along with the users and that it denotes the necessity of inclusion. However, by following the imposed criteria, it corroborates with the logic of exclusion. So, it is identified in the Municipality of Natal/RN, following the orientation given the politics of social work at national level, the implementation of revision of the BPC, for the social workers, from rigorous processes of selection and exclusions

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Sistema de numeração posicional e a lógica da divisão de inteiros

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

O efeito da retração dos dentes anteriores sobre o ponto A em pacientes submetidos ao tratamento ortodôntico corretivo

OBJETIVO: avaliar o efeito da retração anterior sobre o ponto A sagital e verticalmente, bem como a correlação e a previsibilidade do comportamento dessas estruturas. METODOLOGIA: sessenta telerradiografias em norma lateral foram usadas, tomadas no início e no final do tratamento ortodôntico corretivo, a partir de 30 pacientes (22 feminino e 8 masculino) com idade entre 10 e 17 anos antes do tratamento, com má oclusão de Classe II, divisão 1 ou Classe I, que foram submetidos às extrações dos quatro primeiros pré-molares ou somente dois primeiros pré-molares superiores. Além das variáveis .1NA,1-NA, 1.PP e 1-A, mensurações lineares horizontais e verticais foram feitas em relação a uma linha de referência construída a partir da linha SN menos 7º e uma linha perpendicular a ela. Todos os dados foram mensurados duas vezes, e as médias foram submetidas ao teste t emparelhado, de correlação linear e de regressão. RESULTADOS: em média, o ponto A retraiu 0,71mm e movimentou para baixo 2,38mm, seguindo 1,03mm e 4,13mm de retração, respectivamente, do ápice radicular e da borda incisal, e 2,35mm de extrusão dentária. A retração do ponto A apresentou correlação positiva em relação ao ápice radicular (r = 0,75; alfa < 0,0001) e em relação à retração da borda incisal (r = 0,70; alfa < 0,0001), mostrando um comportamento ântero-posterior previsível. CONCLUSÕES: concluiu-se que o ponto A retraiu-se e movimentou-se para baixo seguindo o dente, e a retração do ponto A em relação aos incisivos foi previsível.

Avaliação transversal e vertical da maxila, após expansão rápida, utilizando um método de padronização das radiografias póstero-anteriores

OBJETIVO: na presente pesquisa utilizou-se o aparelho Hyrax tendo como objetivo avaliar as alterações transversais e verticais da maxila. Foram selecionados 20 pacientes de ambos os gêneros, entre 7 e 11 anos de idade, que apresentavam mordida cruzada posterior uni ou bilateral. METODOLOGIA: foram realizadas telerradiografias em norma frontal (PA) antes e após a expansão. A fim de evitar que a falta de padronização dessas radiografias pudesse influenciar nos resultados, idealizou-se um método de padronização para tais radiografias. RESULTADOS E CONCLUSÕES: os resultados mostraram que a correção da mordida cruzada posterior com o aparelho Hyrax, que ocorreu em todos os casos, foi em função tanto da abertura da sutura palatina mediana como também da inclinação dos molares. A medida JgE-JgD relacionada com a expansão maxilar aumentou significantemente em todos os casos tratados. Nas avaliações dentárias, as medidas verticais não apresentaram diferenças significantes, ao contrário das medidas transversais (FTE-FTD; FBE-FBD; LO.BTE; LO.BTD; BTE.BTD). A largura da cavidade nasal também aumentou significantemente (CNE-CND). O método de padronização proposto permite, portanto, utilizar as medidas que avaliam a expansão rápida da maxila, através das radiografias póstero-anteriores, com segurança, também no sentido vertical.

A condição das coxas anteriores, do meso-catepímero e do meso-catepisterno dos Tabanidae (Diptera) e sua possível importância na classificação

The condition of certain neglected structures and their possible importance to the classification of the family Tabanidae are studied. The front coxae are considered as belonging to two types: 1) short and robust; 2) long and slender. The posterior edge of the meso-katepimeron presents two conditions: 1) without projection, 2) with backward projection. Similar conditions are found in the meso-Katepisternum, but with intermediate conditions. These characters are discussed in relation to the system proposed for the family by Mackerras. Conditions 1 and 2 of the former two structures separate, respectively, the Pangoniinae and Scepsidinae from the Chrysopsinae and Tabaninae. Condition 2 of the third structure seems to be developing independently in different groups of Tabaninae, with varying degrees of development.

Um visitante inglês na Bahia de 1800

Apresentamos aqui, precedido de uma introdução explicativa, o fragmento de uma narrativa de viagem relativa ao Brasil, escrita pelo comerciante inglês John Turnbull em 1805, intitulada A Voyage round the world in the years 1800, 1801, 1802, 1803 and 1804. Turnbull aportou na Baía de Todos os Santos em agosto de 1800, permanecendo quatro ou cinco dias na cidade. Apesar da brevidade da visita, suas impressões sobre o Brasil trazem, entre outras coisas, curiosas notas sobre a situação de Portugal e de sua rica colônia dos trópicos no então conturbado cenário político europeu.

Lógica fuzzy na avaliação da fertilidade do solo e produtividade do café conilon

The objective of this study was to analyze, using the geoestatistic and a system of classification fuzzy, the fertility of an experimental area with base in chemical attributes of the soil and its relationship with the productivity of the conilon coffee. The study was accomplished in the experimental farm of the INCAPER - ES. The soil samples were collected in the depth of 0 - 0.2 m, being analyzed the attributes: matches, potassium, calcium and magnesium, aluminum, sum of bases, cation exchange capacity (pH 7), and saturation percentage. The data were submitted to a descriptive, exploratory, and geostatistical analysis. A system of fuzzy classification was applied using the attributes described to infer about the fertility of the soil and its relationship with the productivity of the culture. The fertility possibility presented positive spatial relationship with the productivity of the culture, with higher values of this where the possibility of fertile soil is superior.

Transformación y desarrollo: la gran tarea de América Latina. Volumen 2: trabajos de apoyo

Incluye Bibliografía

Experiencias y problemas de la planificación en América Latina: trabajos presentados al Seminario de Planificación

Incluye Bibliografía

Aplicación de la lógica económica al financiamiento de la enseñanza: la experiencia de Chile con el subsidio por estudiante

Incluye Bibliografía

Población, equidad y transformación productiva

Incluye Bibliografía

Espacios iberoamericanos: hacia una nueva arquitectura del Estado para el desarrollo

Incluye Bibliografía