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

Ensino Fundamental de 9 anos: estamos preparados para implantá-lo?

A revisão da história do desenvolvimento da educação brasileira ao longo do séc. XX permite-nos observar que grande parte das alternativas implantadas com o intuito de resolver os problemas de democratização, acesso e permanência do aluno em uma escola de qualidade foram suplantadas por políticas de caráter econômico e financeiro que acabavam preterindo os aspectos pedagógicos. Com base nesta constatação, entendemos que a atual proposição de ampliação do Ensino Fundamental de 8 para 9 anos representa uma nova oportunidade para a revisão deste procedimento histórico no âmbito da sociedade brasileira. Tendo em vista que o prazo proposto para adequação de todas as escolas à lei é 2010, realizou-se uma investigação junto a 2 (dois) Núcleos Regionais de Ensino, 8 (oito) Secretarias Municipais de Educação e 12 (doze) escolas vinculadas a estes órgãos, localizadas em diferentes cidades e regiões do estado do Paraná-Brasil, com o objetivo de investigar como a referida proposta chegou às escolas, bem como de que forma as mesmas estão se preparando para este processo. Para tanto, foram realizadas entrevistas junto a representantes dos núcleos e secretarias e também, junto aos diretores e professores das escolas. Pode-se constatar que muito pouco se sabe acerca da proposta de Implantação do Ensino Fundamental de 9 anos e que pairam muitas dúvidas e preocupações sobre se a proposta não consiste somente em mais uma mudança política e estrutural, se não significa, apenas, uma antecipação da alfabetização que poderá prejudicar as crianças. Assim sendo, parece ficar evidente a precocidade da implantação de forma ampla e generalizada, antes que sejam garantidas as condições de preparação das respectivas escolas e professores.

Short and long period optimization of drug doses in the treatment of AIDS

Técnicas de otimização numérica são úteis na solução de problemas de determinação da melhor entrada para sistemas descritos por modelos matemáticos e cujos objetivos podem ser expressos de uma maneira quantitativa. Este trabalho aborda o problema de otimizar as dosagens dos medicamentos no tratamento da AIDS em termos de um balanço entre a resposta terapêutica e os efeitos colaterais. Um modelo matemático para descrever a dinâmica do vírus HIV e células CD4 é utilizado para calcular a dosagem ótima do medicamento no tratamento a curto prazo de pacientes com AIDS por um método de otimização direta utilizando uma função custo do tipo Bolza. Os parâmetros do modelo foram ajustados com dados reais obtidos da literatura. Com o objetivo de simplificar os procedimentos numéricos, a lei de controle foi expressa em termos de uma expansão em séries que, após truncamento, permite obter controles sub-ótimos. Quando os pacientes atingem um estado clínico satisfatório, a técnica do Regulador Linear Quadrático (RLQ) é utilizada para determinar a dosagem permanente de longo período para os medicamentos. As dosagens calculadas utilizando a técnica RLQ , tendem a ser menores do que a equivalente terapia de dose constante em termos do expressivo aumento na contagem das células T+ CD4 e da redução da densidade de vírus livre durante um intervalo fixo de tempo.

Interval multivariate curve resolution in the dereplication of HPLC-DAD data from Jatropha gossypifolia

Introduction Jatropha gossypifolia has been used quite extensively by traditional medicine for the treatment of several diseases in South America and Africa. This medicinal plant has therapeutic potential as a phytomedicine and therefore the establishment of innovative analytical methods to characterise their active components is crucial to the future development of a quality product. Objective To enhance the chromatographic resolution of HPLC-UV-diode-array detector (DAD) experiments applying chemometric tools. Methods Crude leave extracts from J. gossypifolia were analysed by HPLC-DAD. A chromatographic band deconvolution method was designed and applied using interval multivariate curve resolution by alternating least squares (MCR-ALS). Results The MCR-ALS method allowed the deconvolution from up to 117% more bands, compared with the original HPLC-DAD experiments, even in regions where the UV spectra showed high similarity. The method assisted in the dereplication of three C-glycosylflavones isomers: vitexin/isovitexin, orientin/homorientin and schaftoside/isoschaftoside. Conclusion The MCR-ALS method is shown to be a powerful tool to solve problems of chromatographic band overlapping from complex mixtures such as natural crude samples. Copyright © 2013 John Wiley & Sons, Ltd. Extracts from J. gossypifolia were analyzed by HPLC-DAD and, dereplicated applying MCR-ALS. The method assisted in the detection of three C-glycosylflavones isomers: vitexin/isovitexin, orientin/homorientin and schaftoside/isoschaftoside. The application of MCR-ALS allowed solving problems of chromatographic band overlapping from complex mixtures such as natural crude samples. Copyright © 2013 John Wiley & Sons, Ltd.

Alocação de Chaves para Transferências Automáticas de Cargas entre Subestações Utilizando Algoritmo Busca Tabu Reativa

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

Programação de horários usando um algoritmo de busca em vizinhança variável

Pós-graduação em Engenharia Elétrica - FEIS

Simulação numérica de escoamentos incompressíveis pelo método de elementos finitos com esquema de Separação Baseado na Característica (CBS)

Pós-graduação em Engenharia Mecânica - FEIS

Estratégias utilizadas por crianças, adolescentes e adultos na resolução de problemas cognitivos: um estudo da EJA

Pós-graduação em Educação - IBRC

Um estudo exploratório sobre o uso da informática na resolução de problemas trigonométricos

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

Um estudo sobre as relações entre atitudes, gênero e desempenho de alunos do ensino médio em atividades envolvendo frações

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

Ensino-aprendizagem de geometria: uma proposta fazendo uso de caleidoscópios, sólidos geométricos e softwares educacionais

Pós-graduação em Educação Matemática - IGCE

O raciocínio lógico e a criatividade na resolução de problemas matemáticos no ensino médio

Pós-graduação em Educação - FFC

Educação permanente em unidades de urgência e emergência: do significado à prática

Pós-graduação em Enfermagem (mestrado profissional) - FMB

O ensino universitário de Química em descompasso: dificuldades de futuros professores na construção do pensamento químico

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Quantificação de citocinas no líquido amniótico de bezerros nelore oriundos de produção in vitro, tranferência de embrião e inseminação artificial colhido no momento do parto

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)