A central topic in Bioelectricity is the generation of the extracellular potential that results from the propagation of a transmembrane action potential along the muscle fiber. However, the way in which the extracellular potential is determined by the propagating action potential is difficult to describe, conceptualize, and visualize. Moreover,…

In this paper, I discuss undergraduate students' engagement in basic Python programming while solving combinatorial problems. Students solved tasks that were designed to involve programming, and they were encouraged to engage in activities of prediction and reflection. I provide data from two paired teaching experiments, and I outline how the task…

Spreadsheets are a core computational tool for practicing engineers and engineering students. While Microsoft Excel, Google Sheets, and other spreadsheet tools have some differences, numerous formulas, functions, and other tasks are common across versions and platforms. Building upon learning science frameworks showing that interactive activities…

This monograph provides in-depth mathematical logic as the foundational rationale for the novel and innovative online instructional methodology called the 4A Metric Algorithm. The 4A Metric has been designed to address and meet the meta-competency-based education challenges faced by 21st century students who must now adapt to and learn in a…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

Chapters in this book include: (1) Courseware Adaptation to Learning Styles and Knowledge Level (Boyan Bontchev and Dessislava Vassileva); (2) Assisted On-Job Training (Claudio Teixeira and Joaquim Sousa Pinto); (3) Self-Directed Learning Readiness Factors in Physicians for Implementing E-Learning in the Continuing Medical Education Programs…

Described is a graduate level engineering course on functional analysis offered at Purdue University. The course restricts itself to linear problems, specifically analysis of linear operators on vector spaces. Key applications in the course demonstrating the utility of abstract formulations are presented. (BT)