As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

In the era of artificial intelligence (AI), big data (BD), and digital transformation (DT), analytics students should gain the ability to solve business problems by integrating various methods. This teaching brief illustrates how two such methods--Bayesian analysis and Markov chains--can be combined to enhance student learning using the Analytics…

Teaching about wave structure and function is a critical element of any physical science curriculum and supported by "Next Generation Science Standards (NGSS)" PS4: Waves and Their Applications in Technologies for Information Transfer. To support students' learning of these ideas, teachers often rely on developing graphic models of a…

Mobile application development is currently an important component of CS/IS education. Because of the rapid rate of change in the mobile application field, there are many websites that provide instructional material in tutorial format, but it is difficult to find a textbook that includes mobile application programming assignments and exercises.…

This paper describes the use and benefits of Microsoft's Adventure Works (AW) database to teach advanced database skills in a hands-on, realistic environment. Database management and querying skills are a key element of a robust information systems curriculum, and active learning is an important way to develop these skills. To facilitate active…

Model-driven software development (MDSD) aims to support the development and evolution of software intensive systems using the basic concepts of model, metamodel, and model transformation. In parallel with the ongoing academic research, MDSD is more and more applied in industrial practices. After being accepted both by a broad community of…

This book and three accompanying floppy disks introduce HyperCard 2.1 for the Macintosh microcomputer and its programming component, HyperTalk, to educators. The first four chapters introduce the basics of HyperCard, including its structure, which is based on a hierarchy of units; the use of tools and graphics; and ways of linking information…

A Mathematica[TM] package is described that uses simulations and animations to illustrate key concepts in harmonic oscillation and electric circuits for students not majoring in physics or mathematics. Students are not required to know the Mathematica[TM] environment: a user-friendly interface with buttons functionalities and on-line help allows…

Uses three computer software programs to help students develop algebraic reasoning. Programs include spreadsheets, Logo programming language, and Teasers by Tobbs. (ASK)

Recent advances in genomics and structural biology have resulted in an unprecedented increase in biological data available from Internet-accessible databases. In order to help students effectively use this vast repository of information, undergraduate biology students at Drake University were introduced to bioinformatics software and databases in…

The education industry has obviously been influenced by the Internet revolution. Teaching and learning methods have changed significantly since the coming of the Web and it is very likely they will keep evolving many years to come thanks to it. A good example of this changing reality is the spectacular development of e-Learning. In a more…

This book demonstrates, for teachers at all levels, applications of technology tools for the effective learning and teaching of mathematical skills and concepts as suggested by the National Council of Teachers of Mathematics (NCTM). It focuses on the use of general-purpose computer tools in the mathematics classroom, with an emphasis on problem…