LEGO is a computer program for interactive typechecking in the Extended Calculus of Constructions and two of its subsystems. LEGO also supports the extension of these three systems with inductive types. These type systems can be viewed as logics, and as meta languages for expressing logics, and LEGO is intended to be used for interactively constructing proofs in mathematical theories presented in these logics. I have developed LEGO over six years, starting from an implementation of the Calculus of Constructions by Gérard Huet. LEGO has been used for problems at the limits of our abilities to do formal mathematics. In this thesis I explain some aspects of the meta-theory of LEGO's type systems leading to a machine-checked proof that typechecking is decidable for all three type theories supported by LEGO, and to a verified algorithm for deciding their typing judgements, assuming only that they are normalizing. In order to do this, the theory of Pure Type Systems (PTS) is extended and formalized in LEGO. This extended example of a formally developed body of mathematics is described, both for its main theorems, and as a case study in formal mathematics. In many examples, I compare formal definitions and theorems with their informal counterparts, and with various alternative approaches, to study the meaning and use of mathematical language, and suggest clarifications in the informal usage. Having outlined a formal development far too large to be surveyed in detail by a human reader, I close with some thoughts on how the human mathematician's state of understanding and belief might be affected by possessing such a thing.

This diploma thesis focuses on the area of customer care in the company LEGO Group Czech republic, especially concentrates on the recruitment of the customers and also on the increase of the frequency of customers. The theoretical part focuses on definition of the marketing mix, customer and their shopping behaviour, furthermore the thesis introduces the description and trends concerning the competition on the market. First sections of analytical part are devoted to introduction of the company LEGO, evaluation of the brand, economic overview, description of the customer, overview of portfolio and analysis of the competition. The main part is based on the data received from the own research, which results in description of current situation and especially in proposals for improvement on how to get closer to the customer.

<p>Syftet med detta arbete är att undersöka vad lärare och elever anser om lek och lek med Lego. För att ta reda på detta har jag använt mig av tidigare forskning samt intervjuer med fyra lärare, samtal med elever samt observationer. Resultaten visar att lärare och elever anser att leken är betydelsefull samt att pojkar och flickor väljer att leka med olika leksaker och leker. Ett annat resultat är att det är flest pojkar som leker med Lego men det finns även flickor som leker med Lego. Eleverna ansåg att man kan leka själv med Lego eller tillsammans med andra. Krig och pirater är lekar som pojkarna använder vid lek med Lego och flickorna blandar gärna in andra leksaker såsom djur i leken med Lego. Det är två av fyra lärare som använder sig av Lego i pedagogiska sammanhang, de två lärarna som inte gör det ville ha tips och inspiration. Slutsatserna blir att det är viktigt att ta tillvara på leken eftersom den utgör en stor del av barns liv samt att barn väljer leksaker på grund av intressen och möjligtvis genom deras bakgrund.   </p>

Syftet med detta arbete är att undersöka vad lärare och elever anser om lek och lek med Lego. För att ta reda på detta har jag använt mig av tidigare forskning samt intervjuer med fyra lärare, samtal med elever samt observationer. Resultaten visar att lärare och elever anser att leken är betydelsefull samt att pojkar och flickor väljer att leka med olika leksaker och leker. Ett annat resultat är att det är flest pojkar som leker med Lego men det finns även flickor som leker med Lego. Eleverna ansåg att man kan leka själv med Lego eller tillsammans med andra. Krig och pirater är lekar som pojkarna använder vid lek med Lego och flickorna blandar gärna in andra leksaker såsom djur i leken med Lego. Det är två av fyra lärare som använder sig av Lego i pedagogiska sammanhang, de två lärarna som inte gör det ville ha tips och inspiration. Slutsatserna blir att det är viktigt att ta tillvara på leken eftersom den utgör en stor del av barns liv samt att barn väljer leksaker på grund av intressen och möjligtvis genom deras bakgrund.

Syftet med arbetet är att undersöka vilka matematiska möjligheter legoaktiviteter ger och vilka matematiska kunskaper elever kan utveckla genom att bygga med lego.Vilket legomaterial finns och hur använder pedagoger lego som pedagogiskt verktyg i förskoleklass? Elever och pedagoger har intervjuats och observationer har gjorts i tre förskoleklasser. Resultatet av arbetet visar att elever får möta matematik på många olika sätt genom att bygga med lego. De får möjlighet att lära sig lägesord, mängd, geometri, addition, multiplikation och att konkret se att multiplikation är kommutativ. Elever får även möjlighet att samarbeta, lösa problem, vara kreativa, skapa bilder av tal, träna minnet och att koncentrera sig.

I en fältstudie på grundskolan studeras elevernas arbete med Lego som visuell kultur och hur de ser på lärande kring Lego. Syftet med studien är att ge ett bidrag till förståelsen av olika könsstrukturer i byggandet av Lego och därmed se eventuella skillnader i utföranden mellan flickor och pojkar. Det handlar också om att låta eleverna vara medforskare och göra deras röster hörda samt bidra till elevernas berättandekultur och kunskapande. Frågeställningarna är: På vilket sätt blir olika genusperspektiv framträdande i byggandet med Lego? Hur framträder skillnader mellan pojkar och flickor? På vilket sätt kan elever uppfatta och beskriva Lego som en kunskapsform? Undersökningen har en socialkonstruktionistisk teoretisk ram, där eleverna ses som kunskapande aktörer och medaktörer till grundskolediskursen. Det empiriska materialet analyseras utifrån metoder inom diskursanalys som en variant av textanalys. Resultatet av detta arbete har medfört att jag har fått en större förståelse för hur viktig kommunikationen är i bildämnet för språkutveckling. Jag har också funnit att det behövs en reflektion och medvetenhet kring genusperspektivet för att kunna förändra dessa mönster. Som bildlärare har jag genom detta arbete sett de positiva effekterna av att skaffa mig mer kunskap om jämställdhet för att kunna förändra äldre traditioner.

