An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
-
Updated
Nov 6, 2019 - Java
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
Technology Enhanced Concept Mapping for Curriculum Organization and Support
This is the codebase for the prototype of a electronics virtual laboratory that is monitored by intelligent tutoring systems created using CTAT
Add a description, image, and links to the intelligent-tutoring-system topic page so that developers can more easily learn about it.
To associate your repository with the intelligent-tutoring-system topic, visit your repo's landing page and select "manage topics."