J. Paul Myers
Abstract
After years of presumed emphasis of CS theory in the curriculum, it is currently in vogue to downplay, if not disparage, a significant role for theoretical issues. This is being done with such vigor, however, that some are advocating an abandonment of even such topics as unsolvability as being no longer fundamental to a well-educated computing professional. An appeal is made, using the universal acknowledgment of the importance of the liberal arts to any well-educated person, to assert that certain theoretical topics are part of our liberal arts heritage. Moreover, students find even a brief presentation of these topics to be very illuminating.
Index Terms
The eight-minute halting problem
Recommendations
Halting still standing: programs versus specifications
UTP'10: Proceedings of the Third international conference on Unifying theories of programmingIn UTP'06 [4], Hehner claims that the traditional proof of the incomputability of the Halting Function is rather a proof of the inconsistency of its specification. We identify where his argument fails.
Hehner claims that assuming a well-defined Halting ...
Faculty teaching practices and perceptions of institutional attitudes toward teaching at eight engineering schools
FIE '98: Proceedings of the 28th Annual Frontiers in Education - Volume 01All engineering faculty members in the eight universities that comprise the SUCCEED Coalition were surveyed about their use of a variety of instructional methods and their perceptions about attitudes toward teaching on their campuses. The results ...
Comments