Search Results

Deterministic and nondeterministic finite automata (DFAs and NFAs) are abstract models of computation commonly taught in introductory computing theory courses. These models have important applications (such as fast regular expression matching), and are ...

Background : Proof Blocks is a software tool that enables students to construct proofs by assembling prewritten lines and gives them automated feedback. Prior research has shown that students learn as much from an activity where they use Proof Blocks as ...

Due to the Covid-19 pandemic, most university classes were moved to online instruction. This greatly stimulated the need for online learning tools. WeBWorK is an open source online homework system, which has been used extensively in a variety of ...

Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order instead of starting from scratch. In this paper we describe a randomized ...

Programming problems are commonly used as a learning and assessment activity for learning to program. We believe that programming problems can be effective for broader learning goals. In our large-enrolment course, we have designed special programming ...

In this software tool paper we present Proof Blocks, a tool which enables students to construct mathematical proofs by dragging and dropping prewritten proof lines into the correct order. We present both implementation details of the tool, as well as a ...

Rigorous, mathematical reasoning, i.e., proof, is the foundation of any undergraduate computer science education. However, students find mathematical proof exceedingly challenging, but also at the same time do not see its relevance to programming. We ...

Seeking to understand students' differences, including their different levels of prior knowledge and potential barriers to learning, is an essential part of teaching. Adapting teaching in a responsive way, including by providing targeted support to ...

Proof Blocks is a novel software tool which enables students to write mathematical proofs by dragging and dropping prewritten lines into the correct order, rather than writing a proof completely from scratch. We used Proof Blocks problems as exam ...

In recent years, active learning as a pedagogical approach has increased in popularity in Computer Science (CS) education and other Science, Technology, Engineering, and Math (STEM) disciplines; the number of search results for "active learning" in the ...

Over the past decade, active learning pedagogical approaches have increased in popularity among multiple STEM disciplines, including Computer Science (CS). The purpose of this experience report is to reflect on the efforts taken to incorporate active ...

Once you introduce RSA and probabilistic primality testing to your cryptography class, one of your brighter students will ask "What happens if the test is wrong?" It turns out the answer can vary from "You'll find out immediately" to "It makes no ...

The undergraduate computer science curriculum is ever-changing but has seen particular turmoil recently. Topics such as machine learning, data science, and concurrency and parallelism have grown in importance over the last few years. As the content of ...

In Discrete Mathematics courses, we use staged online exams to assess students' learning and make the exams part of the learning experiences. With the help of online exam, teachers can accurately evaluate students learning and give students personalized ...

This workshop presents a novel approach to teaching the mathematical foundations of computing commonly known as Discrete Structures. Following the common model of the programming lab, we provide interactive learning experiences in relational algebra, ...

In this paper, we describe the active learning and collaborative learning activities implemented in an introductory mid-size discrete mathematics course for Informatics majors. Active learning and collaborative learning have been used to increase ...

Superresolution imaging aims at improving the resolution of an image by enhancing it with other images or data that might have been acquired using different imaging techniques or modalities. In this paper we consider the task of doubling, in each ...

Magic tricks based on computer science concepts help grab student attention and can motivate them to delve more deeply. Error detection ideas long used by computer scientists provide a rich basis for working magic; probably the most well known trick of ...

This work deals with the problem of producing a fast and accurate data classification, learning it from a possibly small set of records that are already classified. The proposed approach is based on the framework of the so-called Logical Analysis of Data (...

Trains' movements on a railway network are regulated by official timetables. Deviations and delays occur quite often in practice, demanding fast rescheduling and rerouting decisions in order to avoid conflicts and minimize overall delay. This is the ...