<link rel="alternate" href="https://blogs.warwick.ac.uk/logictutor" />
<link rel="self" href="https://blogs.warwick.ac.uk/logictutor/?num=10&start=10&atom=atom" />
<contributor>
<name />
</contributor>
<subtitle>Blog for my third year computer science project. Will be used to show updates and keep track of my progress.</subtitle>
<id>https://blogs.warwick.ac.uk/logictutor/?num=10&start=10&atom=atom</id>
<generator uri="https://blogs.warwick.ac.uk">Warwick Blogs, University of Warwick</generator>
<rights>(C) 2023</rights>
<updated>2023-06-01T03:30:41Z</updated>
<entry>
<title>Introduction byhttps://blogs.warwick.ac.uk/logictutor/entry/introduction/2005-10-05T13:37:34Z2005-10-05T13:37:34Z<p>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 <a href="http://www.dcs.warwick.ac.uk/undergraduate/modules/cs205.html" title=""><em>CS205: Logic For Computer Scientists</em></a> in mind.</p>
<p>The project supervisor for this module is <a href="http://www.dcs.warwick.ac.uk/people/staff/Ranko.Lazic/" title="">Dr. Ranko Lazic</a> who is the current lecturer for <em>Logic</em>.</p>
<p>If you have any questions about the project or would like to volunteer to test it, please use the contact link above.</p>
<p><strong>Why 'Logic Teaching Tool' as a title?</strong></p>
<p>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 <a href="http://users.comlab.ox.ac.uk/bernard.sufrin/jape.html" title="">Just Another Theorem Prover</a> (aka JAPE) written by the <a href="http://www.comblab.ox.ac.uk" title="">comlab</a> 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.</p>
<p><strong>Why a teaching tool in the first place?</strong></p>
<p>Studying the proof aspect of <a href="http://www.dcs.warwick.ac.uk/undergraduate/modules/cs205.html" title=""><em>Logic For Computer Scientists</em></a> 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.</p>
<p><strong>How will the success of the project be measured?</strong></p>
<p>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 <em>CS205</em>. 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.</p><p>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 <a href="http://www.dcs.warwick.ac.uk/undergraduate/modules/cs205.html" title=""><em>CS205: Logic For Computer Scientists</em></a> in mind.</p>
<p>The project supervisor for this module is <a href="http://www.dcs.warwick.ac.uk/people/staff/Ranko.Lazic/" title="">Dr. Ranko Lazic</a> who is the current lecturer for <em>Logic</em>.</p>
<p>If you have any questions about the project or would like to volunteer to test it, please use the contact link above.</p>
<p><strong>Why 'Logic Teaching Tool' as a title?</strong></p>
<p>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 <a href="http://users.comlab.ox.ac.uk/bernard.sufrin/jape.html" title="">Just Another Theorem Prover</a> (aka JAPE) written by the <a href="http://www.comblab.ox.ac.uk" title="">comlab</a> 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.</p>
<p><strong>Why a teaching tool in the first place?</strong></p>
<p>Studying the proof aspect of <a href="http://www.dcs.warwick.ac.uk/undergraduate/modules/cs205.html" title=""><em>Logic For Computer Scientists</em></a> 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.</p>
<p><strong>How will the success of the project be measured?</strong></p>
<p>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 <em>CS205</em>. 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.</p>