Mathematical Aspects of Computer Science

Front Cover
Jacob T. Schwartz, American Mathematical Society
American Mathematical Soc. - 224 pages
0 Reviews
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A REVIEW OF AUTOMATIC THEOREMPROVING
1
ASSIGNING MEANINGS TO PROGRAMS
19
CORRECTNESS OF A COMPILER FOR ARITHMETIC EXPRESSIONS₂
33
CONTEXTFREE LANGUAGES AND TURING MACHINE COMPUTATIONS
42
COMPUTER ANALYSIS OF NATURAL LANGUAGES₁
52
THE USE OF COMPUTERS IN THE THEORY OF NUMBERS
111
A MACHINE CALCULATION OF A SPECTRAL SEQUENCE
117
NUMERICAL HYDRODYNAMICS OF THE ATMOSPHERE
125
THE CALCULATION OF ZEROS OF POLYNOMIALS AND ANALYTIC FUNCTIONS
138
MATHEMATICAL THEORY OF AUTOMATA
153
LINEARLY UNRECOGNIZABLE PATTERNS₁
176
Copyright

Common terms and phrases

Popular passages

Page 217 - REFERENCES (1) WW Bledsoe and I. Browning, "Pattern Recognition and Reading by Machine," 1959 Proceedings of the Eastern Joint Computer Conference, 225-232.

References to this book

All Book Search results »