The nine articles in this collection were selected because they represent concerns central to computer science, emphasize topics of particular interest to mathematicians, and underscore the wide range of areas deeply and continually affected by computer science. The contents consist of: "Introduction" (S. V. Pollack), "The…

Discussed is the nature of and the importance of effective documentation in computer programing. (TG)

Computers are changing the lives of millions of people, but schools are still not producing many computer literate students. Rapid improvements in hardware technology and major progress in the development of software have put computers within reach of everyone. Computer literacy must now be treated as a functional tool similar to reading, writing,…

The concept and nature of proof in mathematics is examined, and the emerging role of computers in this area is reviewed. The issue is seen to force mathematicians and philosophers to reexamine their assumptions about mathematics and how it is done. (MP)

In anticipation of the educational needs of the late 1980s in science, mathematics, and engineering education, the National Science Foundation has supported a variety of projects that can serve as examples and models of the uses of computing in science education. These projects fall into three categories, focusing on the computer as a tool of…

The PASCAL and BASIC programing languages are compared, with the additional features provided by PASCAL described in detail. (MP)

The mathematicians who developed the computer-aided proof to the Four-Color Conjecture discuss the ramifications of their work and the use of computers in working on the proof of theorems in the future. (MP)

A traditional question is whether or not computers shall ever think like humans. This question is redirected to a discussion of whether computers shall ever be truly creative. Creativity is defined and a program is described that is designed to complete creatively a series problem in mathematics. (MP)

Pocket computers are promoted as an inexpensive means of teaching computer programing, particularly in today's world where there are increasing difficulties of obtaining funds for new curriculum materials. Samples of programs written in BASIC that can be run on pocket computers are presented, and instruction in elementary grades is promoted. (MP)

Suggests that catalogs of the future, as facilitated by computer technology, should take on multiple formats. Three levels of varying form and size are envisioned for the needs and uses of the librarian, the general user, and the individual user. (Author/RAA)

The programing language described was designed to remedy the weaknesses of BASIC by adding structured constructs and other desirable improvements, while retaining the major features and overall spirit of BASIC. COMAL 80 (COMmon ALgorithmic language), developed in Denmark, is proposed as an introductory programing language for schools. (Five…

The author states that computer program development is simply extension's program development process focused on computer applications, and that extension personnel, the end-product users, can design computer programs to meet their own needs. He discusses principles of systems analysis and design, training, implementation, and evaluation. (MF)

Discusses the rationale for sharing courseware between educators, describes the problems of hardware incompatibility associated with software sharing, and introduces a multilingual interpreter system which allows instructional software implemented in different computer languages and on different machines to be shared with a minimum of work. A…

The major philosophical issues surrounding the concept of intelligence are reviewed with respect to the problems surrounding the process of defining and developing artificial intelligence (AI) in computers. Various current definitions and problems with these definitions are presented. (MP)

The process and history of the development of artificial intelligence is reviewed. Important achievements are noted. Limitations to possible breakthroughs in this field are noted from philosophers and mathematical logicians. (MP)