Conjectures of Mathematical Logic and Educational Games for Basic Education Based on the Guidelines of NCP, NCG and NBC

Current technological advances allow us to create, adapt or simply use numerous resources to achieve improvements in teaching-learning. The purpose of this article is to show the result of an analysis of the current normative documents and recommendations for national education in Brazil (National Curricular Guidelines - National Curricular Parameters and National Common Curricular Base), primary and secondary education, regarding the contents recommended in mathematical logic, complementing with the analysis of a pedagogical political project of the fundamental education of a public school, to verify the existence of this content, in it. From this analysis and reflection on the importance of educational games in teaching, the article proposes the development of an educational game especially to assist in teaching the functionalities on the symbols of logic. It highlights the contribution of this game to the teaching-learning of these rules and symbols and, finally, concludes by showing the importance of this activity in the educational process

A comprehensive assessment of the transcriptome of cork oak (Quercus suber) through EST sequencing

Background: Cork oak (Quercus suber) is one of the rare trees with the ability to produce cork, a material widely used to make wine bottle stoppers, flooring and insulation materials, among many other uses. The molecular mechanisms of cork formation are still poorly understood, in great part due to the difficulty in studying a species with a long life-cycle and for which there is scarce molecular/genomic information. Cork oak forests are of great ecological importance and represent a major economic and social resource in Southern Europe and Northern Africa. However, global warming is threatening the cork oak forests by imposing thermal, hydric and many types of novel biotic stresses. Despite the economic and social value of the Q. suber species, few genomic resources have been developed, useful for biotechnological applications and improved forest management. Results: We generated in excess of 7 million sequence reads, by pyrosequencing 21 normalized cDNA libraries derived from multiple Q. suber tissues and organs, developmental stages and physiological conditions. We deployed a stringent sequence processing and assembly pipeline that resulted in the identification of ~159,000 unigenes. These were annotated according to their similarity to known plant genes, to known Interpro domains, GO classes and E.C. numbers. The phylogenetic extent of this ESTs set was investigated, and we found that cork oak revealed a significant new gene space that is not covered by other model species or EST sequencing projects. The raw data, as well as the full annotated assembly, are now available to the community in a dedicated web portal at http://www.corkoakdb.org. Conclusions: This genomic resource represents the first trancriptome study in a cork producing species. It can be explored to develop new tools and approaches to understand stress responses and developmental processes in forest trees, as well as the molecular cascades underlying cork differentiation and disease response.Peer Reviewe

A História da Alimentação: balizas historiográficas

Os M. pretenderam traçar um quadro da História da Alimentação, não como um novo ramo epistemológico da disciplina, mas como um campo em desenvolvimento de práticas e atividades especializadas, incluindo pesquisa, formação, publicações, associações, encontros acadêmicos, etc. Um breve relato das condições em que tal campo se assentou faz-se preceder de um panorama dos estudos de alimentação e temas correia tos, em geral, segundo cinco abardagens Ia biológica, a econômica, a social, a cultural e a filosófica!, assim como da identificação das contribuições mais relevantes da Antropologia, Arqueologia, Sociologia e Geografia. A fim de comentar a multiforme e volumosa bibliografia histórica, foi ela organizada segundo critérios morfológicos. A seguir, alguns tópicos importantes mereceram tratamento à parte: a fome, o alimento e o domínio religioso, as descobertas européias e a difusão mundial de alimentos, gosto e gastronomia. O artigo se encerra com um rápido balanço crítico da historiografia brasileira sobre o tema

Tendências na assistência hospitalar Trends in hospital care

