Table of Contents
Preface
Chapter 1. An Innovative Teaching Tool Based on Semantic Tableaux for Verification and Debugging of Imperative Programs
(Fernando Pérez Morente and Rafael del Vado Vírseda – Spain)
Chapter 2. Computer Algorithms Applied to Learning Assessment
(Timothy V. Fossum – United States)
Chapter 3. The Role of Interactive Representations in Cognitive Tools for Learning
(Paul Parsons and Kamran Sedig – Canada)
Chapter 4. Interactive Experimentation with Algorithms
(J. Ángel Velázquez-Iturbide, Cristóbal Pareja-Flores, Ouafae Debdi and Maximiliano Paredes-Velasco – Spain)
Chapter 5. Developing a Technology-Team Teaching Model to Enhance the TPACK of Pre-Service Science Teachers
(Syh-Jong Jang – Taiwan)
Chapter 6. Computer-Assisted Laboratory Instruction at the Tertiary Level
(Vladimir Romanenko, Vladimir Neverov and Galina Nikitina – Russia)
Chapter 7. Some Subtleties of Teaching Undergraduate Control Systems
(Mark A. Lau – Puerto Rico)
Chapter 8. Modeling and Visualization of Fruit Trees in Horticulture
((Ning Xia and Fuhua Li – China; Aishuang Lin – Canada)
Chapter 9. Computers and Software Engineering: Developing New Models for Educating Mathematicians
(G. A. Leonov, V. I. Kiyaev, N. V. Kuznetsov, V. V. Onossovski and S. M. Seledzhi – Russia)
Chapter 10. Mathematics Teaching and Learning in a Technology Rich World
(Thomas Lingefjärd – Sweden)
Chapter 11. Aspects of Elementary Number Theory Illustrated in the Spreadsheet Environment
(David Miller- United States; Stephen Sugden – Australia)
Chapter 12. Computers and Mathematics Teacher Education
(Sergei Abramovich – United States)
Index
