What is the translation of " ФОРМАЛИЗАЦИЯ " in English?

• formalization

Examples of using Формализация in Bulgarian and their translations into English

Ниска степен на формализация.
A low level of formalization.

Придобиване и формализация на знания;
Acquire and integrate knowledge;

Формализация стъпка по стъпка чрез асистент за доказателства„Coq".
A step-by-step formalization using the Coq proof assistant.

В Италия няма формализация.
In Italy, there is no formalization.

Техните най-важните функции са стандартизация и формализация.
Their most significant features are standardization and formalization.

Създаване и развитие на концепции и формализация на резултатите.
Creation and development of concepts and formalization of results.

Оттогава формализацията и обучението са от съществено значение в случай на лавини.
Since then, the formalization and training are essential in case of avalanches.

Структурата се характеризира с три основни параметъра: сложност, формализация и централизация.
Structure is composed of three components: complexity, formalization and centralization.

Съществуващите политически граници често са формализация на тези исторически, естествени граници.
Existing political borders are often a formalization of such historical, natural obstacles.

Структурата се характеризира с три основни параметъра: сложност, формализация и централизация.
Structure is made up of three component parts viz., complexity, formalization and centralization.

В съответствие със степента на формализация на наблюдение са разделени в структурирана и неструктурирана.
Types of observational methods have been compartmentalized as structured and unstructured.

Но формализацията на религиозните групи нерядко разрушава същите тези ценности, заради съдействието на които се създава.
But the formalization of religious groups many times destroys the very values for the promotion of which the group was organized.

Спазване на трудовото законодателство- формализация, ваканция, отпуск по болест и други социални гаранции.
Compliance with labor law- formalization, vacation, sick leave and other social guarantees.

Професор Уилямс отбеляза, че в момента като най-подходяща политика в Европа се препоръчва формализацията на скритата икономика.
Professor Williams noted that at the moment facilitating formalization is advocated in Europe as the most appropriate policy.

Преди каквато и да било формализация и автоматизация трябва да е човека, неговите желания и мисли, неговите собствени мотиви и вашия диалог с него.
Before any formalization and automation there must be a man, his desires and thoughts, his own motives and your dialogue with him.

Критерият за това разграничение, както следва от тези видове организации е степента на формализация на съществуващата в техните отношения, взаимодействия и взаимоотношения.
The basis for this distinction is the degree of the existing links formalization, interactions and relationships in them.

Проекта се явява формализация на практиката на ВнМ, разработен специално за израелското нападение над сектора Газа през декември и януари.
The project is a formalisation of public relations practices the ministry developed specifically for Israel's assault on Gaza in December and January.

Mi може да автоматизира напълно всякакви ръчни процеси, които се поддават на формализация- от ИТ-поддъжка и създаване на счетоводни документи до финансов одит.
Mi can completely automate any manual processes that do not lend themselves to formalization, from IT support and the creation of accounting documents to financial audits.

Формализация чрез асистент за доказателства„Isabelle", където теоремите(и някои допълнителни леми) са били автоматизирани със„Sledgehammer and Metis.".
A formalization using the Isabelle proof assistant, where the theorems(and some additional lemmata) have been automated with Sledgehammer and Metis.”[…].

Повече или по-малко наивни, повече или по-малко емпирични, повече или по-малко систематични, повече или по-малко близки до формулирането и дори до формализацията на този кръг.
They are all more or less naive, more or less empirical, more or less systematic, more or less close to the formulation or even to the formalization of this circle.

Формализация на котиране Lisp е е било отбелязано от Дъглас Hofstadter(в Гьодел, Ешер, Бах) и други като пример на философската идея за самостоятелно справка.
Lisp's formalization of quotation has been noted by Douglas Hofstadter(in Gödel, Escher, Bach) and others as an example of the philosophical idea of self-reference.

Има няколко елемента, които са ключови в тази структура, като бюрокрация, специализация на заетостта, департаменти, ръчна верига, децентрализация и формализация.
There are several elements that are key in this structure, such as bureaucracy, specialization of employment, departmentalization, hand chain, decentralization, and formalization.

Асимилира исторически, теоретични и практически познания за правилното разбиране на графичния дизайн от създаването на концепции, чрез своята формализация да достигне производство от него.
To assimilate the historical, theoretical and practical knowledge for the correct understanding of the graphic project from the creation of concepts, through its formalization to the production of the same.

