Logic Learner -- CTL Portfolio

<!DOCTYPE html> <html lang="en"> <head> <title>Logic Learner -- CTL Portfolio</title>  <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">   <link rel="stylesheet" href="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/css/fontawesome/font-awesome.min.css">  <link rel="stylesheet" type="text/css" href="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/css/main.css"> <link rel="canonical" href="https://portfolio.ctl.columbia.edu/our-work/logiclearner/" />   <meta name="description" content="A practice tool that help students improve their fluency and problem solving process in writing proofs for propositional logic." /> <meta name="keywords" content="educational technology, teaching and learning, mooc, massive open online course" /> <meta name="author" content="Center for Teaching and Learning at Columbia University" /> <meta name="copyright" content="Copyright (c) 2022 Center for Teaching and Learning at Columbia University - Code licensed GNU GPLv3, content CC BY-SA 4.0"> <meta property="article:published_time" content="2023-05-08" /> <meta property="article:modified_time" content="2023-06-02" />  <meta name="DC.Title" content="Logic Learner -- CTL Portfolio" /> <meta name="DC.Description" content="A practice tool that help students improve their fluency and problem solving process in writing proofs for propositional logic." /> <meta name="DC.Rights" content="Copyright (c) 2022 Center for Teaching and Learning at Columbia University - Code licensed GNU GPLv3, content CC BY-SA 4.0"> <meta name="DC.Publisher" content="Center for Teaching and Learning at Columbia University" /> <meta name="DC.Contributor" content="Center for Teaching and Learning at Columbia University" />  <meta property="og:title" content="Logic Learner -- CTL Portfolio" /> <meta property="og:site_name" content="CTL Portfolio" /> <meta property="og:type" content="article" /> <meta property="og:image" content="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/thumbnail-logiclearner.original.png" /> <meta property="og:image:alt" content="A poster image representing Logic Learner." /> <meta property="og:description" content="A practice tool that help students improve their fluency and problem solving process in writing proofs for propositional logic." /> <meta property="og:url" content="https://portfolio.ctl.columbia.edu/our-work/logiclearner/" />  <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:site" content="@columbiactl" /> <meta name="twitter:title" content="Logic Learner -- CTL Portfolio" /> <meta name="twitter:description" content="A practice tool that help students improve their fluency and problem solving process in writing proofs for propositional logic." /> <meta name="twitter:image" content="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/thumbnail-logiclearner.original.png" /> <meta property="twitter:image:alt" content="A poster image representing Logic Learner." /> <script> window.sentryOnLoad = function() { Sentry.init({ environment: 'production', initialScope: { user: { username: 'anonymous' } } }); }; </script> <script src="https://js.sentry-cdn.com/39fe268471ee4324bc1cdbdaef568feb.min.js" crossorigin="anonymous"></script>  <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Article", "name": "Logic Learner -- CTL Portfolio", "about": "A practice tool that help students improve their fluency and problem solving process in writing proofs for propositional logic.", "description": "A practice tool that help students improve their fluency and problem solving process in writing proofs for propositional logic.", "url": "https://portfolio.ctl.columbia.edu/our-work/logiclearner/", "mainEntityOfPage": "https://portfolio.ctl.columbia.edu/", "headline": "Logic Learner", "datePublished": "2023-05-08", "dateModified": "2023-06-02", "dateCreated": "2023-05-08", "author": "Center for Teaching and Learning at Columbia University", "image": { "@type": "ImageObject", "representativeOfPage": "True", "url": "https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/thumbnail-logiclearner.original.png" }, "publisher": { "@type": "EducationalOrganization", "url": "https://ctl.columbia.edu", "name": "Center for Teaching and Learning at Columbia University", "logo": { "@type": "ImageObject", "url": "https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/logo-ctl-color.png" } } } </script>  <link rel="apple-touch-icon" href="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/apple-touch-icon.png"> <link rel="shortcut icon" href="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/favicon.ico"> <link rel="icon" href="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/favicon.ico"> <link rel="icon" type="image/png" href="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/favicon.png">  <link rel="stylesheet" href="https://search.sites.columbia.edu/cu-privacy-notice/cu-privacy-notice.css" /> <script src="https://search.sites.columbia.edu/cu-privacy-notice/cu-privacy-notice.js"></script> </head> <body> <div class="skippy"> <div class="container p-0"> <a class="sr-only sr-only-focusable d-inline-block p-2 m-1" href="#maincontent">Skip to main content</a> </div> </div> <aside class="navbar navbar-expand flex-column flex-md-row" id="header-institution"> <div class="container"> <ul class="navbar-nav flex-row d-none d-md-flex"> <li class="nav-item"> <a class="nav-link" href="https://www.columbia.edu" target="_blank">COLUMBIA UNIVERSITY <span class="d-none d-lg-inline">IN THE CITY OF NEW YORK</span></a> </li> <li class="nav-item dropdown"> <a class="nav-item nav-link dropdown-toggle mr-md-2" href="#" id="provost-menu" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">OFFICE <em>of the</em> PROVOST</a> <div class="dropdown-menu dropdown-menu-left" aria-labelledby="provost-menu"> <ul class="list-group"> <li class="list-group-item p-0 border-0 bg-transparent"><a class="dropdown-item" href="http://provost.columbia.edu" target="_blank">Provost</a></li> <li class="list-group-item p-0 border-0 bg-transparent"><a class="dropdown-item" href="https://vptl.columbia.edu" target="_blank">Office of Teaching,<br />Learning, and Innovation</a></li> <li class="list-group-item p-0 border-0 bg-transparent"><a class="dropdown-item" href="https://online.columbia.edu" target="_blank">Columbia Online</a></li> </ul> </div> </li> </ul> <ul class="navbar-nav ctl-nav flex-row"> <li class="nav-item"> <a class="nav-link" href="https://ctl.columbia.edu" target="_blank">CENTER <i>for</i> TEACHING <i>and</i> LEARNING</a> </li> </ul> </div> </aside> <header class="container p-0 py-3 px-0 "> <nav class="navbar-global"> <a class="navbar-brand" href="/" title="Go to CTL Portfolio home"> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/logo-portfolio.svg" alt="Go to CTL Portfolio home"> </a> <div class="nav-menu d-flex"> <ul class="nav"> <li class="nav-item mx-2"> <a class="nav-link" href="/our-work/">Our Work</a> </li> <li class="nav-item mx-2"> <a class="nav-link" href="/about/">About</a> </li> </ul> <form class="form-inline portfolio-search ml-3" action="/our-work/"> <input class="form-control search-box mr-sm-2" type="search" placeholder="Search Portfolio" aria-label="Search" name="q" /> <input type="submit" style="display: none" /> </form> </div> </nav> </header> <main class="container bg-white p-0" id="maincontent"> <article class="entry"> <header class="entry-header"> <figure class="entry-header__poster"> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/poster-logiclearner.c3bdfff1.fill-1140x526-c100.jpg" class="img--xl" alt="Poster image for Logic Learner"> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/poster-logiclearner.c3bdfff1.fill-960x526-c100.jpg" class="img--lg" alt="Poster image for Logic Learner"> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/poster-logiclearner.c3bdfff1.fill-720x526-c100.jpg" class="img--md" alt="Poster image for Logic Learner"> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/poster-logiclearner.max-900x526.jpg" class="img--sm img-fluid" alt="Poster image for Logic Learner"> </figure> <div class="entry-header__text"> <h1>Logic Learner</h1> <section class="entry-header__partners"> <dl class="m-0"> <dt class="field-label"> Partners: </dt> <dd class="mb-md-0"> Ansaf Salleb-Aouissi, Senior Lecturer, Department of Computer Science </dd> <dd class="mb-md-0"> Nakul Verma, Lecturer, Department of Computer Science </dd> </dl> </section> </div> </header> <section class="entry-section entry-section__metadata row"> <div class="col-12 col-md-5 p-0 py-md-2 entry__type"> <dl class="d-flex flex-row m-0 mb-2"> <dt class="pr-2 my-0">Disciplines:</dt> <dd class="pr-1 my-0">Computer Science,</dd> <dd class="pr-1 my-0">Mathematics</dd> </dl> <dl class="d-flex flex-row m-0 mb-2"> <dt class="pr-2 my-0">Provost Grant:</dt> <dd class="pr-1 my-0">Innovative Course Design</dd> </dl> </div> <div class="col-12 col-md-4 p-0 py-md-2 entry__dates"> <dl class="d-flex flex-row m-0 mb-2"> <dt class="pr-2 my-0">Released:</dt> <dd class="pr-1 my-0">March 2022</dd> </dl> <dl class="d-flex flex-row m-0 mb-2"> <dt class="pr-2 my-0">Updated:</dt> <dd class="pr-1 my-0">March 2022</dd> </dl> </div> <div class="col-12 col-md-3 text-nowrap py-3 py-md-2 px-0 entry__links"> <div class="py-2 py-md-0"> <a rel="nofollow noopener noreferrer" href="https://logiclearner.ctl.columbia.edu" target="_blank"> Visit the site <i class="fa fa-external-link" aria-hidden="true"></i> </a> </div> <div class="share-widget mt-2"> <span class="field-label">Share:</span> <a rel="nofollow noopener noreferrer" class="share-window" href="http://www.facebook.com/share.php?u=https://portfolio.ctl.columbia.edu/our-work/logiclearner/&title=Logic Learner" aria-label="Share on Facebook"><i class="fa fa-facebook px-1" aria-hidden="true"></i></a> <a rel="nofollow noopener noreferrer" class="share-window" href="https://twitter.com/intent/tweet?text=Logic Learner&url=https://portfolio.ctl.columbia.edu/our-work/logiclearner/&via=ColumbiaCTL" aria-label="Share on Twitter"><i class="fa fa-twitter px-1" aria-hidden="true"></i></a> <a rel="nofollow noopener noreferrer" class="share-window" href="https://www.linkedin.com/shareArticle?mini=true&url=https://portfolio.ctl.columbia.edu/our-work/logiclearner/&title=Logic Learner&summary=A practice tool that help students improve their fluency and problem solving process in writing proofs for propositional logic." aria-label="Share on LinkedIn"><i class="fa fa-linkedin px-1"></i></a> </div> </div> </section> <section class="entry-section overview"> <p>Without targeted and timely feedback, it is difficult for students to learn and improve their understanding of proofs with propositional logic. Logic Learner provides students with a platform to solve proofs and receive adaptive feedback.</p> </section> <section class="entry-section entry-section__description"> <p data-block-key="a7cec">Logic Learner is an online learning tool that provides students with adaptive feedback when solving propositional logic proofs. Designed to differentiate for various skill levels, the application scaffolds student learning by separating questions by complexity, and gives students targeted feedback and hints when mistakes are made or when students are stuck on a particular step. A solution sheet option allows students to compare their answer to the optimal version.</p><p data-block-key="5b93p">The tool was first proposed by computer science faculty members Ansaf Salleb-Aouissi and Nakul Verma, after they realized that students had performed on average more poorly in their Discrete Mathematics course. The main difficulty they faced in this course was providing timely and targeted feedback in response to student mistakes. The lack of feedback caused students to miss out on key learning opportunities.</p><p data-block-key="ar2c6">After receiving a Provost-funded Innovative Course Design grant, Professors Salleb-Aouissi and Verma developed a prototype to use at a limited scale in their class. The tool had a basic feedback system and organized problems by complexity. However, drawbacks included the limited number of students who could use it simultaneously, over-generalized feedback, and an inability for students to choose which problem they would be solving or to track progress.</p><p data-block-key="eoteo">To fix many of these issues, the instructors received a second Provost-funded grant, this time to work with the CTL鈥檚 learning design, software design, and development teams. This resulted in a more enhanced and usable iteration of the application that will be piloted in Spring 2023.</p><p data-block-key="fuh7b">Focus groups have indicated that the tool鈥檚 gamified feature, in which students are congratulated for completing a proof correctly, provides a fun experience for solving problems. Participants also shared that the scaffolding of the levels was beneficial for gradual learning of more complex proofs, and thus students did not feel overwhelmed. Overall, the simplicity of the tool allowed for ease of use, and students enjoyed the experience.</p> </section> <section class="entry-section entry-section__gallery"> <h2>Gallery</h2> <figure> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/gallery-logiclearner-levels.max-920x900.png" class="img-fluid" alt="Gallery image: Leveling the questions allows users to self-assess their own ability in solving proofs and work on problems that are close to their current level. The goal is for students to improve and move towards more challenging problems."> <figcaption aria-hidden="true">Leveling the questions allows users to self-assess their own ability in solving proofs and work on problems that are close to their current level. The goal is for students to improve and move towards more challenging problems.</figcaption> </figure> <figure> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/gallery-logiclearner-errors.max-920x900.png" class="img-fluid" alt="Gallery image: Students receive syntax and content-related feedback when they make a mistake on a specific step in solving the proof. This allows students to learn from the error and make the proper adjustments and continue with solving the proof."> <figcaption aria-hidden="true">Students receive syntax and content-related feedback when they make a mistake on a specific step in solving the proof. This allows students to learn from the error and make the proper adjustments and continue with solving the proof.</figcaption> </figure> <figure> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/gallery-logiclearner-sheets.max-920x900.png" class="img-fluid" alt="Gallery image: Content such as the Law Sheet and the Key Binding Logic Symbols sheet provides necessary information for students to use logic learner and choose appropriate laws for solving steps in the proof."> <figcaption aria-hidden="true">Content such as the Law Sheet and the Key Binding Logic Symbols sheet provides necessary information for students to use logic learner and choose appropriate laws for solving steps in the proof.</figcaption> </figure> </section> <section class="entry-section entry-section__partners"> <h2>Partners</h2> <div class="d-flex mb-5 entry-section__partner"> <div class="img-avatar"> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/AnsafSalebAouissi.2e16d0ba.fill-200x200-c50.png" class="img-avatar__image" alt="Headshot photo of Ansaf Salleb-Aouissi"> </div> <div class="partner-info"> <div class="partner_name">Ansaf Salleb-Aouissi</div> Senior Lecturer in the Discipline of Computer Science<br /> Department of Computer Science </div> </div> <div class="d-flex mb-5 entry-section__partner"> <div class="img-avatar"> <img src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/uploads/images/NakulVerma.12a77b31.fill-200x200-c50.png" class="img-avatar__image" alt="Headshot photo of Nakul Verma"> </div> <div class="partner-info"> <div class="partner_name">Nakul Verma</div> Lecturer in the Discipline of Computer Science<br /> Department of Computer Science </div> </div> </section> </article> </main> <footer role="contentinfo" class="container-fluid p-0"> <div class="d-none d-print-block" id="footer-logo-print"> <div class="row pt-4" aria-hidden="true" role="presentation"> <div class="col"> <img alt="" src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/print-logo-ctl.png" class="img-fluid d-inline" /> </div> <div class="col"> <img alt="" src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/print-logo-columbia.png" class="img-fluid d-inline" /> </div> <div class="col"> <img alt="" src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/print-logo-provost.png" class="img-fluid d-inline" /> </div> </div> </div> <div class="ctl-info"> <div class="container"> <div class="row"> <div class="col-lg d-print-none"> <div class="mb-4 text-center text-lg-left" style="height: 2.75rem"> <a href="https://ctl.columbia.edu" target="_blank"> <img class="h-100" alt="Center for Teaching and Learning at Columbia University" src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/logo-ctl.svg" /> </a> </div> <div class="mb-4 text-center text-lg-left" style="height: 2.75rem"> <a href="https://www.columbia.edu" target="_blank"> <img class="h-100" alt="Columbia University in the City of New York" src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/logo-columbia.svg" /> </a> </div> <div class="mb-4 text-center text-lg-left" style="height: 1.375rem"> <a href="http://provost.columbia.edu" target="_blank"> <img class="h-100" alt="Office of the Provost" src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/img/logo-provost.svg" /> </a> </div> </div> <div class="col-md mt-4 mt-lg-0 text-center text-lg-left"> <address> <span class="h5">Visit us</span><br /> 212 Butler Library<br /> 535 West 114th Street<br /> New York, NY 10027<br /> </address> </div> <div class="col-md mt-4 mt-lg-0 text-center text-lg-left"> <address> <span class="h5">Contact us</span><br /> <a href="tel:+1-212-854-1862"> <span class="sr-only">Phone:</span> 1-212-854-1862 </a> <br /> <a href="mailto:ColumbiaCTL@columbia.edu"> <span class="sr-only">Email:</span> ColumbiaCTL@columbia.edu </a> </address> </div> </div> </div> </div> </footer> <script src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/js/lib/jquery-3.2.1.min.js"></script> <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.9/umd/popper.min.js" integrity="sha384-ApNbgh9B+Y1QKtv3Rn7W3mgPxhU9K/ScQsAP7hUibX39j7fakFPskvXusvfa0b4Q" crossorigin="anonymous"></script> <script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0/js/bootstrap.min.js" integrity="sha384-JZR6Spejh4U02d8jOt6vLEHfe/JQGiRRSQQxSfFWpi1MquVdAyjUar5+76PVCmYl" crossorigin="anonymous"></script> <script src="https://ccnmtl-portfolio-static-prod.s3.amazonaws.com/media/js/src/socmedia.js"></script>  <script async src="https://www.googletagmanager.com/gtag/js?id=G-75H9YC9SSF"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-75H9YC9SSF', { 'anonymize_ip': true }); </script> </body> </html>

CINXE.COM

Logic Learner -- CTL Portfolio