Sökning: "Meta-language"

Visar resultat 1 - 5 av 11 avhandlingar innehållade ordet Meta-language.

1. 1. På tal om matematik : matematiken, vardagen och den matematikdidaktiska diskursen

   Författare :Eva Riesbeck; Lars-Ove Dahlgren; Ingrid Andersson; Astrid Pettersson; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; school-mathematics; every-day life; discourse; education; language; discursive boundary crossing; meta-language; Skolmatematik; vardag; diskurs; didaktik; språk; diskursiva gränser; metaspråk; Education; Pedagogik;

   Sammanfattning : The aim of this dissertation is to describe and analyze how discourse as a theoretical and didactical concept can help in advancing knowledge about the teaching of mathematics in school. The dissertation has been written within a socio-cultural perspective where active participation and support from artefacts and mediation are viewed as important contributions to the development of understanding. LÄS MER

3. 2. Meta-Languages and Semantics for Equation-Based Modeling and Simulation

   Författare :David Broman; Peter Fritzson; Jeremy Siek; Thomas Schön; Björn Lisper; Walid Taha; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Meta-language; semantics; EOO; Modelica; equations; modeling; simulation; MKL; Computer science; Datalogi;

   Sammanfattning : Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models. LÄS MER

4. 3. PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations

   Författare :Levon Saldamli; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Object oriented programming; mathematics models; partial differential equations PDEs ; relational meta-language RML ; Computer science; Datavetenskap;

   Sammanfattning : This thesis describes initial language extensions to the Modelica language to define a more general language called PDEModelica, with built-in support for modeling with partial differential equations (PDEs). Modelica® is a standardized modeling language for objectoriented, equation-based modeling. LÄS MER

5. 4. Compiler generation for parallel languages from denotational specifications

   Författare :Johan Ringström; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : There exist several systems for the generation of compiler front-ends from formal semantics. Systems that generate entire compilers have also started to appear. Many of these use attribute grammars as the specification formalism, but there also are systems based on operational semantics or denotational semantics. LÄS MER

7. 5. Att bedöma elevers läsförståelse : En jämförelse mellan svenska och kanadensiska bedömningsdiskurser i grundskolans mellanår

   Författare :Barbro Westlund; Tore West; Astrid Pettersson; Ulf Fredriksson; Caroline Liberg; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; reading comprehension; reading comprehension assessment; reading comprehension strategies; fedback; upper elementary school; Didactics; didaktik;

   Sammanfattning : The aim of the study is to describe and analyze what assessment discourses of reading comprehension are more prominent by comparing five Swedish and five Canadian teachers in the province of BC in Canada. Based on a teacher perspective on how to develop and assess reading comprehension, the investigation concentrates on teacher discourses and their alignment with other discourses of reading comprehension within the two school systems. LÄS MER