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

Spectroscopic studies of the Eu3+ and Er3+ ions in the fluorozirconate LaZr2F11 matrix

An investigation by optical spectroscopy of the Eu3 + and Er3 + active ions in the crystallized fluorozirconate matrix LaZr2F11 is presented. The D-5(1) --> F-7(0-5) emission lines of Eu3 + are used to extract the F-7(0-5) energy scheme and the observed extinctions permit the deduction of irreducible representations (IRREPS) associated with corresponding sub-levels in the D-2 symmetry. The crystal field analysis was carried out on a 387 x 387 basis set, comprising the F-7, D-5(1,2,3) F-5(1,2), (5)G(1,2,3) and P-3(1,2,3,4,5,6) terms of the Eu-3 (+) 4f(6) configuration. The deviation and rms are 6.8 and 7.9 cm (-1), respectively for 38 levels and ten parameters. The experimental crystal field parameters are in good agreement with the ab-initio ones. Moreover, the relative intensities of the D-5(0) --> F-7(2,3,4) emissions are well reproduced by an 'ab-initio' calculation, except for three lines. The Er3 + ions introduced in LaZr2F11, microcrystals also lie in an unique crystallographic site. A total of 31 energy levels were recorded and the crystal field analysis led to 6.6 and 7.8 cm (-1) for the deviation and rms, respectively, for nine variable parameters taken into account. The experimental CF parameters for Er3 + and Eu3 + are very similar, which seems to show that the host lattice contracts around the smaller Er3 + ion. The informations given by both Eu3 + and Eu3 + optical probes in LaZr2F11 are very consistent with the structure previously determined for the isotypic PrZr2F11 fluoride. (C) 2000 Elsevier B.V. B.V. All rights reserved.

Relações entre tempo e evidencialidade nas línguas indígenas do Brasil: um estudo tipológico-funcional

Pós-graduação em Estudos Linguísticos - IBILCE

Processos inferenciais: contribuições das ciências cognitivas

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

Continuum psicofísico: uma abordagem baseada no pensamento de Charles S. Pierce

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

Conteúdo educativo para a televisão digital interativa

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

The fiscal impact of trade liberalization and commodity price fluctuation: the case of Costa Rica, 1980-1998

Includes bibliography

Análise do comportamento experimental e numérico de prismas de alvenaria estrutural utilizando o elemento finito prismático regular parabólico

Pós-graduação em Engenharia Civil - FEIS

Os dipnoiformes da formação Alcântara (Albo-Cenomaniano), Ilha do Cajual, Maranhão

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

Ensino e aprendizagem de poliedros regulares via a teoria de Van Hiele com origami

Pós-graduação em Matemática em Rede Nacional - IBILCE

Kant e Habermas: a relação sujeito-objeto e a construção do conhecimento

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

Análise do comportamento experimental e numérico de prismas de alvenaria estrutural submetidos a ações verticais utilizando elementos finitos volumétricos

Pós-graduação em Engenharia Civil - FEIS

A transcendência pela natureza em Álvares de Azevedo

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

Sistema de informação geográfica e sensoriamento remoto na avaliação do processo de mudança de uso da terra para subsidiar o planejamento de bacias hidrográficas

Pós-graduação em Geociências e Meio Ambiente - IGCE

Análise dinâmica de mecanismo articulado de suspensão com não-linearidade na rigidez devido à geometria e à excitação por desbalanceamento rotativo na condição não ideal

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