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.
Descriptors:
- *COMPUTERS
- *COMPUTER LOGIC
- COMPUTER PROGRAMS
- COMPUTER PROGRAMMING
- REPORTS
- ACCURACY
- MATHEMATICAL ANALYSIS
- DOCUMENTS
- SET THEORY
- NUMBER THEORY
- INEQUALITIES
- THEOREMS
- AUTOMATA
- ANALYTIC FUNCTIONS
- LINGUISTICS
- HYDRODYNAMICS
- HANDBOOKS
- POLYNOMIALS
- TOPOLOGY
- ALGEBRA
- PROGRAMMING LANGUAGES
- LINEAR SYSTEMS
- SYMPOSIA
Subject Categories:
- Information Science
- Computer Programming and Software
- Computer Hardware