skip to main content
10.1145/3626253.3635339acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
abstract

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic

Published: 15 March 2024 Publication History

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.

Supplementary Material

MP4 File (LogicwriterMovieC-02-01-24.mp4)
Logicwriter Actual is a web app for entry and editing of text including mathematical logic symbols. It has been used with classes of computer science undergraduates taking a foundational math course for computer scientists. The video demos the web app and discusses education issues related to its use.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGCSE 2024: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2
March 2024
2007 pages
ISBN:9798400704246
DOI:10.1145/3626253
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 March 2024

Check for updates

Author Tags

  1. learning mathematical writing
  2. mathematical writing web app}
  3. mathematics education in computer science

Qualifiers

  • Abstract

Conference

SIGCSE 2024
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,787 of 5,146 submissions, 35%

Upcoming Conference

SIGCSE TS 2025
The 56th ACM Technical Symposium on Computer Science Education
February 26 - March 1, 2025
Pittsburgh , PA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 0
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

View Options

View options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media