Student research opportunities

A web-based logic teaching tool

Project Code: CECS_951

This project is available at the following levels:
Summer Scholar
Please note that this project is only for undergraduate students.

Keywords:

logic modelling online software engineering

Supervisor:

Dr John Slaney

Outline:

This is a software engineering project. The existing website "Logic for Fun" is being completely redesigned and scripted, creating an opportunity to learn and apply software engineering skills in an academic context. The summer scholar will work as a member of a small team aiming to produce a tool responsive to the needs of university students learning elementary logic. There is an emphasis on good design rather than just on low-level programming.

Goals of this project

Design of an improved online tool for teaching logical modelling, to replace the existing "Logic for Fun" web site.
Production of a working version of the new site before February 2014.

Requirements/Prerequisites

Essential: Background in software engineering, including web design.
Highly desirable: Knowledge of elementary logic.
Highly desirable: Competence in scripting, preferably in PHP.