Teaching calculation and discrimination

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Teaching calculation and discrimination: a more effective curriculum

Full text

Pdf (6.62 MB)

Source

Communications of the ACM archive
Volume 34 , Issue 3 (March 1991) table of contents

Pages: 44 - 55

Year of Publication: 1991

ISSN:0001-0782

Author

David Gries

Cornell Univ., Ithaca, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 28, Citation Count: 15

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/102868.102870 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Harold Abelson , Gerald Jay Sussman , Julie Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, MA, 1985
	2	Richard Bird , Philip Wadler, An introduction to functional programming, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1988
	3	K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	4	Cherniavsky, J.C. Software failure attract congressional attention Comput. Res. News 2, 1 (Jan. 1990) 4-5.
	5	CORPORATE Computer Science and Technology Board, Scaling up: a research agenda for software engineering, Communications of the ACM, v.33 n.3, p.281-293, March 1990 [doi>10.1145/77481.77482]
	6	Edsger W. Dijkstra , Carel S. Scholten, Predicate calculus and program semantics, Springer-Verlag New York, Inc., New York, NY, 1990
	7	Gastercn van, AJ,M.. On .the :shape of' mathematical arguments. Ph.D; dissertation,. Technical University Eindhoven, Eindt!oven, The Netherlands, 1988.
	8	GPOO52-070-06604-I Bugs in the

CITED BY 15

	Ann E. Kelley Sobel, Experience integrating a formal method into a software engineering course, ACM SIGCSE Bulletin, v.28 n.1, p.271-274, March 1996
	Timothy J. Long , Bruce W. Weide , Paolo Bucci , David S. Gibson , Joe Hollingsworth , Murali Sitaraman , Steve Edwards, Providing intellectual focus to CS1/CS2, ACM SIGCSE Bulletin, v.30 n.1, p.252-256, Mar. 1998
	Neal Coulter , Ira Monarch , Suresh Konda , Marvin Carr, Ada and the evolution of software engineering, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.56-71, November 05-10, 1995, Anaheim, California, United States
	Henry McLoughlin , Kevin Hely, Teaching formal programming to first year computer science students, ACM SIGCSE Bulletin, v.28 n.1, p.155-159, March 1996
	Lisa M. Levy Kortright, From specific problem instances to algorithms in the introductory course, ACM SIGCSE Bulletin, v.26 n.1, p.71-75, March 1994
	D. E. Stevenson, Frontiers for computer science in computational science, Proceedings of the 30th annual Southeast regional conference, April 08-10, 1992, Raleigh, North Carolina
	Alan Fekete, Reasoning about programs: integrating verification and analysis of algorithms into the introductory programming course, ACM SIGCSE Bulletin, v.25 n.1, p.198-202, March 1993
	Judith D. Wilson , Nathan Hoskin , John T. Nosek, The benefits of collaboration for student programmers, ACM SIGCSE Bulletin, v.25 n.1, p.160-164, March 1993
	Sukhen Dey , Lawrence R. Mand, Current trends in computer science curriculum: a survey of four-year programs, ACM SIGCSE Bulletin, v.24 n.1, p.9-14, March 1992
	R. P. Mody, Is programming an art?, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.19-21, Oct. 1992
	Bard Bloom , Alan Fekete, Self-sufficiency and critical thinking in the programming languages course, ACM SIGCSE Bulletin, v.26 n.2, p.9-18, June 1994
	David T. Brown, Discrete mathematics II, ACM SIGCSE Bulletin, v.25 n.4, p.13-17, Dec. 1993
	Ricardo A. Baeza-Yates, Teaching algorithms, ACM SIGACT News, v.26 n.4, p.51-59, Dec. 1995
	J. Stanley Warford, An experience teaching formal methods in discrete mathematics, ACM SIGCSE Bulletin, v.27 n.3, p.60-64, Sept. 1995
	Karlheinz Kautz, User participation and participatory design: topics in computing education, Human-Computer Interaction, v.11 n.3, p.267-284, September 1996

INDEX TERMS

Primary Classification:
K. Computing Milieux
K.3 COMPUTERS AND EDUCATION
K.3.2 Computer and Information Science Education
Subjects: Curriculum

Additional Classification:
D. Software
D.2 SOFTWARE ENGINEERING

F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

General Terms:
Management, Theory

REVIEW

"Donald J. Bagert, Jr. : Reviewer"

On March 7, 1991, David Gries received the 1991 SIGCSE Outstanding Contribution to Computer Science Education Award. This paper contains his Award Lecture, which was given that day to a joint session of the ACM Computer Science Conference and more...

Collaborative Colleagues:

David Gries: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player