Welcome to the Automated Logic Tutor (ALT) web page. The ALT system, is designed to teach Students how to solve predicate logic questions. The ALT system has been designed to cover the courses MC1 and MC2 at the University of Nottingham.
Below are hyperlinks to a more detailed description, a list of minutes taken so far (not fully completed yet), a links page to the project members home pages:
Meetings are held on Tuesdays at 12.00 noon with our project supervisor (Louise Dennis). We also have an informal meeting once a week, which is not at a specified time, but just as needed.
Within the next few weeks, some of our project work will be up on the web so that anyone can have a look. This includes a time plan with all the expected deadlines.
Copyright © Matthew Hardy; 1998