---------- Forwarded message --------- 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 [email protected] https://www.nchlondon.ac.uk/faculty/#philosophy -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiYKT8eX804C1Jqj9nk7KbWwyiWACif8qeJp8Gm5rsweg%40mail.gmail.com.
