- symbolic computer
- вычислительная машина для символьной обработки
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Symbolic computation — Symbolic computation, algebraic computation, or, less commonly, symbolic manipulation, symbolic processing, symbolic mathematics, or symbolic algebra, relates to the use of machines, such as computers, to manipulate mathematical equations and… … Wikipedia
Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… … Wikipedia
Symbolic Manipulation Program — Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979 and initially developed in the Caltech physics department under Wolfram s leadership with… … Wikipedia
Symbolic Sound Corporation — was founded by Carla Scaletti and Kurt J. Hebel in 1989 as a spinoff of the CERL Sound Group at the Computer based Education Research Laboratory of the University of Illinois at Urbana Champaign. Originally named Kymatics , the company was… … Wikipedia
Symbolic integration — is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f ( x ), i.e. to find the differentiable function F ( x ) such that:frac{dF}{dx} = f(x).This is also denoted:F(x) = int f(x)dx.The term… … Wikipedia
Symbolic logic — is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical … Wikipedia
computer science — computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… … Universalium
Symbolic Trajectory Evaluation — (STE) is a lattice based model checking technology that uses a form of symbolic simulation. STE is essentially used for computer hardware, that is circuit verification. The technique uses abstraction, meaning that details of the circuit behaviour … Wikipedia
Computer Audition — (CA) is general field of study of algorithms and systems for audio understanding by machine. Since the notion of what it means for a machine to hear is very broad and somewhat vague, computer audition attempts to bring together several… … Wikipedia
Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities … Wikipedia
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium