Sökning: "Martin Meyer"
Hittade 3 avhandlingar innehållade orden Martin Meyer.
1. Deductive Planning and Composite Actions in Temporal Action Logic
Sammanfattning : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. LÄS MER
2. Studies in the Dynamics of Science : Exploring emergence, classification, and interdisciplinarity
Sammanfattning : The dynamic nature of science is embodied in the growth of knowledge in magnitude and the transformation of knowledge in structure. More specifically, the growth in magnitude is indicated by a sharp increase in the number of scientific publications in recent decades. LÄS MER
3. Digitala skrivtavlor - till vad, hur och varför? : En studie om den digitala skrivtavlans betydelse för grundskolans digitalisering utifrån ett lärarperspektiv
Sammanfattning : The purpose of this thesis is to examine in what aspects the interactive whiteboard (IWB) has contributed to the digitalization of our schools, and how it may have changed the actual teaching in the classroom. This research explores this question from a didactic perspective, as well as from the perspective of the teachers’ reflections. LÄS MER