Logic Puzzle

Abstract

Logic is a fundamental part of mathematic and computer science since it is the basis of mathematical proof and computer programming. In order to help students gain a better understanding of logic, I have implemented a computer version of Logic Puzzle which was created by Non Ishida in 1988. My thesis explores the rules of Logic Puzzle, some of the mathematics involved, and the computer code I have written.