Innovative Curriculum

LogicDS: logic data science, an integrated teaching and learning curriculum for computing, data science, and STEM using principles of mathematical logic through a SPARC technological environment. Logic Programming (LP) paradigm including its modeling methodologies provides an innovative way to seamlessly integrate computing, data science, and STEM education by developing computer models for STEM and data science problems.