Special session: engaging mathematical reasoning exercises
Abstract
References
Index Terms
- Special session: engaging mathematical reasoning exercises
Recommendations
Panel: Engage in Reasoning with Tools
SIGCSE '16: Proceedings of the 47th ACM Technical Symposium on Computing Science EducationA central goal of computer science education is to teach students how to reason about the correctness of the code they write. Typically, students use a trial and error process and check that their logic "works" by running it on test inputs. Typically, ...
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE
SIGCSE '14: Proceedings of the 45th ACM technical symposium on Computer science educationProgram correctness is central to computing, with instructors striving to convey the importance of getting it right starting in CS1. Teaching this material carefully demands a uniform framework to specify, implement, and reason about software ...
Special Session: AI for K-12 Guidelines Initiative
SIGCSE '19: Proceedings of the 50th ACM Technical Symposium on Computer Science EducationIn May 2018, the Association for the Advancement of Artificial Intelligence (AAAI) and the Computer Science Teachers Association (CSTA) formed a joint working group to develop national guidelines for teaching K-12 students about artificial intelligence. ...
Comments
Information & Contributors
Information
Published In

- Conference Chairs:
- J. D. Dougherty,
- Kris Nagel,
- Program Chairs:
- Adrienne Decker,
- Kurt Eiselt
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
- 94Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in