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…

Despite the elevated importance of Data Science in Statistics, there exists limited research investigating how students learn the computing concepts and skills necessary for carrying out data science tasks. Computer Science educators have investigated how students debug their own code and how students reason through foreign code. While these…

Learning to code is far from an easy task, it is a promising approach that underscores the use of the video game culture of students to motivate them to invest their time in the practice of programming. The students in this discipline are often discouraged by the amount of information to remember and the complex and constraining syntaxes.…

The 1980s and 1990s saw a robust connection between computer science education and cognitive psychology as researchers worked to understand how students learn to program. More recently, academic disciplines such as science and engineering have begun drawing on cognitive psychology research and theories of learning to create instructional materials…

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…

Basic quantitative and population genetics topics are typically taught in introductory plant breeding courses and are critical for success in upper-level study. Active learning, including simulations and games, may be useful for instruction of these concepts, which rely heavily on theory and may be more challenging for students. The statistical…

Introductory programming courses (CS1) are difficult for novices. Inspired by "Problem solving followed by instruction" and "Productive Failure" approaches, we define an original "necessity-driven" learning design. Students are put in an apparently well-known situation, but this time they miss an essential ingredient…

The general growth in public affairs programs offering hybrid and online courses to reach a wide variety of students, along with the necessity of doing so during a global health pandemic, calls for an investigation of best practices in teaching public affairs statistics and research-oriented courses. These courses often require the use of a…

While student data systems are nothing new and most educators have been dealing with student data for many years, learning analytics has emerged as a new concept to capture educational big data. Learning analytics is about better understanding of the learning and teaching process and interpreting student data to improve their success and learning…

Authoring tools for Intelligent Tutoring System (ITS) have been shown to decrease the amount of time that it takes to develop an ITS. However, most of these tools currently do not extend to collaborative ITSs. In this paper, we illustrate an extension to the Cognitive Tutor Authoring Tools (CTAT) to allow for development of collaborative ITSs that…

The article introduces a software application (MATH) supporting an education of Applied Mathematics, with focus on Numerical Mathematics. The MATH is an easy to use tool supporting various numerical methods calculations with graphical user interface and integrated plotting tool for graphical representation written in Qt with extensive use of Qwt…

Assessment is an essential element in learning processes. It is therefore not unsurprising that almost all learning management systems (LMSs) offer support for assessment, e.g., for the creation, execution, and evaluation of multiple choice tests. We have designed and implemented generic support for assessment that is based on assignments that…

University education often suffers from a lack of an explicit and adaptable didactic design. Students complain about the insufficient adaptability to the learners' needs. Learning content and services need to reach their audience according to their different prerequisites, needs, and different learning styles and conditions. A way to overcome such…

Service-Oriented Computing (SOC) is a new computing paradigm that has been adopted by major computer companies as well as government agencies such as the Department of Defense for mission-critical applications. SOC is being used for developing Web and electronic business applications, as well as robotics, gaming, and scientific applications. Yet,…

Despite a growing development of virtual laboratories which use the advantages of multimedia and Internet for distance education, learning by means of such tutorial tools would be more effective if they were specifically tailored to each student needs. The virtual teaching process would be well adapted if an artificial tutor can identify the…