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

Supplementary Material
- Download
- 62.66 MB
Index Terms
- Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic
Recommendations
A Web App for Writing with Mathematical Logic
Papers of the 27th Annual CCSC Northeastern ConferenceLogicwriter Actual is a web app (https://www.cs.drexel.edu/~bchar/logicwriter/standardConfig/web/index.html) designed for freeform entry and linear display in Unicode of text combined with symbolic logic characters such as ≡, ∃, ∧, ⇒, λ, and Ω. It is ...
Catch 'em Early: Internship and Assistantship CS Mentoring Programs for Underclassmen
SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science EducationRecruiting and retaining STEM majors has been an ongoing challenge for colleges and universities. This research paper describes two initiatives to recruit and retain Computer Science (CS) majors that were implemented at Siena College starting in the ...
Retention of STEM majors using early undergraduate researchexperiences
SIGCSE '13: Proceeding of the 44th ACM technical symposium on Computer science educationAn early undergraduate research program for rising sophomores and juniors at risk of leaving STEM degree programs is described. Students are paid a stipend to work part-time, at a maximum of twenty hours per week, as part of a research team. Faculty ...
Comments
Information & Contributors
Information
Published In

- General Chairs:
- Ben Stephenson,
- Jeffrey A. Stone,
- Program Chairs:
- Lina Battestilli,
- Samuel A. Rebelsky,
- Libby Shoop
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Abstract
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigcse
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0