This is an old revision of the document!

Symbolic Logic Tutorial


To help students learn Symbolic Logic, we are developing an online Symbolic Logic tutorial. Authorized professors can create quizzes for their students to take, in either practice or graded mode.

Desired Functionality

  • Improved, responsive user interface
  • Professor functionality
    • Grade question by question instead of student by student
    • Propagate an assigned point value across all identical (or equivalent?) answers (this makes the above particularly effective)
    • Vertical arrangement of student answer and correct answer for easier comparison
    • Copy ALL quizzes from one courses to another instead of copying them individually
  • Quiz functionality
    • Detect unbound variables
      • for practice quizzes, feedback in grading
    • Display unmatched parentheses in grading mode, and/or implement parenthesis matching in the student input field
    • Handle that “V” cannot be one of a “letter” in the key (likely part of the professor's quiz creation–may be other places?)
courses/cs335/spring2016/logic/home.1461771999.txt.gz · Last modified: 2016/04/27 11:46 by admin
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0