Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Our curriculum has become math-phobic!
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Journal on Educational Resources in Computing (JERIC)
Introduction to Algorithms
We claim this class for computer science: a non-mathematician's discrete structures course
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Embedding instructive assertions in program design
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Moving to CC2001 at a small college
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Panel discussion: mathematical thinking in computer science
Proceedings of the 2nd annual conference on Mid-south college computing
Working group reports from ITiCSE on Innovation and technology in computer science education
Use and assessment of a rigorous approach to CS1
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Discrete partnership: a case for a full year of discrete math
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Constructing contracts: Making discrete mathematics relevant to beginning programmers
Journal on Educational Resources in Computing (JERIC)
Computer science students' difficulties with proofs by induction: an exploratory study
Proceedings of the 44th annual Southeast regional conference
On the role of proofs in a course on design and analysis of algorithms
ITiCSE-WGR '06 Working group reports on ITiCSE on Innovation and technology in computer science education
Discrete math with programming: better together
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Elaborating heuristic reasoning and rigor with mathematical games
ACM SIGCSE Bulletin
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Two mathematical gestalts for computer theory
Proceedings of the 40th ACM technical symposium on Computer science education
Injecting rapid feedback and collaborative reasoning in teaching specifications
Proceedings of the 40th ACM technical symposium on Computer science education
Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
A History of the Liberal Arts Computer Science Consortium and its Model Curricula
ACM Transactions on Computing Education (TOCE)
Problem-directed discrete structures course
Proceedings of the 41st ACM technical symposium on Computer science education
The roles of mathematics in computer science
ACM Inroads
Hi-index | 0.00 |
The mathematical thinking, as well as the mathematics, in a computer science education prepares students for all stages of system development, from design to the correctness of the final implementation.