Este artigo analisa as tendências observadas na assistência hospitalar brasileira, no que diz respeito ao cenário, situação atual, desafios e ao que necessita ser feito, tendo em vista os itens anteriores. As variáveis com as quais se trabalhou o cenário geral foram a demografia, o perfil epidemiológico, os recursos humanos, a tecnologia, a medicalização, os custos, a revisão do papel do cidadão, a legislação, a eqüidade, o hospitalocentrismo e a regionalização, o fracionamento do cuidado e a oferta de leitos. O cenário nacional foi estudado mediante o modelo empregado na assistência médica supletiva, o financiamento e a cadeia de produção na área de serviços de saúde. A situação atual apresenta os modelos de avaliação externa, a terceirização, o relacionamento público-privado, a desospitalização e o financiamento. Os desafios a serem enfrentados analisam a necessidade de se olhar o longo prazo, a busca por novos modelos jurídicos para o "negócio", o uso da informação e a informatização, o controle de custos e a necessidade do aumento da eficiência e do cumprimento dos ditames legais, de garantia de acesso e de integralidade na assistência, a incorporação da prevenção primária ao processo de atenção, a integração entre os setores público e privado e a incorporação do médico na solução dos problemas.<br>This paper analyses trends in the delivery of hospital services in Brazil, considering the setting, the current situation and its challenges, examining what still remains to be done. The variables studied for the analysis of the setting are: demography, epidemiological profile, human resources, technology, medicalization, costs, review of the role of the citizen, legislation, equity, hospital-centricity and regionalization, care fractioning and bed availability. The Brazilian setting was studied through the supplementary healthcare model, financing and the healthcare area production chain. The observations of the current situation present external evaluation models, outsourcing, public-private relationships, de-hospitalization and financing. The analysis of the challenges examines the need for long range planning, the quest for new legal models for the 'business', the use of information and information systems, cost controls and the need for enhanced efficiency and compliance with legal directives, guaranteed universal access to full healthcare facilities, the inclusion of primary prevention in healthcare procedures, integrating the public and private sectors and engaging physicians in solving problems

ATLAS

% ATLAS \\ \\ ATLAS is a general-purpose experiment for recording proton-proton collisions at LHC. The ATLAS collaboration consists of 144 participating institutions (June 1998) with more than 1750~physicists and engineers (700 from non-Member States). The detector design has been optimized to cover the largest possible range of LHC physics: searches for Higgs bosons and alternative schemes for the spontaneous symmetry-breaking mechanism; searches for supersymmetric particles, new gauge bosons, leptoquarks, and quark and lepton compositeness indicating extensions to the Standard Model and new physics beyond it; studies of the origin of CP violation via high-precision measurements of CP-violating B-decays; high-precision measurements of the third quark family such as the top-quark mass and decay properties, rare decays of B-hadrons, spectroscopy of rare B-hadrons, and $B ^0 _{s}$-mixing. \\ \\The ATLAS dectector, shown in the Figure includes an inner tracking detector inside a 2~T~solenoid providing an axial field, electromagnetic and hadronic calorimeters outside the solenoid and in the forward regions, and barrel and end-cap air-core-toroid muon spectrometers. The precision measurements for photons, electrons, muons and hadrons, and identification of photons, electrons, muons, $\tau$-leptons and b-quark jets are performed over $| \eta |$ < 2.5. The complete hadronic energy measurement extends over $| \eta |$ < 4.7. \\ \\The inner tracking detector consists of straw drift tubes interleaved with transition radiators for robust pattern recognition and electron identification, and several layers of semiconductor strip and pixel detectors providing high-precision space points. \\ \\The e.m. calorimeter is a lead-Liquid Argon sampling calorimeter with an integrated preshower detector and a presampler layer immediately behind the cryostat wall for energy recovery. The end-cap hadronic calorimeters also use Liquid Argon technology, with copper absorber plates. The end-cap cryostats house the e.m., hadronic and forward calorimeters (tungsten-Liquid Argon sampling). The barrel hadronic calorimeter is an iron-scintillating tile sampling calorimeter with longitudinal tile geometry. \\ \\Air-core toroids are used for the muon spectrometer. Eight superconducting coils with warm voussoirs are used in the barrel region complemented with superconducting end-cap toroids in the forward regions. The toroids will be instrumented with Monitored Drift Tubes (Cathode Strip Chambers at large rapidity where there are high radiation levels). The muon trigger and second coordinate measurement for muon tracks are provide