Sökning: "informal and formal mathematical concepts."

Hittade 4 avhandlingar innehållade orden informal and formal mathematical concepts..

1. 1. Concept Formation in Mathematics

   Författare :Jörgen Sjögren; Högskolan i Skövde; []
   Nyckelord :HUMANIORA; HUMANITIES; Explication; Power of arithmetical theories; Formal proof; Informal proof; Indispensability; Mathematical realism; Naturvetenskap; Natural sciences; Explication; Power of arithmetical theories; Formal Proof; Informal proof; Indispensability; Mathematical Realism;

   Sammanfattning : This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of the power of arithmetical theories is constructed, where “power” is understood as capability to prove theorems. LÄS MER

3. 2. Reactive Objects and Functional Programming

   Författare :Johan Nordlander; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The construction of robust distributed and interactive software is still a challenging task, despite the recent popularity-increase for languages that take advanced programming concepts into the mainstream. Several problematic areas can be identified: most languages require the reactivity of a system to be manually upheld by careful avoidance of blocking operations; mathematical values often need to be encoded in terms of stateful objects or vice versa; concurrency is particularly tricky in conjunction with encapsulated software components; and static type safety is often compromised because of the lack of simultaneous support for both subtyping and polymorphism. LÄS MER

4. 3. ”De va svinhögt typ 250 kilo” : Förskolebarns mätande av längd, volym och tid i legoleken

   Författare :Anders Albinsson; Maria Simonsson; Joakim Samuelsson; Eva Riesbeck; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Lego play; length height; quantity; time; measurement; reference points; physical and cultural tools; informal and formal mathematical concepts.;

   Sammanfattning : The purpose of the dissertation is to study, describe and analyses which comparative measurement activities preschool children construct and use, and how they solve problems and communicate when they use the comparative measurement activities whilst playing with Lego (“the Lego play”). The measurement activities chosen are length/height, quantity and time. LÄS MER

5. 4. Elevers möten med matematik : En studie om elevers möten med matematik i förskoleklass och årskurs 1

   Författare :Sofie Arnell; Joakim Samuelsson; Karin Forslund Frykedal; Hanna Palmér; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; pupils; encounters with mathematics; actions; possible learning; mathematics teaching and learning; preschool class; primary school; activity theory; elever; möten med matematik; handlingar; möjligt lärande; matematikundervisning; matematikdidaktik; förskoleklass; grundskolans tidigare år; verksamhetsteori;

   Sammanfattning : Många och positiva tidiga möten med matematik är betydelsefulla för barns och elevers matematiklärande. Avhandlingens syfte är att bidra med kunskap om elevers möten med matematik i förskoleklass och årskurs 1 genom att undersöka, analysera och beskriva dem. LÄS MER