algebraic specification - определение. Что такое algebraic specification
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое algebraic specification - определение


Algebraic specification         
Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980.
Algebraic extension         
FIELD EXTENSION VIA ADJOINING SOLUTIONS TO POLYNOMIALS WITH COEFFICIENTS IN THE SUBFIELD
Algebraic extension of a field; Algebraic field extension; Relative algebraic closure; Algebraic extension field
In mathematics, an algebraic extension is a field extension such that every element of the larger field is algebraic over the smaller field ; that is, if every element of is a root of a non-zero polynomial with coefficients in .Fraleigh (2014), Definition 31.
Derived algebraic geometry         
BRANCH OF MATHEMATICS GENERALIZING ALGEBRAIC GEOMETRY SO THAT COMMUTATIVE RINGS PROVIDING LOCAL CHARTS ARE REPLACED BY SIMPLICIAL COMMUTATIVE RINGS OR E∞-RING SPECTRA, WHOSE HIGHER HOMOTOPY GROUPS ACCOUNT FOR NON-DISCRETENESS OF THE STRUCTURE SHEAF
Homotopical algebraic geometry; Spectral algebraic geometry
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over \mathbb{Q}), simplicial commutative rings or E_{\infty}-ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g.