This article describes the author's experience designing and implementing an inquiry-based learning (IBL) pedagogical approach to an upper-division undergraduate cryptology course. The author shares the course goals and how the IBL style supports their achievement. The article concludes with sample activities -- in-class exercises that touch on…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

The application of technology in classroom settings has equipped educators with innovative tools and techniques for effective teaching practice. Integrating digital technologies at the elementary and secondary levels helps to enrich the students' learning experience and maximize competency in the areas of science, technology, engineering, and…

This paper presents a goal-based scenario approach to teaching introductory database concepts to undergraduates using two different scaffolding methods. One method, termed "worked-out examples," attempts to reduce extraneous cognitive load by requiring students to complete increasingly complex missing parts of worked out examples. The other…

Presents ideas for purposeful statistical investigations based on data from "TV Guide" that involve simulations using a spreadsheet. (MKR)

Graphs equations in two variables using a BASIC screen-sweep program that generates solutions to equations by applying the intermediate value theorem. Provides suggestions for investigations that result in graphs of a butterfly, the Cheshire cat, the Trisectrix of Catalna, E. T. waving goodbye, a praying mantis, and others. (MDH)

Discusses a visual programming language, Function Machine Lab, which helps students with the concept of function using the function machine image. (MKR)