303 search results - page 15 / 61 » Challenging the Mathematics Curriculum |
ITICSE
2010
ACM
14 years 1 months ago
2010
ACM
We present a pilot for a student consultancy service offering students the opportunity to work with internal and external clients on real life projects to learn and enhance trans...
ITICSE
2000
ACM
2000
ACM
Integrating interactive computer-based learning experiences into established curricula: a case study
14 years 8 days ago
Educators who wish to integrate interactive computerbased learning experiences into established courses must contend not only with the difficulty of creating quality digital conte...
FECS
2006
13 years 9 months ago
2006
- Developments in CS1 pedagogy seek to improve the capabilities of students in their understanding of how to write programs. This involves learning how to solve various types of pr...
SEDE
2007
13 years 9 months ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
JAR
2002
13 years 7 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...