1,709 research outputs found

    Theoretical models of the role of visualisation in learning formal reasoning

    Get PDF
    Although there is empirical evidence that visualisation tools can help students to learn formal subjects such as logic, and although particular strategies and conceptual difficulties have been identified, it has so far proved difficult to provide a general model of learning in this context that accounts for these findings in a systematic way. In this paper, four attempts at explaining the relative difficulty of formal concepts and the role of visualisation in this learning process are presented. These explanations draw on several existing theories, including Vygotsky's Zone of Proximal Development, Green's Cognitive Dimensions, the Popper-Campbell model of conjectural learning, and cognitive complexity. The paper concludes with a comparison of the utility and applicability of the different models. It is also accompanied by a reflexive commentary[0] (linked to this paper as a hypertext) that examines the ways in which theory has been used within these arguments, and which attempts to relate these uses to the wider context of learning technology research

    Monotonically equivalent entropies and solution of additivity equation

    Full text link
    Generalized entropies are studied as Lyapunov functions for the Master equation (Markov chains). Three basic properties of these Lyapunov functions are taken into consideration: universality (independence of the kinetic coefficients), trace-form (the form of sum over the states), and additivity (for composition of independent subsystems). All the entropies, which have all three properties simultaneously and are defined for positive probabilities, are found. They form a one-parametric family. We consider also pairs of entropies S1S_{1}, S2S_{2}, which are connected by the monotonous transformation S2=F(S1)S_{2}=F(S_{1}) (equivalent entropies). All classes of pairs of universal equivalent entropies, one of which has a trace-form, and another is additive (these entropies can be different one from another), were found. These classes consist of two one-parametric families: the family of entropies, which are equivalent to the additive trace-form entropies, and the family of Renyi-Tsallis entropies.Comment: elsart-LaTeX2e, 11 page

    Derived rules for predicative set theory: an application of sheaves

    Get PDF
    We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their preservation properties
    • …
    corecore