Teaching as a logic tool (abstract)
Abstract
Recommendations
On abstract resource semantics and computability logic
We show that the uniform validity is equivalent to the non-uniform validity for Blass' semantics of [A. Blass, A game semantics for linear logic, Ann. Pure Appl. Logic 56 (1992) 183-220]. We present a shorter proof (than that of [G. Japaridze, The ...
K12 CS Teaching Methods Courses (Abstract Only)
SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science EducationCS teacher development has become a major effort for the SIGCSE community in part due to NSF's CS10K efforts and expanding CSTA involvement. However there are few examples of university courses explicitly designed to train CS teachers. We do not yet ...
Teaching track faculty in CS (abstract only)
SIGCSE '12: Proceedings of the 43rd ACM technical symposium on Computer Science EducationMany computer science departments have chosen to hire faculty to teach in a teaching-track position that parallels the standard tenure-track position, providing the possibility of promotion, longer-term contracts, and higher pay for excellence in ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
- Chairman:
- Cary Laxer,
- Editors:
- Curt M. White,
- James E. Miller,
- Judy Gersting
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigcse
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 227Total Downloads
- Downloads (Last 12 months)52
- Downloads (Last 6 weeks)18
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