Dear Colleagues,
As we all know, when it comes to teaching technical subjects, practice
makes perfect. With this aim in mind, I've created an app that helps
students learning logic to practice their skills. The app is effectively
a propositional logic calculator. It's completely free and does not
collect any information from its users. It can be installed on the iOS
(iPhones and iPads), Android (phones, tablets, etc.) and Windows
(desktops, laptops, tablets, xbox ones) platforms. Here are the links to
the respective platform versions:
iOS:
https://apps.apple.com/gb/app/the-logic-calculator/id1484264087
Android:
https://play.google.com/store/apps/details?id=com.ioannisvotsis.thelogiccalculator
Windows:
https://www.microsoft.com/en-gb/p/the-logic-calculator/9nj6bpckm4mr?activetab=pivot:overviewtab
You can also find instructions on how to use the app here:
https://votsis.org/logic.html
Although the current version is restricted to propositional logic and,
more particularly, to semantic operations, I plan to extend the app's
functionality considerably over the next few months, e.g. to add a
derivation system, predicate logic, DNF, CNF and automated theorem
proving. Thus, the hope is that it will be useful both as a teaching
tool but also to carry out more advanced work.
Please let me know if you have any suggestions relating to the app (or
if you find any bugs) and feel free to pass on the links to others who
may be interested.
Best wishes,
Ioannis Votsis
-------------------------------------
Dr. Ioannis Votsis
http://www.votsis.org
Co-Director of the Diploma
Senior Lecturer, Philosophy Faculty
New College of the Humanities
19 Bedford Square, London WC1B 3HH
United Kingdom
[log in to unmask]
https://www.nchlondon.ac.uk/faculty/#philosophy
--
New College of the Humanities Ltd; registered in England no. 07917776;
registered office: 19 Bedford Square London WC1B 3HH. The contents of this
email are confidential. If you are not the intended recipient, please
notify us as soon as possible: you should not copy, forward, disclose or
use the contents. We may monitor outgoing and incoming mail for business
purposes.
########################################################################
To unsubscribe from the MERSENNE list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=MERSENNE&A=1
|