74 research outputs found

    Educación histórica, una propuesta para el desarrollo del pensamiento histórico en el Plan de estudios 2012 para la formación de maestros de educación básica

    Get PDF
    Este artículo presenta el sustento teórico, las competencias profesionales y los cursos que integran la propuesta formativa en el área de historia de los nuevos Planes y Programas de Estudios de 2012 de las Licenciaturas en Educación Primaria y Preescolar que se aplican en las escuelas normales. Partimos de una discusión historiográfica contemporánea para definir teóricamente la historia a la que nos referimos en este trabajo y retomamos el término educación histórica - empleado sobre todo en el ámbito anglosajón -, pues asumimos una mirada interdisciplinaria que recupera los vínculos entre la historia y otras disciplinas científicas, como la psicología y la pedagogía de la historia, que le permiten a Clío iluminar su camino a la escuela. Palabras clave: Educación histórica; Historia; Formación de profesores; Pedagogía de la historia; Planes y programas de estudio

    What is a Recursive Module?

    No full text
    A hierarchical module system is an effective tool for structuring large programs. Strictly hierarchical module systems impose an acyclic ordering on import dependencies among program units. This can impede modular programming by forcing mutually-dependent components to be consolidated into a single module. Recently there have been several proposals for module systems that admit cyclic dependencies, but it is not clear how these proposals relate to one another, nor how one might integrate them into an expressive module system such as that of ML. To address this question we provide a type-theoretic analysis of the notion of a recursive module in the context of a "phase-distinction" formalism for higher-order module systems. We extend this calculus with a recursive module mechanism and a new form of signature, called a recursively dependent signature, to support the defmition of recursive modules. These extensions are justified by an interpretation in terms of more primitive language constructs. This interpretation may also serve as a guide for implementation

    A study of factors relating to stability in frozen milk

    No full text
    Thesis: M.S., Massachusetts Institute of Technology, Department of Food Technology, 1949Bibliography: leaves 171-173.by Herbert V. Shuster and Edward G. Sidd.M.S.M.S. Massachusetts Institute of Technology, Department of Food Technolog

    Market design & analysis for a p2p backup system. Working Paper

    No full text
    This paper presents the design and theoretical analysis of a P2P resource exchange market, a novel application of markets to the domain of P2P backup. While the long-term goal is an open market using real money, here we consider a system where monetary transfers are prohibited. We first describe the design of the market and the user interface we developed. Second, we prove theorems on equilibrium existence and uniqueness. Third, we present a price update algorithm that uses daily supply and demand information to move prices towards the equilibrium. The market design described in this paper is already implemented as part of a Microsoft research project on P2P backup systems and an internal alpha version of the software has been released. We will thus complement the theoretical analysis with discussions of implementation challenges that arise in practice. 1
    corecore