IKO is a creative prosthetic system designed for children to explore and empower their creativity in a playful, social and friendly way. What if kids could use their imagination to create their own tools according to their own needs; doing participatory observations and interviews in Colombia of two children with congenital hand-disabilities and their families confirmed that the needs of disabled kids are not always related to physical activity but often alternatively the social and psychological aspect; what if kids could make their own prosthetics and have fun at the same time? Learning. Creating. Being kids.

Inom en snar framtid planeras en omstrukturering av SI-systemet där desju fundamentala storheterna; kilogram, meter, sekund, mol, candela,ampere och kelvin, inte längre ligger som grund. Istället kommer allaSI-enheter realiseras utifrån noggrant utvalda naturkonstanter somfixerats genom reproducerbara metoder. Kilogrammet är i dagsläget denenda av storheterna som fortfarande representeras av ett fysikalisktobjekt. En av de ledande metoderna för omdefinitionen kilogrammetkallas Watt-balansvåg. Konceptet hos Watt-balansvågen går ut på attjämföra en mekanisk effekt med en elektrisk effekt, där den gemensammafaktorn mellan elektriska och mekaniska storheter är Plancks konstant. PåNational Institute of Standards and Technology (NIST) i USA har detdesignats en demonstrativ LEGO-modell av en Watt-balansvåg. På SPSveriges Tekniska Forskningsinstitut ansågs en rekonstruktion av dennaLEGO-modell vara ett intressant sätt att påbörja kompetensuppbyggnadinom omdefinition av kilogrammet. Med hjälp av LEGO-modellen är SPssyfte också att enklare kunna förklara och demonstrera funktionen hos enWatt-balansvåg för myndigheter, näringsliv och framtida innovationspartners. Syftet med projektet som beskrivs i denna rapport var attfelsöka och förbättra en påbörjad rekonstruktion av LEGO-modellen, föratt reducera ett systematiskt mätfel på 15-20% över faktisk massa. Utifrånen vetenskaplig metod utformades hypoteser över tänkbara felorsaker somtestades genom systematiska mätningar. Baserat på resultaten somerhållits har LEGO-modellens systematiska mätfel reducerats från ca15-20% över till ca 0-4% under faktisk massa. Det fortsatta systematiskamätfelet anses bero på en bestående osäkerhet i uppmätningen av ettmagnetfälts styrka i relation till en spoles karaktäristik. Värdet ges frånden inducerade spänningen över en spole med en hastighet som beräknasfrån spänningsutslaget i en fotodiod, där ett fel i bådaspänningsmätningarna tros vara orsaken. En mer omfattande analys övervad samplingstid och upplösning hos enheten för spänningsmätningar harför påverkan på denna mätning skulle kunna förbättra LEGO-modellenytterligare. / Within the near future there is a plan to reconstruct the InternationalSystem of Units (SI) where the seven base units; kilogram, meter, second,mol, candela, ampere and kelvin, will no longer serve as the foundation ofthe system. Instead all SI-units will be realized by using a number ofcarefully chosen fundamental constants of nature, which have been givenfixed values threw reproducible methods. The kilogram is presently theonly base unit still represented by a physical object. One of the leadingmethods in the pursuit of redefining the kilogram is called a Watt Balance.The concept of a Watt Balance is based on the comparison of mechanicalpower and electrical power, with the common factor between mechanicaland electrical units being Plancks constant. The National Institute ofStandards and Technology (NIST) in the USA have designed a WattBalance LEGO-model used for demonstrations. At SP Sveriges TekniskaForskningsinstitut a reconstruction of the LEGO-model was considered tobe an interesting way of starting to build a level of competence around theredifinition of the kilogram. By using the LEGO-model, SPs purpose alsoinvolves the ability to explain and demonstrate the concept of a WattBalance to authorities, companies and future innovation partners. Thepurpose of the project described in this thesis was to improve an ongoingreconstruction of the LEGO-model at SP by reducing a systematicmeasurement error at 15-20% over actual mass. Using a scientific method,theories to the causes of error were formed and tested threw systematicmeasurements. Based on the result, the systematic error have beenreduced from 15-20% over to approximately 0-4% under the actual mass.The reason for the remaining systematic error is considered being relatedto an uncertainty in the measurement of a relation between a magneticflux and an electric coil. The result from the measurement is based on theinduced voltage in a coil with a velocity calculated from the voltageoutput produced by a shadow sensor. The error is presumed to be relatedto both voltage measurements. A more comprehensive analysis regardingthe sample time and resolution of the device used in the voltagemeasurements, could improve the LEGO-model further.

Detta examensarbete handlar om hur förskolebarn använder leksaker som socialt redskap. Syftet med arbetet var att undersöka om och hur barn använder LEGO som socialt redskap och uttrycksform och vi ställde oss frågorna: På vilket sätt kan vi se att barn använder LEGO i leken? Kan vi se skillnader i barns användande av LEGO i olika situationer? Vår metod för att undersöka detta var videoobservationer på en förskola. Barnen som deltog i studien var mellan tre och fem år gamla och sex stycken till antalet. I tidigare forskning framkom det att leksaker kan ha differerande inverkan på leken, att samspel mellan barnen i leken gynnar kreativiteten och att makt och fostran har stor betydelse i lekandet. I vår studie visade det sig att barnen använder leksaken som redskap för att uttrycka sina tankar och erfarenheter och att maktaspekten i det här fallet gynnade lekens kreativa värld. Vi såg även att samspel mellan barn inte var ett krav för att barnen skulle använda leksaken som ett redskap för att testa sina tankar och idéer.

No description available.