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 automatic code generation is the process of generating source code snippets from a program, i.e., code for generating code. Its importance lies in facilitating software development, particularly important is helping in the implementation of software designs such as engineering diagrams, in such a case, automatic code generation copes with the…

Teaching software engineering (SWE) as a core computer science course (ACM, 2013) is a challenging task. The challenge lies in the emphasis on what a large-scale software means, implementing teamwork, and teaching abstraction in software design while simultaneously engaging students into reasonable coding tasks. The abstraction of the system…

Physical experiments in classrooms have many benefits for student learning, including increased student interest, participation and knowledge retention. While experiments are common in engineering and physics classes, they are seldom used in first-year calculus, where the focus is on solving problems analytically and, occasionally, numerically. In…

We describe an automated assessment process for team-coding assignments based on DevOps best practices. This system and methodology includes the definition of Team Performance Metrics measuring properties of the software developed by each team, and their correct use of DevOps techniques. It tracks the progress on each of metric by each group. The…

Dictionaries for under-resourced languages are, like other dictionaries, traditionally in hard-copy form. Electronic online formats can improve access to dictionaries for under-resourced languages. To make it easier to create online dictionaries with linked sound and image files, starting from a Toolbox file or similar backslash-formatted…

Effect sizes are important because they are an accessible way to indicate the practical importance of observed associations or differences. Standardized mean difference (SMD) effect sizes, such as Cohen's d, are widely used in education and the social sciences -- in part because they are relatively easy to calculate. However, SMD effect sizes…

The process of diffusion is intimately related to random molecular displacement and is central to many problems in chemistry. Here, we provide an intuitive derivation of the diffusion equation based on the analysis of the random trajectories of particles generated and plotted by simple MATLAB and Python scripts. The codes are very simple and…

The procedures of carrying out factorial invariance to validate a construct were well developed to ensure the reliability of the construct that can be used across groups for comparison and analysis, yet mainly restricted to the frequentist approach. This motivates an update to incorporate the growing Bayesian approach for carrying out the Bayesian…

Source code plagiarism is a common occurrence in undergraduate computer science education. Many source code plagiarism detection tools have been proposed to address this problem. However, most of these tools only measure the similarity between assignment submissions, and do not actually identify which are suspicious of plagiarism. This work…

The Titanic disaster is a topic that continues to fascinate. As the importance of analytics continues to grow in industry, data literacy skills have become increasingly important in business education. This project allows students to use the passenger data from the Titanic to build their data literacy skills using an engaging, experiential topic.…

In using software to write a scientific, technical, or other scholarly document, authors have essentially two options. They can either write it in a 'what you see is what you get' (WYSIWYG) editor such as a word processor, or write it in a text editor using a markup language such as HTML, LATEX, Markdown, or AsciiDoc. This paper gives an overview…

This article considers what 'minimal' might mean in the context of using minimal computing tools in the humanities classroom. Specifically, it recounts experiences teaching students to make websites using Jekyll, a popular minimal website generation tool, using different understandings of 'minimal.' In one, students were encouraged to use a Web…

Traditionally, statistical computing courses have taught the syntax of a particular programming language or specific statistical computation methods. Since Nolan and Temple Lang's seminal paper, we have seen a greater emphasis on data wrangling, reproducible research, and visualization. This shift better prepares students for careers working with…

NoSQL databases have been used in organizations for decades. Few database textbooks on the market, however, have suitable materials about NoSQL beyond general introductions for typical business students. In fact, users of the typical NoSQL systems on the software market need to have certain computer programming skills. This teaching tip introduces…