Search

The article provides information on the upcoming symposiums related to the computer engineering in 1966. A one-day symposium will be sponsored by ACM, SIAM and Florida State University on March 14 on "The Recommended Impact of Computer Applications on the Undergraduate Mathematics Curriculum." The four New York Metropolitan Area chapters will hold a one-day symposium in New York City on March 18. A session of invited papers will be devoted to "The Application of Computers to the Problems of a Metropolitan Society." In addition, a session of contributed papers on any topics in the computer field is now in the process of being organized . Automatic Data Processing exhibits and workshops headline the Federal Government Accountants Association 15th National Symposium, in Minneapolis, June 15-17. Topics include "Case Studies in ADP," "Programming: The Modern Budget Officer's Tool," and "The Future of Computers in the Federal Government." The Instrument Society of America (ISA) has invited papers for presentation at the 21st Annual ISA Conference and Exhibit, to be conducted October 24-27 in New York City. Theme of the meeting is "Instrumentation for an Urban Society."

Numerical mathematics is viewed as the analysis of continuous algorithms. Four of the components of numerical mathematics are discussed. These are: foundations (finite precision number systems, computational complexity), synthesis and analysis of algorithms, analysis of error, programs and program libraries. [ABSTRACT FROM AUTHOR]

The article presents abstracts of some of the papers that were published in the "Journal of the Association for Computing Machinery." A number of observations and comments are directed toward suggesting that more than the usual engineering flavor be given to computer science. The engineering aspect is important because most present difficulties in this field do not involve the theoretical question of whether certain things can be done, bat rather the practical question of how can they be accomplished well and simply. The teaching of computer science could be made more effective by various alterations, for example, the inclusion of a laboratory course in programming, the requirement for a strong minor in something other than mathematics, and more practical coding and less abstract theory, as well as more seriousness and less game playing. Recursive formulas for the numerical evaluation of the real convolution integral are derived for the case in which the impulse response is given analytically. These formulas require considerably less computation time and memory space than the general time series formulas and can be effectively applied for digital simulation of continuous physical systems.

It Is argued that formal verifications of programs, no matter how obtained, will not play the same key role hi the development of computer science and software engineering as proofs do in mathematics. Furthermore the absence of continuity, the Inevitability of change, and the complexity of specification of significantly many real programs make the formal verification process difficult to justify and manage. It Is felt that ease of formal verification should not dominate program language design. [ABSTRACT FROM AUTHOR]