Intro to Logic
An introduction to reasoning with Proposition and First-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
Inconterm and international trades Bijoux Chaussures Grossiste Lingerie Ordinateur Meubles
Lecture 18 - 11/30/2010
This course covered the mathematical topics most directly related to computer science. Topics included: logic, relations, functions, basic set theory, countability and counting arguments, proof techniques, mathematical induction, graph theory, combinatorics, discrete probability, recursion, recurrence relations, and number theory. Emphasis will be placed on providing a context for the application of the mathematics within computer science. The analysis of algorithms requires the ability to count
Knowledge Convergence in Computer-Supported
Collaborative Learning: The Role of External Representat
This study investigates how two types of graphical representation tools influence the way in which learners use knowledge resources in two different collaboration conditions. In addition, the study explores the extent to which learners share knowledge with respect to individual outcomes under these different conditions. The study also analyzes the relationship between the use of knowledge resources and different types of knowledge. The type of external representation (content-specific vs. conten
The evolution of research on collaborative learning
For many years, theories of collaborative learning tended to focus on how individuals function in a group. More recently, the focus has shifted so that the group itself has become the unit of analysis. In terms of empirical research, the initial goal was to establish whether and under what circumstances collaborative learning was more effective than learning alone. Researchers controlled several independent variables (size of the group, composition of the group, nature of the task, communication
The greenhouse effect visualizer: a tool for the science classroom
The Greenhouse Effect Visualizer (GEV) is designed to help students visualize data sets related to the earth's energy balance. This work was inspired by the benefits scientific visualization have provided to scientists in discovering patterns and presenting the results of their work to broad communities. The hope is that scientific visualization can provide equal assistance to students trying to learn science. The philosophy underlying this approach links learning with practice. Hence, students
Creatures of Habit: A Computational System to Enhance and Illuminate the Development of Scientific T
Creatures of Habit is a computer-based microworld designed to engage middle-to-high school students in the process of scientific inquiry. The system depicts a universe of interacting programmable “creatures” whose individual behavior is guided by simple rules that may model naive psychology, physical laws, chemical affinities, and other domains. Students can create or revise creature rules and explore the resulting (and often surprising) emergent behaviors within “artificial ecosystems”;
Children's mental models of recursive logo programs
Children who had a year of Logo programming experience were asked to think-aloud about what brief Logo recursive programs will do, and then to predict with a hand-simulation of the programs what the Logo graphics turtle will draw when the program is executed. If discrepancies arose in this last phase, children were asked to explain them. A prevaient but misguided "looping" interpretation of Logo recursion was identified, and this robust mental model persisted even in the face of contradiction be
Selected Papers from the Kaleidoscope Convergence Workshop
To foster synergy between research on collaborative, mobile and inquiry learning and between different scientific and methodological perspectives (namely, educational design, psychology and computer science) and to strengthen the cohesion of the community, the Kaleidoscope network has decided to organise a âConvergence Workshopâ in conjunction with the 2006 Contractors' General Assembly in Amsterdam, Dec. 4-6. The two fields of collaborative and inquiry learning have bee
Lesson involving examination of the qualities students value in other people. Includes a group activity where they write positive messages about their classmates on posters.
Competence-based Knowledge Structures for Personalised Learning
The ELeGI project focuses on integrating technology-enhanced learning methodologies into a pedagogy-driven and service-oriented architecture based on Grid technology. It aims at a system that is capable of realising personalised, adaptive, and experiential learning. This requires to have available a framework that, on the one hand, allows for representing existing domain knowledge, and, on the other hand, provides a representation of the learner's current state of knowledge. It is shown that a
SCORM and the Learning Grid
The Sharable Content Object Reference Model (SCORM) is a profile of several elearning specification to ensure the reusability and interoperability of elearning content in web based Learning Management Systems (LMSs). Learning grids - learning environments built on the technology of grid services - are a promising new approach to enhance quality of elearning by overcoming the page oriented structure of the web. This paper investigates how SCORM can be used in conjunction with learning grids. Aft
Open Learning Service Scenarios on GRIDs
The position paper focuses on the concepts of Service Elicitation and Evaluation/Exploitation Scenarios (SEES) and, in particular, on experimental protocols for justifying, motivating, implementing and exploiting Learning GRID's services for very large numbers of potential users.
Integrating research teams: the TELMA approach
In the context of the Kaleidoscope Network of Excellence, six European research teams developed a methodology for integrating their research approaches. In this paper we present the methodology, based on a cross experiment, showing how it gave insight to the understanding of each team's research, and on the relationship between theoretical frameworks and experimental research.
Managing complexity of e-learning administration in
ARCADE (Architecture for Reusable Courseware Authoring and DElivery) is a Webbased e-learning platform specially targeted to the needs of distant education in universities and schools. This paper presents ARCADE in two aspects: as a system for distance learning and as a virtual university. The authors put accent on the way of organization of the education process as a whole while showing the power of the ARCADE platform. Moreover, there is discussed in details the administration of courses and s
Futurelab: Learning with handheld technologies
This handbook offers a guide and resource for those considering exploring handheld technologies for teaching and learning purposes. Four case reports show how different schools, LAs and individuals have attempted to tap the potential of handheld technology for learning, while a wider survey of handheld learning projects gives a sense of the range of work going on, along with contact information.,Research report
ODP-RM : Un cadre de réingénierie des systèmes de formation
Les spécifications candidates au statut de standards, proposées récemment dans le domaine des technologies éducatives, interrogent les communautés de conception d'EIAH sur leurs mises en pratique. Les travaux récents en ingénierie des modèles montrent qu'il est nécessaire pour la communauté EIAH de se définir un cadre de travail qui formalise l'utilisation de ces spécifications tout en assurant la qualité des productions. Cet article est une discussion sur l’opportunité pour la c
Designer integration in training cycles : IEEE LTSA model adaptation
This paper describes an architecture centered on a component model for the course cycle. This model guides a re-engineering process based on the observed use scenarii. It is applied in an institutional framework and uses learning devices provided by the open source community. The architecture integrates the latest works on learning technology standards.
Understanding and analysing activity and learning in virtual communities
The purpose of this study is to provide a preliminary framework to observe, analyse and evaluate both activity and learning in virtual communities. So various types of virtual communities will be studied by examining their relationship to socialisation and learning. After a presentation of the main ideas of Wenger’s social learning theory, the principal components of the social context of the emergence and evolution of virtual communities will be described. It will show how taking this context