• DocumentCode
    480365
  • Title

    Using IDEAS in Teaching Logic, Lessons Learned

  • Author

    Lodder, Josje ; Passier, Harrie ; Stuurman, Sylvia

  • Author_Institution
    Dept of Comput. Sci., Open Univ. Netherland, Heerlen
  • Volume
    5
  • fYear
    2008
  • fDate
    12-14 Dec. 2008
  • Firstpage
    553
  • Lastpage
    556
  • Abstract
    At the Open University we are developing tools to support students in learning procedural skills. The tool for rewriting logical formulas into disjunctive normal form was tested with students in the period 2007-2008. The results of this tests help us to improve our tool, give answers to some questions we had during the development and encourage us to proceed.
  • Keywords
    computer aided instruction; formal logic; rewriting systems; IDEAS; disjunctive normal form; interactive tool; logical formula rewriting; Computer science; Education; Error correction; Feedback; Linear algebra; Logic testing; Mathematics; Software engineering; -e-learning; exercise assistant; feedback; interactive too; logic; teaching;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Software Engineering, 2008 International Conference on
  • Conference_Location
    Wuhan, Hubei
  • Print_ISBN
    978-0-7695-3336-0
  • Type

    conf

  • DOI
    10.1109/CSSE.2008.403
  • Filename
    4722962
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=480365