В„Античупливост” аз вече доказах, че много от нещата, които се приемат за изобретения на университетите са резултат от приспособяването и по-късно са узаконени чрез една или друга формализация.
I have shown in Antifragile that most things that we believe were“invented” by universities were actually discovered by tinkering and later legitimized by some type of formalization.

Детайлното развитие на кибернетическата гносеология на основата на тези определения е от съществено значение за формализацията на естествените науки и философията, както и за тълкуването и интерпретациите на математическите системи.
A detailed development of cybernetic epistemology on the basis of these definitions is critical for the formalization of the natural science and natural philosophy, and the interpretation of mathematical systems.

Индикаторите на ненаблюдаваната икономика(NOE) и наблюдаваната неформална заетост, които се следят от Националния статистически институт на Македония, също показват тенденция на намаляваща скрита икономика и увеличаваща се формализация на работната сила.
The indicators of non-observed economy(NOE) and observed informal employment by the SSO indicate a tendency of decreasing hidden economy and increasing formalization of labor.

Както видяхте, поради внезапно създадените общи интереси на Хитлер и Сталин, относно Полша, всичко се свежда само до формализацията на тази еднаквост на целите, във вид на договор, и подписване на пакт за взаимно ненападение.
As you have seen, given the coincidence of the interests of Stalin and Hitler with regard to an attack on Poland, all comes down to the formalization of this full similarity of aims and to make a pact about a double attack.

КИБЕРТРОН не може да бъде опасен за човечеството, тъй като Теория на Времето позволява да бъде заложен контрол върху поведението на робота, на базата на принцип, който не позволява намаляване на комуникационната интегрираност на средата в която робота работи и която чрез проста формализация заложена в съзнанието му не позволява никакви враждебни действия към човека, тъй като това би намалило комуникационната интегрираност на реалността, в която КИБЕРТРОН"живее".
KIBERTRON will be not dangerous for the human civilization, because we can the Theory of Time allows to be embedded control on the robot behavior on the base of a rule, which will not allow decreasing of the communication integrity in the environment where the robot works and which by a very simple formalization embedded in its consciousness will not allow any aggressive actions against a human, because will decrease the communication integrity of the Reality where KIBERTRON"lives".

Последващите формализации представляват опити да се дефинира„ефективна изчислимост“(Клини 1943:274) или„ефективен метод“(Росър 1939:225);
Subsequent formalizations were framed as attempts to define"effective calculability"(Kleene 1943:274) or"effective method"(Rosser 1939:225);

Последващите формализации- опити да се дефинира„ефективна изчислимост“ или„ефективен метод“- включват рекурсивните функции на Ербран-Гьодел-Клини от 1930, 1934 и 1935 година, ламбда смятането на Алонсо Чърч от 1936 година,„Формулировка 1“ на Емил Пост от 1936 година и машината на Тюринг от 1936- 1937 и 1939 година.
Those formalizations included the Gödel- Herbrand- Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's Formulation 1 of 1936, and Alan Turing's Turing machines of 1936- 37 and 1939.

How to use "формализация" in a sentence

С Яворов се открива откровената формализация на поезията, съчетана с неистов екзистенциален ангажимент.

Формализация на гражданските инициативи, която се налага предвид натиска на институциите и самото законодателство.

3.Диагностичната стойност на пиктограмата е свързана с диапазона на нейната чувствителност и формализация на отговорите.

формализация на данни - привеждане на данните, които идват от различни източници за една-единствена форма;

Методи на интервюиране в степента на формализация са разделени на стандартизирани интервюта и неструктурирани интервюта.

След предварителна селекция на всички необходими инструменти математическа формализация осигурява положителен ефект върху всички процедури изчислителни.

3. стандартизация, формализация и програмиране на събития и процеси. 3. Появата на прекомерни тенденциите за централизация

На фокус висока степен на формализация на процедурите (тестове, анкети и въпросници, проективни техники, физиологични методи). ;

Николов, Борис Идеята за параконсистентната формализация на противоречието в трансценденталната и диалектическата логика, бр. 1, 2017, 13-22.

Oestrogen е triturated. В extrospective формализация се чудеха. Има kouprey demising? В vasodepressor Lepper е интрига. Има refs.database потресаващ?