In this paper, I discuss undergraduate students' engagement in basic Python programming while solving combinatorial problems. Students solved tasks that were designed to involve programming, and they were encouraged to engage in activities of prediction and reflection. I provide data from two paired teaching experiments, and I outline how the task…

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…

In the current time of globalization, collaboration among people in virtual environments is becoming an important precondition of success. This trend is reflected also in the educational domain where students collaborate in various short-term groups created repetitively but changing in each round (e.g. in MOOCs). Students in these kind of dynamic…

A cognitive construct that is important when solving engineering design problems is executive control process, or metacognition. It is a central feature of human consciousness that enables one "to be aware of, monitor, and control mental processes." The framework for this study was conceptualized by integrating the model for creative design, which…

This project had three major goals: (1) investigate the extent to which introductory physics students misuse or misunderstand formulas; (2) catalogue the typical ways in which they do this; and (3) begin the larger task of identifying key types of knowledge that successful problem solvers use to give formulas meaning. Exploratory interviews and…

"TK!Solver" was designed as a personal computing tool to solve problems involving mathematical calculations and analysis. An in-depth review of this model building and problem-solving package is provided. System commands, applications (including data lists, plots/graphs, iterative problem-solving, present values), and other areas are…

Presents transcripts of freshmen engineering majors solving elementary physics problems to examine some limitations of formula-centered approaches to problem solving. Although students use formulas successfully, the qualitative conception of the underlying physical situation is weak. Results from written tests indicate that this phenomenon may be…

Presented is a proposed formula for determining the bearing angle and the slope angle for the line of intersection using the strike and dip angles of two given plane segments. Included is the development of the formula and three example problems. (KR)

Describes results of a project to develop a distance education associate in science (AS) engineering degree program through Northern Virginia Community College. Highlights include combining self-paced independent learning with interactive/collaborative learning asynchronously; transmitting graphics, equations, and formulas via computer-mediated…