This webapp was created to aid budding computer science students with the conceptual topic of Implication Graphs
,
it is primarily tailored for first year students studying at the Univerity of Edinburgh and taking the course Introduction to Computation
.
Assumption:
A basic working knowledge of core propositional logic terminology is assumed. The user should at least be familiar with Conjunctions
,
Implications
and Negations
in order to use the tool correctly. If you are unsure of any of these topics I would recommend wikipedia for
specific resources or this paper.
Features:
The tool features a set of exercises designed to first get the user accustomed to using the tool, and further exercises to test and expand the knowledge
of the user. The exercises are in a progressive order, with each expanding on the previous.
The tool also features a create mode where you can enter implications of your own. This feature is intended for practice and answer checking, there is
an in-built feedback feature which will suggest actions based on the current state in order to progress to the next state.
Bugs/Feedback:
If any bugs or incorrect behaviour occurs, or you simply want to give feedback on the tool, please email me with details at s1658030@sms.ed.ac.uk
Further Info:
This web page uses cookies in order to save user progress on the exercises, no further information is gathered from the user.