Sökning: "Contextual categories"

Visar resultat 1 - 5 av 66 avhandlingar innehållade orden Contextual categories.

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

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

   Sammanfattning : 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. LÄS MER

3. 2. Hälsopedagogik i sjuksköterskeutbildningen

   Författare :Heléne Ivarsson; Utbildningsvetenskap; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; didaktik; Pedagogik; Pedagogy and didactics; teachers and students conceptions.; phenomenography; nursing education; Contextual analysis; health pedagogy; Psychology; Psykologi; General practice; medical training; Allmän medicinsk utövning; medicinsk utbildning;

   Sammanfattning : This study is about health pedagogy in nursing education. The main purpose is to describe health pedagogy in the context of nursing education and to increase the understanding for the subject. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Madeleine Abrandt Dahlgren; Linköpings universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

7. 5. Idiomatische Sätze im Deutschen : Syntaktische, semantische und pragmatische Studien und Untersuchung ihrer Produktivität

   Författare :Rita Finkbeiner; Dessislava Stoeva-Holm; Jörg Meibauer; Dmitrij Dobrovol'skij; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; sentential idioms; German language; productivity; constructions; phraseology; relevance theory; corpus linguistics; linguistic evaluation; contextual analysis; elicitation test; sentence type; sentence mood; indirectness; idiomaticity; metonymy; German language; Tyska språket; German; tyska;

   Sammanfattning : This study aims at examining in detail the linguistic characteristics of sentential idioms (‘idiomatische Sätze’, IS) in German, e.g. Das kannst du dir an den Hut stecken.; Du hast wohl Tomaten auf den Augen!; Da lachen ja die Hühner!. LÄS MER