Edith Shortt

Abstract

A system of Computer Assisted Instruction for Students Studying Basic Logic at the 9th Grade Level was written in Prolog running on a Digital Equipment Vax 11/780 under the Unix1 operating system. The program is a straight-forward approach to teaching propositional logic. A three layer menu structure is used to inform students of lessons, subtopics, and help available. Example questions are generated after each subtopic, and student scores are displayed for immediate reinforcement or correction. Scores are also saved for storage on the student's progress chart file. A help function enables the student to review explanations of terminolgy, review truth tables, print a student handbook, and either display or print the student's progress chart. In addition, the teacher may open a student account, close a student account, print a classlist, print progress charts, or print the teacher's handbook. The input/output is not up to par due to the limitations imposed by the Prolog C-Interpreter. Pretests and Posttests are only available interactively with the aid of the teacher.

Publication Date

4-7-1986

Document Type

Thesis

Student Type

Graduate

Degree Name

Computer Science (MS)

Department, Program, or Center

Computer Science (GCCIS)

Advisor

John Biles

Advisor/Committee Member

Lawrence Coon

Advisor/Committee Member

James Robert Carbin

Comments

Physical copy available from RIT's Wallace Library at QA20.C65 S56 1986

Campus

RIT – Main Campus

Download

Share

COinS