To illustrate that the writing and utilizing of declarative language programs can be a straightforward task in a logic class, a logic system is defined and a truth-table generator and validator are implemented using PROLOG programing language. Also, using BASIC programing language, an example of a contour map is presented. (JJK)

Designed as an avenue of communication for all mathematics educators concerned with the views, ideas, and experiences pertinent to two-year college teachers and students, this journal presents articles and regular features related to mathematical and pedagogical themes. This issue includes the following articles: (1) "Fractals for Freshmen? Or,…

Computer Algebra Systems (CAS) are computer systems for the exact solution of problems in symbolic form. The newspaper is designed to serve as a conduit for information and ideas on the use of CAS in education, especially in lower division college and university courses. Articles included are about CAS programs in several colleges, experiences…

The main purpose of this special issue is to suggest strategies for meeting the mathematical needs of two-year college students in the decade of the 1990s. Since the 20 contributors were free to write about topics that they considered to be appropriate to the intellectual and personal development of all students their papers represent a broad…