ФОРМАЛНА ДЕФИНИЦИЈА на Английском - Английский перевод

• formal definition of

Примеры использования Формална дефиниција на Сербском языке и их переводы на Английский язык

Тај чланак је постао прва формална дефиниција СИМУЛЕ 67.
This paper became the first formal definition of Simula 67.

Нажалост формална дефиниција случајне променљиве може да буде збуњујућа.
But unfortunately the formal definition of a random variable can be a little c onfusing.

Кључна карактеристика овог тумачења је формална дефиниција интервала простор-време.
A key feature of this interpretation is the formal definition of the spacetime interval.

Да би се задржала формална дефиниција једноставном, формулисано је у смислу подргрупе природних бројева.
To keep the formal definition simple, it is phrased in terms of subsets of the natural numbers.

Формална дефиниција регуларних израза је с намером штура и избегава дефинисање заменљивих квантификатора?
The formal definition of regular expressions is purposely parsimonious and avoids defining the redundant quantifiers?

За неколико година( 1939) Тјуринг би предложио, као Черч и Клини пре њега, да је његова формална дефиниција механичке израчунљивости био исправан.
In a few years(1939) Turing would propose, like Church and Kleene before him, that his formal definition of mechanical computing agent was the correct one.

Формална дефиниција Декартовог производа са аспекта теорије скупова следи из дефиниције уређеног пара.
A formal definition of the Cartesian product from set-theoretical principles follows from a definition of ordered pair.

Декларација типа докумената, или DOCTYPE, је инструкција која повезује посебан SGML или XML документ на пример, веб страница са дефиницијом типа документа( ДТД)( на пример, формална дефиниција посебне верзије HTML-а).
A document type declaration, or DOCTYPE, is an instruction that associates a particular SGML or XML document(for example, a webpage) with a document type definition(DTD)(for example, the formal definition of a particular version of HTML1.0- HTML 4.0).

Иако не постоји формална дефиниција ЗКП-а, ове организације су у суштини клинике за планирање породице које нуде савјетовање и друге пренаталне услуге из положаја против абортуса.
While there is no formal definition of a CPC, these organizations are essentially family planning clinics that offer counseling and other prenatal services from an.

Декларација типа докумената, или DOCTYPE, је инструкција која повезује посебан SGML или XML документ на пример, веб страница са дефиницијом типа документа( ДТД)( на пример, формална дефиниција посебне верзије HTML-а).
Document Type Declaration- A Document Type Declaration, or DOCTYPE, is an instruction that associates a particular SGML or XML document(for example, a webpage) with a Document Type Definition(DTD)(for example, the formal definition of a particular version of HTML).

На пример, формална дефиниција природног броја у теорији скупова је: 1 је природан број, и сваки природан број има свог наследника, који је такође природан број.
For example, the formal definition of the natural numbers by the Peano axioms can be described as: 0 is a natural number, and each natural number has a successor, which is also a natural number.

Иако не постоји формална дефиниција ЗКП-а, ове организације су у суштини клинике за планирање породице које нуде савјетовање и друге пренаталне услуге из положаја против абортуса.
While there is no formal definition of a CPC, these organizations are essentially family planning clinics that offer counseling and other prenatal services from an anti-abortion position.

Мада формална дефиниција тога шта сачињава Велики зид још увек није била усаглашена, што ствара потешкоће при описивању целокупног правца Великог зида, могуће је приказати курс главног дела Великог зида након Минг изградње.
Although a formal definition of what constitutes a"Great Wall" has not been agreed upon, making the full course of the Great Wall difficult to describe in its entirety, the course of the main Great Wall line following Ming constructions can be charted.

Иако је формална дефиниција елиптичке криве прилично техничка по природи и захтева познавање алгебарске геометрије, могуће је описати нека својства елиптичких кривих над реалним бројевима коришћењем само средњошколске алгебре и геометрије.
Although the formal definition of an elliptic curve is fairly technical and requires some background in algebraic geometry, it is possible to describe some features of elliptic curves over the real numbers using only high school algebra and geometry.

Године Коши је дао формалну дефиницију ресидума функције.
In 1826[9] Cauchy gave a formal definition of a residue of a function.

Друге формалне дефиниције рачунањаEdit.
Other formal definitions of computation.

Друге формалне дефиниције рачунања[ уреди].
Edit Other formal definitions of computation.

Формалне дефиниције за П и НП.
Formal definitions for P and NP.

Ова правила могу да се конвертују у више формалне дефиниције примитивне рекурзије.
These rules can be converted into a more formal definition by primitive recursion.

У уобичајеном Еуклиском простору, можемо поново написати формалну дефиницију.
In the usual Euclidean space, we can rewrite the formal definition in usual terms.

Pošto je opšta hemijska formula monosaharida( C· H2O) n, gde je n tri ili više, dioza ne zadovoljava formalnu definiciju monosaharida.
Because the general chemical formula of an unmodified monosaccharide is(C·H2O)n, where n is three or greater, it does not meet the formal definition of a monosaccharide.

Предложене су многе, мање формалне дефиниције, често укључујући концепте из диференцијалне геометрије кривих, као што су закривљење и торзија.
Many other less formal definitions have been proposed, often applying concepts from the differential geometry of curves, such as curvature and torsion.

Тополошки простори су математичке структуре које омогућавају формалну дефиницију појмова као што су конвергенција, повезаност и непрекидност.
Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity.

Водонична веза се повезује са осталим структурним својствима, што је довело до мање формалне дефиниције секундарне структуре[ 1].
The hydrogen bonding is correlated with other structural features, however, which has given rise to less formal definitions of secondary structure.

То је лукав да понуди формалну дефиницију ове димензије, али корисна радна дефиниција је да потпуно дигитални експерименти су експерименти који користи дигиталне инфраструктуре за упошљавање учесника, рандомизе, пружање третмана, и мерење резултата.
It is tricky to offer a formal definition of this dimension, but a useful working definition is that fully digital experiments are experiments that make use of digital infrastructure to recruit participants, randomize, deliver treatments, and measure outcomes.

UniCredit grupa osuđuje sve vrste neetičkih HR aktivnosti( kako je opisano u pasusu iznad), koje krše principe objektivnosti, kompetencije, profesionalizma i jednakih prilika, bez obzira da li oni potpadaju pod formalnu definiciju korupcije.
UniCredit Group condemns all kinds of unethical HR activities(as described above) which violate the principles of objectivity, competence, professionalism, and equal opportunities, irrespective if they fall under the formal definition of bribery and corruption.

Заиста, доказ да је логички систем или теорија неодлучива ће користити формалну дефиницију израчунљивости да покаже да одговарајући скуп није одлучив скуп, а затим се позвати на Черчову тезу да покаже да теорија или логички систем није одлучив било којим ефективним методом( Enderton 2001, pp. 206ff.).
Indeed, the proof that a logical system or theory is undecidable will use the formal definition of computability to show that an appropriate set is not a decidable set, and then invoke Church's thesis to show that the theory or logical system is not decidable by any effective method(Enderton 2001, pp. 206ff.).

Формалнија дефиниција је дата ниже.
The formal definition is provided below.

Setite se formalne definicije od ranije.
Remember the previous definition.