October 05, 2005


This blog will be used to maintain a record of the progress of the author's third year project. The project is the design and implementation of a logic tutor, primarily with the Computer Science module CS205: Logic For Computer Scientists in mind.

The project supervisor for this module is Dr. Ranko Lazic who is the current lecturer for Logic.

If you have any questions about the project or would like to volunteer to test it, please use the contact link above.

Why 'Logic Teaching Tool' as a title?

The alternative question is 'why not a logic proof editor or a theorem prover'. Writing a proof editor on it's own would be duplicating the work of others such as the aptly named Just Another Theorem Prover (aka JAPE) written by the comlab at Oxford, so duplicating the existing work of academics seems pointless and unrewarding. Secondly, there is little scope for improvement on existing theroem provers. Therefore, the aim of this project is to produce a useful and useable teaching tool aimed at undergraduate students who are starting out in studying this core computer science topic studied in most computer science courses.

Why a teaching tool in the first place?

Studying the proof aspect of Logic For Computer Scientists has a steep learning curve. Knowing which rules to use and when to use them is often confusing. At first, making seemingly baseless or random assumptions to draw conclusions from is counter-intuitive. By providing an intelligent tool that a user can perform proofs with will reduce the learning curve whilst encouraging exploratory learning. An additional aim is to graphically replicate the box like proof structure familiar to students.

How will the success of the project be measured?

This tool is intended to be used as a teaching aid. Therefore it seems logical (please excuse the pun) that it is tested and evaluated by current second year students who have studied CS205. If you are interested in volunteering to test this project towards the end of term 2, please contact the author using the contact link above.

April 2023

Mo Tu We Th Fr Sa Su
Mar |  Today  |
               1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30

Search this blog


Most recent comments

  • Thanks Darren, very very useful! by Anum on this entry
  • what is this site on haha by sam on this entry
  • omg by curtis on this entry
  • I have e–mailed this response to William: This is a "feature"; due to the way assumption boxes have … by on this entry
  • This is a great little program, but the line numbers don't line up for me. I'm using blackbox 0.7 as… by William Starling on this entry

Blog archive

RSS2.0 Atom
Not signed in
Sign in

Powered by BlogBuilder