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…

Biochemistry is a data-heavy discipline, yet teaching students to work with large datasets is absent from many undergraduate Biochemistry programs. Ensuring that future generations of students are confident in tackling problems using big data first requires that educators become comfortable teaching big data skills. The activity described herein…

A significant activity in the business analytics process is enrichment, which deals with acquiring and combining data from external sources. While different strategies for enrichment are possible, it can be accomplished more efficiently through automation using Python scripts. Since business students may not be immersed in technology skills and…

University students in other disciplines without prior knowledge in statistics and/or programming language are introduced to the statistical method of decision trees in the programming language R during a 45-minute teaching and practice session. Statistics and programming skills are now frequently required within a wide variety of research fields…

We present a Scratch task we designed and implemented for teaching and learning coordinates in a dynamic and engaging way. We use the 5Es framework to describe the students' interactions with the task and offer suggestions of how other teachers may adopt it to successfully implement Scratch tasks.

Computational notebooks are an increasingly common tool used to support student learning in a variety of contexts where computer programming can be applied. These notebooks provide an easily distributable method of displaying text and images, as well as sections of computer code that can be manipulated and run in real-time. This format allows…

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…

Structured Query Language (SQL) is still the de facto database query language widely used in industry and taught in almost all university level database courses. The role of SQL is further strengthened by the emergence of NewSQL systems which use SQL as their query language as well as some NoSQL systems, e.g., Cassandra and DynamoDB, which base…

The aim of this article is to inspire more teachers to explore the use of codable robots for teaching mathematics. The authors begin by discussing four benefits experienced by incorporating robots into middle school mathematics classes: (1) reasonable time frames; (2) authentic purposes for mathematics; (3) visual and nonevaluative feedback; and…

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…

Responding to the industry need for professionals to employ data-driven decision-making, educational institutions offer courses in business analytics (BA). Since BA professionals require a unique set of skills different from those found in specific business disciplines, a pedagogical framework to impart such knowledge and skills was developed. The…

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.…

As science teachers continue preparing for implementation of the "Next Generation Science Standards," one recommendation is to use computer programming as a promising context to efficiently integrate science and engineering. In this article, a interdisciplinary team of educational researchers and computer scientists describe how to use…

The purpose of the course presented here is to introduce freshmen to embedded systems using LEGO Mindstorms, under an ANSI-C programming environment. The students build their own LEGO robots, make programs for them using ANSI-C, and operate them. By creating these LEGO robots, the students become more motivated, learning the basic concepts of…

EXtensible Business Reporting Language (XBRL) is a non-proprietary, computer language that has many uses. Known primarily as the Extensible Markup Language (XML) for business reporting, XBRL allows entities to report their business information (i.e., financial statements, announcements, etc.) on the Internet and communicate with other entities'…