algebraic specification - definitie. Wat is algebraic specification
Diclib.com
Woordenboek ChatGPT
Voer een woord of zin in in een taal naar keuze 👆
Taal:

Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

  • hoe het woord wordt gebruikt
  • gebruiksfrequentie
  • het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
  • opties voor woordvertaling
  • Gebruiksvoorbeelden (meerdere zinnen met vertaling)
  • etymologie

Wat (wie) is algebraic specification - definitie


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.