Search for dissertations about: "Contextual categories"

Showing result 1 - 5 of 48 swedish dissertations containing the words Contextual categories.

  2. 1. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

    Author : Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; Mathematics; matematik; matematisk logik; Mathematical Logic;

    Abstract : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. READ MORE

  4. 2. Flexibility in knowing school mathematics : In the contexts of a Swedish and an Indian school class

    Author : Ingrid Dash; Pedagogik; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Mathematics education; compulsory school; Sweden; Orissa; India; flexibility in knowing; modes of knowing; authorship; agency; phenomenography; contextual analysis; intercultural perspective;

    Abstract : A central question in mathematics education research concerns understanding. The main objective of the present thesis has been to obtain insights into flexible modes of knowing in school mathematics in two school class contexts, and how these relate to modes of being a learner in these contexts, with specific focus on learners’ flexible ways of discerning parts and delimiting wholes, and how they understand part- and whole-relationships while doing mathematics. READ MORE

  5. 3. Learning physiotherapy : the impact of formal education and professional experience

    Author : Madeleine Abrandt Dahlgren; Linköpings universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Physiotherapy; problem-based learning; formal education; professional experience; discourse; basic concepts; qualitative analysis; phenomenography; conceptions; contextual analysis;

    Abstract : The aim is to describe and analyse physiotherapeutic learning through formal education and professional experience. The investigation focuses on the students' ways of experiencing the concepts of Health, Movement, Function and Interaction. READ MORE

  6. 4. Learning and teaching sustainable development in global-local contexts

    Author : Birgitta Nordén; Malmö högskola; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Contextual Analysis; Critical Knowledge Capabilities; Deep approaches to learning; Deep approaches to teaching; Education for Sustainable Development; ESD; Environmental and Sustainabilty Education Research; ESER; Global classrooms; Global learning; Global eduction; Global - local contexts; Global Learning for Sustainable Development; GLSD; Global teaching and learning; Phenomenography; Sustainable Development; SD; sustainability; Teaching Approaches; Transdisciplinary Teaching; Transitions; Transnational education; Online learning; Transnational learning; Contextual Analysis; Critical Knowledge Capabilities; Deep Approaches to Learning; Deep Approaches to Teaching; Education for Sustainable Development ESD ; Environmental and Sustainabilty Education Research ESER ; Global Classrooms; Global Learning; Global Learning for Sustainable Development GLSD ; Global-Local Contexts; Phenomenography; Sustainable Development; Teaching Approaches; Transdisciplinary Teaching; Transitions;

    Abstract : The overall aim of this thesis is to develop knowledge of teachingand learning sustainable development in global–local contexts. Theresearch field is global learning for sustainable development (GLSD). READ MORE

  7. 5. Nutrition transition and the double burden of malnutrition in Indonesia : a mixed method approach exploring social and contextual determinants of malnutrition

    Author : Masoud Vaezghasemi; Nawi Ng; Ann Öhman; Malin Eriksson; Anna Winkvist; Umeå universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Double burden of malnutrition; Child obesity; Body Mass Index; Gender relations; Social capital; Multilevel modelling; Grounded theory; Indonesian Family Life Surveys; Indonesia; folkhälsa; Public health;

    Abstract : IntroductionNutrition transition concerns the broad changes in the human diet that have occurred over time and space. In low- to middle-income countries such as Indonesia, nutrient transition describes shifts from traditional diets high in cereal and fibre towards Western pattern diets high in sugars, fat, and animal-source foods. READ MORE