About Logic Learner

Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs for propositional logic. This tool can also be used in a variety of other disciplines and contexts. Differentiated levels allow students to adjust the difficulty of the statements they have to prove, while receiving automated feedback. Students can choose to see hints and the optimized solutions if they get stuck. After using the tool students will feel more confident in applying laws of propositional logic and show improvement in selecting the correct law to advance toward proving a statement.

Principal Investigator

Nakul Verma, Lecturer in the Discipline of Computer Science
Ansaf Salleb-Aouissi, Senior Lecturer in the Discipline of Computer Science

Center for Teaching and Learning at Columbia University

Catherine Ross, Executive Director
Maurice Matiz, Senior Director
Michael Tarnow, Learning Designer, Science and Engineering
Sam Sadeh, Learning Designer
Zarina Mustapha, Senior Front-end Developer
Natalia Dittren, Programmer

Student Contributors

Amogh Inamdar
Uzay Macar
Michel Vazirani
Mehr Kaur
Daniel Borovskiy

License

Logic Learner source code is available on Github under GNU GPLv3 license.

Questions and Feedback

If you’re interested in implementing this tool in your teaching practice, to learn more about Logic Learner, or to send feedback on this application, please reach out to the CTL project team that is developing Logic Learner using our feedback form or email us at ctl-logiclearner@columbia.edu.