Striving for mathematical thinking

Authors:
Peter B. Henderson;Doug Baldwin;Venu Dasigi;Marcel Dupras;Jane Fritz;David Ginat;Don Goelman;John Hamer;Lew Hitchner;Will Lloyd;Bill Marion, Jr.;Charles Riedesel;Henry Walker
Affiliations:
Butler University;SUNY Geneseo;Southern Poly State University;Universite Laval, Canada;St. Josephs College;Tel Aviv University, Israel;Villanova University;University of Auckland, NZ;California Polytechnic State University;University of West Georgia;Valpariso University;University of Nebraska-Lincoln;Grinnell College
Venue:
ACM SIGCSE Bulletin
Year:
2001

Citing 32
Cited 9

Predicting performance in an introductory computer science course

Communications of the ACM
No Silver Bullet Essence and Accidents of Software Engineering

Computer
Programming pearls

Programming pearls
Discrete mathematics with applications

Discrete mathematics with applications
A logical approach to discrete math

A logical approach to discrete math
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
A three-fold introduction to computer science

SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Critical skills and knowledge requirements of IS professionals: a joint academic/industry investigation

MIS Quarterly - Special issue on IS curricula and pedagogy
Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
From formal models to formally based methods: an industrial experience

ACM Transactions on Software Engineering and Methodology (TOSEM)
Curriculum 2001: interim report from the ACM/IEEE-CS task force

SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Empirical results of a software engineering curriculum incorporating formal methods

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Discrete mathematics using a computer

Discrete mathematics using a computer
Colorful examples for elaborating exploration of regularities in high-school CS1

Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Has our curriculum become math-phobic? (an American perspective)

Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Math proficiency: a key to success for computer science students

Communications of the ACM
The first course in computer science needs a mathematics corequisite

Communications of the ACM
Contributing to success in an introductory computer science course: a study of twelve factors

Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Our curriculum has become math-phobic!

Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Computing curricula 2001 how will it work for you?

Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Industry perceptions of the knowledge, skills, and abilities needed by computer programmers

SIGCPR '01 Proceedings of the 2001 ACM SIGCPR conference on Computer personnel research
Viewpoint: Why women avoid computer science

Communications of the ACM
Viewpoint: the real reason why software engineers need math

Communications of the ACM
Mathematical Structures for Computer Science

Mathematical Structures for Computer Science
The Art of Computer Programming Volumes 1-3 Boxed Set

The Art of Computer Programming Volumes 1-3 Boxed Set
The Science of Programming

The Science of Programming
Program Development in Java: Abstraction, Specification, and Object-Oriented Design

Program Development in Java: Abstraction, Specification, and Object-Oriented Design
Support for teaching formal methods

ACM SIGCSE Bulletin
Investigating the Influence of Formal Methods

Computer
What Knowledge Is Important to a Software Professional?

Computer
Applying Formal Specification in Industry

IEEE Software
A New Answer to "How Important is Mathematics to the Software Practitioner?"

IEEE Software

Materials development in support of mathematical thinking

Working group reports from ITiCSE on Innovation and technology in computer science education
Mathematical reasoning in software engineering education

Communications of the ACM - Why CS students need math
Using lab exams to ensure programming practice in an introductory programming course

Proceedings of the 8th annual conference on Innovation and technology in computer science education
Embedding instructive assertions in program design

Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
What subjects and skills are important for software developers?

Communications of the ACM - The patent holder's dilemma: buy, sell, or troll?
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
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
Interfaces first (and foremost) with Java

Proceedings of the 41st ACM technical symposium on Computer science education

Quantified Score

Hi-index	0.00

Visualization

Abstract

Computer science and software engineering are young, maturing disciplines. As with other mathematically based disciplines, such as the natural sciences, economics, and engineering, it takes time for the mathematical roots to grow and flourish. For computer science and software engineering, others have planted these seeds over many years, and it is our duty to nurture them. This working group is dedicated to promoting mathematics as an important tool for problem-solving and conceptual understanding in computing.