Using a free open source software to teach mathematics

We present the experience of the authors teaching mathematics to freshmen engineering students with the help of the open source computer algebra system Sage. We describe some teaching resources and present an ad hoc distribution of Sage used by the authors

A Project Based Approach to Statistics and Data Science

In an increasingly data-driven world, facility with statistics is more important than ever for our students. At institutions without a statistician, it often falls to the mathematics faculty to teach statistics courses. This paper presents a model that a mathematician asked to teach statistics can follow. This model entails connecting with faculty from numerous departments on campus to develop a list of topics, building a repository of real-world datasets from these faculty, and creating projects where students interface with these datasets to write lab reports aimed at consumers of statistics in other disciplines. The end result is students who are well prepared for interdisciplinary research, who are accustomed to coping with the idiosyncrasies of real data, and who have sharpened their technical writing and speaking skills

The Scientist, Winter 2009

https://scholarworks.sjsu.edu/scientist/1003/thumbnail.jp

Collaborative development of EFL in Vietnam through open source software

The University of Aizu, in collaboration with the University of Waikato, has been investigating the use of open source, server-based software for the enhancement of English language instruction in Vietnam. In this paper, we describe recent educational, technical, and English language reforms in Vietnam which have facilitated a new approach to the teaching and learning not only of English, but also Computer Science concepts. The paper concludes with a brief discussion of the efficacy of using open source tools and highly structured instructional approaches for English language teaching in developing nations

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle

We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is open source software developed in TypeScript / JavaScript and can thus be used directly in a browser without any further installation. Although developed for undergraduate computer science students who are used to study and program concrete computer code in a programming language we consider the approach relevant for a broader audience and for other proof systems as well.Comment: Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentrube