Какво е " TESTABLE STATE " на Български - превод на Български

• проверимо състояние
• проверимото състояние

Примери за използване на Testable state на Английски и техните преводи на Български

Let's take a testable state.
Нека вземем едно проверимо състояние.

The testable state is something real.
Проверимото състояние е нещо реално.

This is useful information obtained from the value of a testable state at a past moment.
Това е полезна информация, получена от стойността на едно проверимо състояние в един минал момент.

A testable state is the result of an experiment.
Проверимото състояние е резултата от някакъв експеримент.

Definition: An immediately testable state is one of the following.
Дефиниция: Непосредствено проверимо състояние е едно от тези две неща.

So a testable state must fully involve the future.
Затова проверимото състояние трябва изцяло да е свързано с бъдещето.

Below we will give additional requirements to the condition and the conclusion of a testable state.
По-долу ще дадем допълнителни изисквания към условието и заключението на проверимото състояние.

We want for each testable state to assign a signal.
Искаме да съпоставим на всяко проверимо състояние по един сигнал.

Definition: A prerequisite for an axiom will be the difference between the axiom and the small testable state it describes.
Дефиниция: Предпоставка на една аксиома ще наричаме разликата между аксиомата и малкото проверимо състояние, което тя описва.

Definition: A testable state will consist of two statements.
Дефиниция: Проверимото състояние ще се състои от две твърдения.

We will say that the theory is complete if, whenever the signal of the testable state is‘Yes' the theory says‘Yes'.
Ще казваме, че теорията е пълна, ако винаги когато сигнала на проверимото състояние има стойност„Да“, то за тази момент теорията казва„Да“.

If a testable state is a positive axiom, there is nothing to describe it.
Ако едно проверимо състояние е позитивна аксиома, то няма какво да го описваме.

We get a red circle that describes the histories for which our theory says that the testable state is true at the moment t.
Получаваме един червен кръг, които ни описва историите, за които нашата теория казва, че при тях проверимото състояние е истина в момента t.

That is, the new testable state will be a more common case of the old taken for step t+1.
Тоест, новото проверимо състояние ще е по-общ случай на старото взето за стъпка t+1.

That is, if between two checks, none of these events has occurred, we can assume that the value of the testable state has not changed.
Тоест, ако между две проверки никое от тези събития не се е случило можем да приемем, че стойността на проверимото състояние не се е променила.

The testable state is something quite real, as the input we get at every step is real.
Проверимото състояние е нещо съвсем реално, както реален е входа, който получаваме на всяка стъпка.

It is better not to take the probability of the conclusion but the probability of the small testable state(the one this axiom will describe).
По-добре е да не се взима вероятността на заключението, а вероятността на малкото проверимо състояние(това което тази аксиома ще опише).

That is, the incorrect move is testable state, whose condition is a cumulative move(at the moment t+1).
Тоест, некоректният ход е проверимо състояние, чието условие е обобщен ход(за момента t+1).

This is testable state that, if it can be tested, the test will be carried out at the next step.
Това е проверимо състояние, което, ако може да се провери, то проверката ще се извърши на следващата стъпка.

If we shift further to the right(e.g. by one more step), we will get another testable state, but it will be a prediction of more distant future.
Ако изместим още по-вдясно(например с една стъпка), ще получи друго проверимо състояние, но то ще е прогноза за още по-далечното бъдеще.

In the definition of a testable state we can assume that the precondition and the postcondition are not conjunctions but cumulative conjunctions.
В дефиницията на проверимо състояние можем да предполагаме, че предусловието и постусловието не са конюнкции, а са обобщени конюнкция.

Every theory gives us some predictions about the value of the testable state, and this prediction has some degree of confidence.
Всяка теория за определен момент ни дава някакво предсказание на стойността на проверимото състояние и това предсказание е с някакъв коефициент на достоверност.

So this new testable state will be a truth if the old testable state is a truth at step t+1 whatever happened at step t+1.
Така полученото ново проверимо състояние ще е истина, ако старото проверимо състояние е истина на стъпка t+1 каквото и да се случило на стъпка t+1.

From each positive axiom we will make a theory that describes the small testable state and says it is true always under certain circumstances.
От всяка позитивна аксиома ще направим теория, която описва малкото проверимо състояние и казва, че то е истина винаги при определени обстоятелства.

A testable state, whose condition is a conjunction, in which all literals are for the moment t+1, and the conclusion would be a literal from the input, also for the moment t+1.
Проверимо състояние, чието условие е конюнкция, в която всички литерали са за момента t+1, а заключението ще е един литерал от входа, също за момента t+1.

From the statistics we will find axioms that are a special case of this testable state, and we will use these axioms to describe this testable state.
От статистиката ще намерим аксиоми, които да са частен случай на това проверимо състояние и ще използваме тези аксиоми, за да опишем това проверимо състояние.

If the condition of the testable state is a common conjuncture, then we know how many steps this experiment takes, but if it is a cumulative conjunction, we do not know even that.
Ако условието на проверимото състояние е обикновена конюнкция, то ние знаем за колко стъпки се провежда този експеримент, но, ако е обобщена конюнкция, дори и това не знаем.

If these are cumulative conjunctions, then all possible developments can be infinite, but a testable state still will be a well-defined function, although this function may not be computable.
Ако те са обобщени конюнкции, то тогава всевъзможните развития може да са безкрайно много, но пак проверимо състояние ще е една добре дефинирана функция, макар че тази функция в този случай може да не е изчислима.

More precisely- the value of the testable state according to the relevant theory, because we will not know the exact value of these states, and will approximate them with some theories.
По-точно стойността на проверимото състояние според съответната теория, защото ние няма да знаем точната стойност на тези състояния, а ще ги апроксимираме с някакви теории.

That is, we quite naturally get that the testable state that looks ahead to the future, is a more general case of the one that looks closer.
Тоест, съвсем естествено получаваме, че проверимото състояние, което гледа по-напред в бъдещето, е по-общ случай от това, което гледа по-наблизо.