Educational tools for first order logic

Keywords: logic tools, first-order logic, client-side web application

Training and exercises are an important part of education process, especially when learning formalisms and constructs from logic such as formal proofs or semantics. For such exercises to be effective, the students need active feedback on what they are doing right or wrong. Interactive applications can make such feedback available even in the absence of teachers and thus allow students to work on the exercises according to their own time schedule.

Aim

The goal of this thesis is to create or extend tools that allow students to practise some of the tasks from logic courses: proofs, semantics tableaux or resolution. These shall be in the form of interactive, client-side web based applications.

References

J. Kľuka and J. Šiška, “Prednášky z matematiky (4) -logikypreinformatikov.”https://github.com/FMFI-UK-1-AIN-412/lpi/blob/master/docs/lecs/poznamky-z-prednasok.pdf, 2017. [Online;accessed 15-May-2018]. [1]

R. M. Smullyan,First-order logic [by] Raymond M. Smullyan. Springer-VerlagBerlin, New York [etc.], 1968. [2]

J. Kľuka and J. Šiška, “Tableau Editor.”https://github.com/FMFI-UK-1-AIN-412/tableauEditor, 2017. [Online; accessed 15-May-2018].[3]

E. Czaplicki, “Elm lang.”http://elm-lang.org/docs, 2012. [Online; accessed15-May-2018].[4]

Similar work

J. Kľuka and J. Šiška, “Tableau Editor.”https://fmfi-uk-1-ain-412.github.io/tableauEditor/, 2017. [Online; accessed 15-May-2018].[5]

T. Bitai, “Ruzsa - Tableau Editor for Tarski‘s World.”https://ruzsa.tbitai.me//, 2017. [Online; accessed 15-May-2018].[6]

J. Komara, “Clausal Language- Programming Language and Proof Assistant.”http://ii.fmph.uniba.sk/cl/view/?lang=sk, 2016. [Online; accessed 15-May-2018].[7]

U. Stanford, “Fitch- application for constructing formal proofs in first-order logic.”https://ggweb.gradegrinder.net/support/manual/fitch, 2005. [Online; ac-cessed 15-May-2018].[8]

U. Stanford, “Boole- application for constructing truth tables.”https://ggweb.gradegrinder.net/support/manual/boole, 2005. [Online; accessed 15-May-2018].[9]

U. Stanford, “Tarski’s World.”https://ggweb.gradegrinder.net/support/manual/tarski, 2005. [Online; accessed 15-May-2018].[10]

M. Švaralová, “Výukový program demonštrujúci matematický princíp, bakalárskapráca,”FMFI UK, 2015.

Resources presentation

Prototype presentation

Bachelor thesis

Try tableau editor online!

Diary

Week 1: 20.2 - 27.2 (2018)

Week 2: 27.2 - 6.3 (2018)

Week 3: 6.3 - 13.3 (2018)

Week 4: 13.3 - 20.3 (2018)

Week 5: 20.3 - 27.3 (2018)

Week 6: 27.3 - 3.4 (2018)

Week 7: 3.4 - 10.4 (2018)

Week 8: 10.4 - 17.4 (2018)

Week 9: 17.4 - 24.4 (2018)

Week 10: 24.4 - 1.5 (2018)

Week 11: 1.5 - 8.5 (2018)

Week 12: 8.5 - 15.5 (2018)

Week 13: 15.5 - 22.5 (2018)