Abstract
The paper discusses an introductory computer science course that reflects the current shift in technology toward digital note taking and, in particular, pen-based and touch technology. The concept of digital ink has the potential to dramatically transform and enhance the teaching and learning process by becoming widely used in classrooms—replacing the use of desktops or laptops. One of the potential advantages of the new technology is that it allows the expression and exchange of ideas in an interactive environment using sketch-based interfaces. The cornerstone of the course is the concept of geometrical sketching dynamically combined with an underlying mathematical model with a greater focus on student’s ability to produce rigorous and soundproof arguments.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ACM Report. (2005). Computing curricula 2005. http://www.acm.org/education.
Adamchik, V., & Gunawardena, A. (2005). Adaptive book: Teaching and learning environment for programming education. Proceedings of the International Conference on Information Technology: Coding and Computing, ITCC 2005, 04–06 April 2005, Las Vegas, Nevada, IEEE Computer Society, pp. 488–492.
Alvarado, C. J. (2000). A natural sketching environment: Bringing the computer into early stages of mechanical design, Master’s thesis, Department of Electrical Engineering and Computer Science, MIT.
Buchberger, B. (1976). Theoretical basis for the reduction of polynomials to canonical forms. SIGSAM Bull, 39, 19–24.
Buchberger, B. (1985). Gröbner Bases—an algorithmic method in polynomial ideal theory. Chapter 6 in N.K. Bose 8 ed., Multidimensional Systems Theory, D. Reidel Publ pp. 184–232.
Buchberger, B. (2001). Theorema: A proving system based on Mathematica. The Mathematica Journal, 8(2), 247–252.
Caprotti, O., & Sorge, V. (2005). Automated reasoning and computer algebra systems. Journal of Symbolic Computation, 39(5), 501–615.
Chou, S. C. (1988). Mechanical geometry theorem proving. Dodrecht: D. Reidel Publishing Company.
CMU’s Eberly center for teaching excellence. http://www.cmu.edu/teaching/eberlycenter/.
Li, C., Miller, T. S., Zeleznik, R. C., & LaViola J. J. (2008). AlgoSketch: Algorithm sketching and interactive computation in the Proceedings of the Eurographics Workshop on Sketch-Based Interfaces and Modeling, pp. 175–182.
Wiedijk, F. T. (2006). The seventeen provers of the world, Lecture Notes in Computer Science 3600, Springer-Verlag.
Wolfram Research, Inc. (2012). Mathematica, Version 9.0, Champaign, IL.
Wu, W-T. (2000). Mathematics mechanization. Beijing: Kluwer Acad. Publ.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Adamchik, V. (2015). Pen-Based Problem-Solving Environment for Computational Science. In: Hammond, T., Valentine, S., Adler, A., Payton, M. (eds) The Impact of Pen and Touch Technology on Education. Human–Computer Interaction Series. Springer, Cham. https://doi.org/10.1007/978-3-319-15594-4_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-15594-4_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15593-7
Online ISBN: 978-3-319-15594-4
eBook Packages: Computer ScienceComputer Science (R0)