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…

The author describes an assignment in an undergraduate game theory course in which students work together in class to develop a computer algorithm to identify Nash equilibria. This assignment builds basic computer science skills while applying game theory knowledge to real-world situations. Students work as a team to delineate the steps and write…

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…

The rise of "big data" within the biological sciences has resulted in an urgent demand for coding skills in the next generation of scientists. To address this issue, several institutions and departments across the country have incorporated coding into their curricula. I describe a coding module developed and deployed in an undergraduate…

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…

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…

This case uses data analytic techniques to expose students to the context of the initial coin offering marketplace. The exercise is well-suited as a group activity in an undergraduate or graduate business analytics course in which students have been taught analytic techniques such as word cloud, descriptive statistics, basic visualizations, and…

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

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…

This paper informs business instructors and educators about XBRL (Extensible Business Reporting Language) so that they can introduce it to their students and expand their students' understanding of how it relates to the accounting profession. Even though the financial community has entered a new age with this standardized reporting language, many…

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…

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…