Mathematical aspects of computer science / J. T. Schwartz, editor.

Format:

Book

Author/Creator:

Symposium in Applied Mathematics, Corporate Author.

Contributor:

American Mathematical Society. Short Course, organizer of meeting.

Schwartz, Jacob T., editor.

Series:

Proceedings of symposia in applied mathematics ; Volume XIX.

Proceedings of Symposia in Applied Mathematics ; Volume XIX

Language:

English

Subjects (All):

Machine theory--Congresses.

Machine theory.

Computer science--Mathematics--Congresses.

Computer science.

Physical Description:

1 online resource (231 p.)

Place of Publication:

Providence, Rhode Island : American Mathematical Society, 1967.

Language Note:

English

Contents:

""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""; ""Linearly unrecognizable patterns""; ""Author Index""; ""A""; ""B""; ""C""; ""D""; ""E""

""F""""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Y""; ""Z""; ""Subject Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""L""; ""M""; ""N""; ""O""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Z""

Notes:

Proceedings of a symposium in Applied Mathematics of the American Mathematical Society, held in New York City, April 5-7, 1966."

Includes bibliographical references at the end of each chapters and indexes.

Description based on print version record.

ISBN:

0-8218-9234-7