Results 261 to 270 of about 43,571 (311)
Lectures on a Mathematical Theory of Computation (Mathematical Studies of Information Processing)
Lectures on a Mathematical Theory of Computation (Mathematical Studies of Information Processing)openaire
A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)
A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)openaire
Some of the next articles are maybe not open access.
Related searches:
Related searches:
On mathematical theory of the duality computers
Quantum Information Processing, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Xiangfu Zou +4 more
openaire +2 more sources
SECOND-ORDER MATHEMATICAL THEORY OF COMPUTATION
Proceedings of the second annual ACM symposium on Theory of computing - STOC '70, 1970In this work we show that it is possible to formalize all properties regularly observed in (deterministic and non-deterministic) algorithms in second-order predicate calculus. Moreover, we show that for any given algorithm it suffices to know how to formalize its 'partial correctness' by a second-order formula in order to formalize all other properties
openaire +1 more source
Mathematical Theory of Duality Quantum Computers
Quantum Information Processing, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
A mathematical theory for the spread of computer viruses
Computers & Security, 1989A model is introduced to treat the spread of computer viruses mathematically. A recurrence formula is given which allows a closed expression to be derived for the probability that, starting from an initial state, a given viral state will be reached after executing exactly k programs. In some special cases this recurrence formula can be used for numeric
openaire +1 more source
Mathematical Theory of Serial Computers
1976About 20 years ago (see e.g. [1]) the automation of programming started. Its aim was to facilitate the programming activity, and the direct reason was the “difficulty” of learning and using machine codes.
openaire +1 more source
Mathematical Theory of Computation
1991Abstract : This project was concerned with the development of correct and reusable software through the use of higher order abstractions (function, control, assignment, process) and reflection. A semantic framework for these notions will be the basis of an experimental system for manipulating and reasoning about programs. The goals of this project were
openaire +1 more source
Numerical Mathematics--Theory and Computer Applications.
Mathematics of Computation, 1987Mathematical Introduction * Numerical Computation * Vectors and Matrices * Series Expansions * Orthogonal Functions * Linear Operators * Difference Equations * Special Functions * Laplace Transformation * Calculus of Variations Equations * Systems of Linear Equations * Nonlinear Equations and Systems of Equations * Algebraic Eigenvalue Problems ...
David K. Kahaner, Carl-Erik Froberg
openaire +1 more source