Accession Number:

AD0669507

Title:

MATHEMATICAL ASPECTS OF COMPUTER SCIENCE,

Descriptive Note:

Corporate Author:

AMERICAN MATHEMATICAL SOCIETY PROVIDENCE RI

Personal Author(s):

Report Date:

1967-01-01

Pagination or Media Count:

257.0

Abstract:

Contents A review of automatic theorem-proving Assigning meanings to programs Correctness of a compiler for arithmetic expressions Context-free languages and Turing machine computations Computer analysis of natural languages The use of computers in the theory of numbers A machine calculation of a spectral sequence Numerical hydrodynamics of the atmosphere The calculation of zeros of polynomials and analytic functions Mathematical theory of automata and Linearly unrecognizable patterns.

Subject Categories:

  • Information Science
  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE