Conference proceeding
Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic
SIGCSE 2024: Proceedings of the 55th ACM Technical Symposium on Computer Science Education, v 2
14 Mar 2024
Abstract
LogicWriter Actual (https://tinyurl.com/logicwriteractual) is a web app that helps early undergraduate CS students write with symbolic logic notation (↔, ∃, ∧, Greek letters, etc.). It designed with a quick start easy-to-use interface and is compatible with most writing programs. LogicWriter Actual is designed to minimize cognitive demands on software operation so that students can focus on mathematical writing.
LogicWriter Actual has been used in our foundational CS logic class for the past three years. Preliminary results indicate that students typically learn to use it in five minutes or less and rate it favorably. Collaboration is sought for synergistic use with scaffolded software and other instructional efforts in proof writing and mathematical exposition.
Metrics
9 Record Views
Details
- Title
- Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic
- Creators
- Bruce W. Char - Drexel UniversityJeremy Johnson - Drexel UniversitySteve Earth - Drexel University
- Publication Details
- SIGCSE 2024: Proceedings of the 55th ACM Technical Symposium on Computer Science Education, v 2
- Conference
- SIGCSE 2024: 55th ACM Technical Symposium on Computer Science Education, 55th (Portland, Oregon, United States, 20 Mar 2024–23 Mar 2024)
- Series
- ACM Conferences
- Publisher
- ACM
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science (Computing)
- Other Identifier
- 991021862739204721