symbolic mathematics

symbolic mathematics
символическая логика

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужна курсовая?

Смотреть что такое "symbolic mathematics" в других словарях:

  • 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

  • Symbolic combinatorics — in mathematics is a technique of analytic combinatorics that uses symbolic representations of combinatorial classes to derive their generating functions. The underlying mathematics, including the Pólya enumeration theorem, are explained on the… …   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 (disambiguation) — Symbolic may refer to:* Symbolic (Death album), an album by the band Death * Symbolic (Voodoo Glow Skulls album), an album by the band Voodoo Glow Skulls * Symbolic logic, the use of symbols for logical operations in logic and mathematics *… …   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

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Symbolic dynamics — In mathematics, symbolic dynamics is the practice of modelling a topological or smooth dynamical system by a discrete space consisting of infinite sequences of abstract symbols, each of which corresponds to a state of the system, with the… …   Wikipedia

  • Mathematics — Maths and Math redirect here. For other uses see Mathematics (disambiguation) and Math (disambiguation). Euclid, Greek mathematician, 3r …   Wikipedia

  • Symbolic method — In mathematics, the symbolic method in invariant theory is a highly formal algorithm developed in the 19th century for computing form invariants mdash; invariants of algebraic forms. It is based on repeated applications of the Omega process… …   Wikipedia

  • symbolic language — noun : a language that employs symbols either extensively or exclusively; especially : one that has been artificially constructed for the purpose of precise formulations (as in symbolic logic, mathematics, or chemistry) compare calculus 3 * * * a …   Useful english dictionary

  • symbolic language — a specialized language dependent upon the use of symbols for communication and created for the purpose of achieving greater exactitude, as in symbolic logic or mathematics. * * * …   Universalium


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»