Sta znaci na Srpskom FIRST-ORDER - prevod na Српском

• првог реда
• први ред

Примери коришћења First-order на Енглеском и њихови преводи на Српски

Satisfiability in first-order logic.
Логика првог реда.

First-order theory of arithmetic.
Први ред теорије аритметике.

Computing with first-order logic.
Резолуција у логици првог реда.

The first-order differential equation.
Диференцијалне једначине првог реда.

Converting from first-order logic.
Трансформисање из логике првог реда.

The first-order theory of Euclidean geometry, established by Tarski in 1949.
Теорија првог реда Еуклидске геометрије, успоставио Тарски, 1949.

Non-reducibility to first-order logic.
Трансформисање из логике првог реда.

Heterogeneous first-order nonlinear ordinary differential equation.
Нехомогена нелинеарна обична диференцијална једначина првог реда.

A noticeable bag is a first-order thing.
Уочљива торба је ствар првог реда.

In the case of a first-order approximation, at least one number given is exact.
У случају апроксимације првог реда, барем један дат број је тачан.

The validity problem for first-order logic.
Проблем задовољивости за логику првог реда.

The first-order theory of Boolean algebras, established by Alfred Tarski in 1949.
Теорија првог реда Булових алгебри, успоставио Алфред Тарски, 1949.

Stability of nonlinear first-order recurrences.
Стабилност нелинеарних рекурзија првог реда[ уреди].

The first-order theory of real-closed ordered fields, established by Tarski in 1949.
Теорија првог реда реалних-затворених уређених поља, успоставио Тарски, 1949.

It provides a concise language base on first-order relational logic.
Она пружа сажет језик на основу првог реда релационе логике.

The first-order theory of algebraically closed fields of a given characteristic, established by Tarski in 1949.
Теорија првог реда алгебарски затворених поља дате карактеристике, успоставио Тарски, 1949.

Church proved that Peano arithmetic and first-order logic are undecidable.
Доказ да су Пеанова аритметика и логика првог реда неодлучиве.

A first-order RL circuit is composed of one resistor and one inductor and is the simplest type of RL circuit.
Први ред РЦ кола састоји се од једног отпорника и једног кондензатора и оно је најједноставнији тип РЦ кола.

Don't believe the thirty-third-order consequences of a first-order model.
Ne veruj posledici trideset trećeg reda iz modela prvog reda.

Similarly, the class I is first-order logic with the commutative, transitive closure.
Слично класа L је логика првог реда са комутативним, транзитивним завршецима.

It has recently been extended for automated theorem proving for fragments of first-order logic.
Скоро је проширен за аутоматизовану теорему о доказивању за фрагменте логике првог реда.

This situation cannot be avoided with any first-order formalization of set theory.
Ова ситуација не може да се избегне са било којим првим редом формализације теорије скупова.

The compactness theorem implies that the existence of nonstandard elements cannot be excluded in first-order logic.
Компактност теорема подразумева да постојање нестандардних елемената не може искључено у првом реду логике.

For example, the set of logical validities V of first-order logic is semi-decidable, but not decidable.
На пример, скуп логичких ваљаности V логике првог реда је полуодлучив, али не и одлучив.

The arithmetical hierarchy assigns classifications to the formulas in the language of first-order arithmetic.
Рачунска хијерархија додељује класификације формулама у језику првог реда аритметике.

The first-order theory of the rational numbers with addition, multiplication, and equality, established by Julia Robinson in 1949.
Теорија првог реда рационалних бројева са сабирањем, множењем и једнакошћу, успоставила Џулија Робинсон, 1949.

Similarly, the set of logical consequences of any recursively enumerable set of first-order axioms is semidecidable.
Слично, скуп логичких последица сваког рекурзивно пребројивог скупа аксиома првог реда је полуодлучив.

The illusion of first-order perception is possible only by establishing absolute trust starting from the agreed-upon level of abstraction.
Привид перцепције првог реда је могућ једино успостављањем апсолутног поверења почевши од договореног нивоа апстракције.

For each formula φ(x, y1,…,yk) in the language of Peano arithmetic, the first-order induction axiom for φ is the sentence.
За сваку формулу φ( x, y1,…, yk) у језику Пеано аритметике, први ред аксиоме индукције за φ је реченица.

A first-order saddle point is a critical point of index one, that is, a position on the PES corresponding to a minimum in all directions except one.
Tačka sedla prvog reda je kritična tačka indeksa jedan, drugim rečima, pozicija na PES koja korespondira minimumu u svim pravcima izuzev jednog.