-
1 зависимая форма
Information technology: related form -
2 пиридоксин-зависимая анемия
Medicine: familial pyridoxine-responsive anemia (редкая наследственная форма гипохромной анемии, чувствительная к добавкам витамина В6)Универсальный русско-английский словарь > пиридоксин-зависимая анемия
-
3 avhengighetsform
зависимая форма-en, -er, -ene -
4 формы глагола faic
Отглагольное имя: faicinn (nf.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: chì Зависимая форма: faic (после am) Зависимая форма: fhaic (после chan) Зависимая форма: f(h)aic (после nach) Будущее относительное время: chì Претерит (прошедшее время) изъявительного наклонения Независимая форма: chunna(ic) Зависимая форма: faca (после am) Зависимая форма: fhaca (после chan) Зависимая форма: f(h)aca (после nach) Условное наклонение Независимая форма: chithinn / chitheamaid / chitheadh Зависимая форма: faicinn / faiceamaid / faiceadh (после am) Зависимая форма: fhaicinn / fhaiceamaid / fhaiceadh (после chan) Зависимая форма: f(h)aicinn / f(h)aiceamaid / f(h)aiceadh (после nach) Повелительное наклонение 1 л. ед. ч. faiceam, na faiceam 2 л. ед. ч. faic, na faic 3 л. ед. ч. faiceadh e / i, na faiceadh e / i 1 л. мн. ч. faiceamaid, na faiceamaid 2 л. мн. ч. faicibh, na faicibh 3 л. мн. ч. faiceadh iad, na faiceadh iad -
5 формы глагола cluinn
Отглагольное имя: cluinntinn Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: cluinnidh Зависимая форма: cluinn (после an, nach) Зависимая форма: chluinn (после cha) Будущее относительное время: chluinneas Претерит (прошедшее время) изъявительного наклонения Зависимая форма: cluinn (после an, nach) Зависимая форма: chluinn (после cha) Условное наклонение Независимая форма: chluinninn / chluinneamaid / chluinneadh Зависимая форма: cluinninn / cluinneamaid / cluinneadh (после an, nach) Зависимая форма: chluinninn / chluinneamaid / chluinneadh (после cha) Повелительное наклонение 1 л. ед. ч. cluinneam, na cluinneam 2 л. ед. ч. cluinn, na cluinn 3 л. ед. ч. cluinneadh e / i, na cluinneadh e / i 1 л. мн. ч. cluinneamaid, na cluinneamaid 2 л. мн. ч. cluinnibh, na cluinnibh 3 л. мн. ч. cluinneadh iad, na cluinneadh iad -
6 формы глагола is
Отглагольное имя: Настоящее время изъявительного наклонения Независимая форма: is, 's Зависимая форма: chan (в отрицательных предложениях) Зависимая форма: an (в вопросах; am перед словами, начинающимися с b, f, m, p) Зависимая форма: nach (в вопросительно-отрицательных предложениях) Претерит (прошедшее время) изъявительного наклонения Независимая форма: bu (b' перед словами, начинающимися с гласного или с fh) Зависимая форма: cha bu (в отрицательных предложениях; cha b' перед словами, начинающимися с гласного) Зависимая форма: am bu (в вопросах; am b' перед словами, начинающимися с гласного) Зависимая форма: nach bu (в вопросительно-отрицательных предложениях; nach b' перед словами, начинающимися с гласного) -
7 формы глагола can
Отглагольное имя: cantainn (nm.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: canaidh Зависимая форма: can (после an, nach) Зависимая форма: chan (после cha) Будущее относительное время: chanas Претерит (прошедшее время) изъявительного наклонения Независимая форма: rug Зависимая форма: do rug, d'rug Условное наклонение Независимая форма: chanainn / chanamaid / chanadh Зависимая форма: chanainn / chanamaid / chanadh (после cha) Зависимая форма: canainn / canamaid / canadh (после an, nach) Повелительное наклонение 1 л. ед. ч. canam, na canam 2 л. ед. ч. can, na can 3 л. ед. ч. canadh e / i, na canadh e / i 1 л. мн. ч. canamaid, na canamaid 2 л. мн. ч. canaibh, na canaibh 3 л. мн. ч. canadh iad, na canadh iad -
8 формы глагола faigh
Отглагольное имя: faighinn (nf.), faotainn (nf.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: gheibh Зависимая форма: faigh (после am); fhaigh (после chan), f(h)aigh (после nach) Будущее относительное время: gheibh Претерит (прошедшее время) изъявительного наклонения Независимая форма: fhuair Зависимая форма: d'fhuair Условное наклонение Независимая форма: gheibhinn / gheibheamaid / gheibheadh Зависимая форма: faighinn / faigheamaid / faigheadh (после am) Зависимая форма: fhaighinn / fhaigheamaid / fhaigheadh (после chan) Зависимая форма: f(h)aighinn / f(h)aigheamaid / f(h)aigheadh (после nach) Повелительное наклонение 1 л. ед. ч. faigheam, na faigheam 2 л. ед. ч. faigh, na faigh 3 л. ед. ч. faigheadh e / i, na faigheadh e / i 1 л. мн. ч. faigheamaid, na faigheamaid 2 л. мн. ч. faighibh, na faighibh 3 л. мн. ч. faigheadh iad, na faigheadh iad -
9 формы глагола beir
Отглагольное имя: breith (nf.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: beiridh Зависимая форма: beir Будущее относительное время: bheireas Претерит (прошедшее время) изъявительного наклонения Независимая форма: rug Зависимая форма: do rug, d'rug Условное наклонение Независимая форма: bheirinn / bheireamaid / bheireadh Зависимая форма: beirinn / beireamaid / beireadh (после am, nach) Зависимая форма: bheirinn / bheireamaid / bheireadh (после cha) Повелительное наклонение 1 л. ед. ч. beiream, na beiream 2 л. ед. ч. beir, na beir 3 л. ед. ч. beireadh e / i, na beireadh e / i 1 л. мн. ч. beireamaid, na beireamaid 2 л. мн. ч. beiribh, na beiribh 3 л. мн. ч. beireadh iad, na beireadh iad -
10 формы глагола abair
Отглагольное имя: ràdh (nm.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: their Зависимая форма: abair Будущее относительное время: their Претерит (прошедшее время) изъявительного наклонения Независимая форма: thuirt Зависимая форма: tuirt, tubhairt, dubhairt, duirt Условное наклонение Независимая форма: theirinn / theireamaid / theireadh Зависимая форма: abrainn / abramaid / abradh Повелительное наклонение 1 л. ед. ч. abram, na h-abram 2 л. ед. ч. abair, na h-abair 3 л. ед. ч. abradh e / i, na h-abradh e / i 1 л. мн. ч. abramaid, na h-abramaid 2 л. мн. ч. abaraibh, na h-abaraibh 3 л. мн. ч. abradh iad, na h-abradh iad -
11 формы глагола dèan
Отглагольное имя: dèanamh (nm.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: nì Зависимая форма: dèan Будущее относительное время: nì Претерит (прошедшее время) изъявительного наклонения Независимая форма: rinn Зависимая форма: do rinn, d'rinn Условное наклонение Независимая форма: dhèanainn / dhèanamaid / dhèanadh Зависимая форма: dèanainn / dèanamaid / dèanadh Повелительное наклонение 1 л. ед. ч. dèanam, na dèanam 2 л. ед. ч. dèan, na dèan 3 л. ед. ч. dèanadh e / i, na dèanadh e / i 1 л. мн. ч. dèanamaid, na dèanamaid 2 л. мн. ч. dèanaibh, na dèanaibh 3 л. мн. ч. dèanadh iad, na dèanadh iad -
12 формы глагола rach
Отглагольное имя: dol (nm.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: thèid Зависимая форма: tèid Будущее относительное время: thèid Претерит (прошедшее время) изъявительного наклонения Независимая форма: chaidh Зависимая форма: deach(aidh) Условное наклонение Независимая форма: rachainn / rachamaid / rachadh Вариант: dheighinn / dheigheamaid / dheigheadh Зависимая форма: rachainn / rachamaid / rachadh Вариант: deighinn / deigheamaid / deigheadh Повелительное наклонение 1 л. ед. ч. racham, na racham 2 л. ед. ч. rach, na rach 3 л. ед. ч. rachadh e / i, na rachadh e / i 1 л. мн. ч. rachamaid, na rachamaid 2 л. мн. ч. rachaibh, na rachaibh 3 л. мн. ч. rachadh iad, na rachadh iad -
13 формы глагола ruig
Отглагольное имя: ruigsinn (nm.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: ruigidh Зависимая форма: ruig Будущее относительное время: ruigeas Претерит (прошедшее время) изъявительного наклонения Независимая форма: ràinig Зависимая форма: do ràinig, d'ràinig Условное наклонение Независимая форма: ruiginn / ruigeamaid / ruigeadh Зависимая форма: ruiginn / ruigeamaid / ruigeadh Повелительное наклонение 1 л. ед. ч. ruigeam, na ruigeam 2 л. ед. ч. ruig, na ruig 3 л. ед. ч. ruigeadh e / i, na ruigeadh e / i 1 л. мн. ч. ruigeamaid, na ruigeamaid 2 л. мн. ч. ruigibh, na ruigibh 3 л. мн. ч. ruigeadh iad, na ruigeadh iad -
14 формы глагола thig
Отглагольное имя: tighinn (nm.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: thig Зависимая форма: tig Будущее относительное время: thig Претерит (прошедшее время) изъявительного наклонения Независимая форма: thàinig Зависимая форма: tàinig Условное наклонение Независимая форма: thiginn / thigeamaid / thigeadh Зависимая форма: tiginn / tigeamaid / tigeadh Повелительное наклонение 1 л. ед. ч. thigeam, na tigeam 2 л. ед. ч. thig, na tig 3 л. ед. ч. thigeadh e / i, na tigeadh e / i 1 л. мн. ч. thigeamaid, na tigeamaid 2 л. мн. ч. thigibh, na tigibh 3 л. мн. ч. thigeadh iad, na tigeadh iad -
15 формы глагола thoir
Отглагольное имя: toirt (nf.) Будущее и настоящее консуэтудинальное времена изъявительного наклонения Независимая форма: bheir Зависимая форма: toir Будущее относительное время: bheir Претерит (прошедшее время) изъявительного наклонения Независимая форма: thug Зависимая форма: tug Условное наклонение Независимая форма: bheirinn / bheireamaid / bheireadh Зависимая форма: toirinn / toireamaid / toireadh Повелительное наклонение 1 л. ед. ч. thoiream, na toiream 2 л. ед. ч. thoir, na toir 3 л. ед. ч. thoireadh e / i, na toireadh e / i 1 л. мн. ч. thoireamaid, na toireamaid 2 л. мн. ч. thoiribh, na toiribh 3 л. мн. ч. thoireadh iad, na toireadh iad Вместо toir, thoir и toirt можно встретить формы tabhair, thabhair и tabhairt соответственно -
16 формы глагола bi
Отглагольное имя: bhith Настоящее время изъявительного наклонения утвердительная форма: tha mi вопросительная форма: a bheil mi? отрицательная форма: chan eil mi отрицательно-вопросительная форма: nach eil mi? Будущее и настоящее консуэтудинальное времена изъявительного наклонения утвердительная форма: bithidh, bidh mi вопросительная форма: am bi mi? отрицательная форма: cha bhi mi отрицательно-вопросительная форма: nach bi mi? Будущее относительное время ma bhitheas, ma bhios Претерит (прошедшее время) изъявительного наклонения утвердительная форма: bha mi вопросительная форма: am robh mi? отрицательная форма: cha robh mi отрицательно-вопросительная форма: nach robh mi? Перфект изъявительного наклонения tha mi air a bhith Плюсквамперфект изъявительного наклонения bha mi air a bhith Условное наклонение Независимая форма: bhithinn / bhitheamaid / bhiomaid / bhitheadh / bhiodh Зависимая форма: bhithinn / bhitheamaid / bhiomaid / bhitheadh / bhiodh (после chan) Зависимая форма: bithinn / bitheamaid / biomaid / bitheadh / biodh (после nach и am) Повелительное наклонение 1 л. ед. ч. bitheam, na bitheam 2 л. ед. ч. bi, na bi 3 л. ед. ч. bitheadh e / i, na bitheadh e / i 1 л. мн. ч. bitheamaid / biomaid, na bitheamaid / biomaid 2 л. мн. ч. bithibh, na bithibh 3 л. мн. ч. bitheadh iad, na bitheadh iad - конструкции с глаголом bi -
17 related form
-
18 pattern
ˈpætən
1. сущ.
1) а) образец, модель б) пример (для подражания), образчик to establish, set a pattern ≈ подавать пример Syn: prototype, exemplar
2) а) модель, шаблон Syn: prototype б) выкройка( в кройке и шитье) intricate pattern ≈ сложная, замысловатая выкройка в) метал. форма, модель ( для литья)
3) рисунок, узор( на материи и т. п.)
4) а) система, структура;
принцип, модель ( организации чего-л.) behavior pattern ≈ модель поведения spending pattern ≈ схема( статей) расходов pattern of life б) стиль, характер( о литературном произведении, театральной постановке и т.д.)
5) амер. отрез, купон на платье
6) воен. а) автоматная очередь б) локализация следов на мишени после серии выстрелов;
распределение попадания
2. гл.
1) а) брит., диал. соответствовать;
подгонять под образец Syn: match II
2. б) имитировать, копировать (after, on, upon) Syn: imitate
2) украшать узором I want a wallpaper patterned with roses. ≈ Я хочу, чтобы обои были украшены узором из роз.
3) а) делать по образцу The railway system was patterned after the successful plan used in other countries. ≈ Система железных дорог была построена по схеме, использованной другими успешными компаниями в других станах. б) редк. следовать примеру Mary has always patterned herself on her mother. ≈ Мери всегда следовала примеру своей матери. образец, пример - *s for pottery образцы для гончарного производства - made to * изготовленные по образцу - of a standard * установленного образца - a * of manliness образец мужчины - an army trained after a western * армия, обученная по западному образцу - to set the * служить примером( образцом) - she is a * of all the virtues она образец добродетели - to follow the * of one's parents следовать примеру своих родителей - to take a * by smb. брать пример (с кого-либо) - I'd like to take a * of it я хотел бы скопировать это( специальное) образец, шаблон (специальное) форма, модель - weather * (метеорология) модель, тип погоды схема, диаграмма - the illness is not following its usual * болезнь протекает необычно выкройка - paper *s бумажные выкройки, лекала - to take a * of a dress снять выкройку с платья, скопировать платье образчик - assorted *s подобранные образцы - a bunch of *s (of cloth) пачка образчиков (материи) образ (жизни и т. п.) ;
манера( поведения и т. п.) - a behaviour * модель (характер) поведения (в социологии) - a speech * речевая модель - cultural *s характерные особенности культуры - a * of thoughts образ мыслей - * of trade характер торговли;
структура торговли - Stevenson's * стилистические особенности Стивенсона - a novelistic * композиционно напоминающий роман( специальное) паттерн - * recognition распознавание образов рисунок, узор - plain * простой узор - a * of polka dots рисунок в горох - a * of red and white squares рисунок в красную и белую клетку - the * of the carpet узор ковра - the *s made by the frost on the window-panes морозные узоры на оконном стекле (американизм) отрез, купон на платье (ирландское) день храмового святого (ирландское) храмовый праздник (геология) структура, форма, строение( геология) кристаллическая решетка непринятая модель монеты (авиация) площадь бомбардировки (военное) площадь рассеивания, распределение попаданий (также * of dispersion) делать по образцу, копировать - to * a dress on (upon, after) a Parisian modell скопировать платье с парижской модели - to * oneself on (upon, after) smb. подражать кому-либо, копировать кого-либо - he *ed himself upon a man he admired он во всем подражал человеку, которым восхищался украшать узором следовать примеру, брать за образец arrival ~ вчт. структура входящего потока bit ~ вчт. двоичный код chance ~ случайная модель cyclical ~ схема периодической изменчивости data-dependent ~ вчт. информационно- зависимая схема data-independent ~ вчт. информационно- независимая схема dot ~ вчт. растр employment ~s структура занятости;
типы занятости exhaustive ~ вчт. исчерпывающий набор idle ~ вчт. холостая комбинация keyboard layout ~ вчт. схема расположения клавиш на клавиатуре line ~ вчт. конфигурация линий связи liquidity ~ модель ликвидности loading ~ вчт. схема загрузки match-all ~ вчт. универсальный образец maturity ~ структура сроков платежа message ~ вчт. образец сообщения pattern выкройка;
to take a pattern of скопировать;
снять выкройку (с чего-л.) ~ делать по образцу, копировать (after, on, upon) ~ вчт. конфигурация ~ метал. модель (для литья) ~ модель, шаблон ~ модель ~ образ, пример ~ образец, пример ~ образец ~ образчик ~ амер. отрез, купон на платье ~ пример ~ рисунок, узор (на материи и т. п.) ~ система, структура;
pattern of life образ жизни;
pattern of trade структура или характер торговли, система торговых связей ~ система ~ редк. следовать примеру (by) ~ стереотип ~ стиль, характер ( литературного произведения и т. п.) ~ структура ~ схема ~ тенденция ~ украшать узором ~ форма ~ характер ~ шаблон ~ attr. образцовый, примерный ~ of calculation вчт. схема вычисления ~ of consumption структура потребления ~ of growth вчт. модель роста ~ система, структура;
pattern of life образ жизни;
pattern of trade структура или характер торговли, система торговых связей ~ of placements структура размещения капитала ~ of queue вчт. структура системы массового обслуживания ~ система, структура;
pattern of life образ жизни;
pattern of trade структура или характер торговли, система торговых связей ~ of variability модель изменчивости payments ~ структура платежей placement ~ структура размещения капитала preference ~ вчт. система предпочтений profit ~ структура прибыли scanning ~ вчт. растр search ~ вчт. схема поиска service ~ вчт. модель обслуживания service ~ вчт. распределение времени обслуживания social ~ модель общества space ~ пространственная диаграмма space ~ трехмерное изображение pattern выкройка;
to take a pattern of скопировать;
снять выкройку (с чего-л.) temporal ~ временная картина temporal ~ временная структура test ~ вчт. тестовый шаблон trading ~ структура торговли -
19 РНК
Одна из нуклеиновых кислот; биополимер, состоящий из нуклеотидов, содержащих рибозу; РНК находится преимущественно в рибосомах, в меньшем количестве присутствует в ядре и митохондриях; играет важную роль в биосинтезе белка в клетке.
Присоединение аминокислоты к 3'-концевому аденозину молекулы тРНК с образованием аминоацил-тРНК; катализируется ферментом аминоацил-тРНК-синтетазой.
гетерогенная ядерная РНК — heterogeneous nuclear RNA, hnRNA
РНК с большой молекулярной массой, продукт первичной транскрипции эукариотных структурных генов. Содержит последовательности экзонов и интронов, превращается в иРНК при элиминации интронов.
Осуществляется путём щелочного гидролиза.
Фермент, катализирующий синтез РНК.
информационная РНК — messenger RNA, mRNA
Форма РНК, осуществляющая передачу записанной в ДНК информации к местам синтеза белка, состоит из одной цепи и содержит от одной до десяти тысяч пар оснований.
матричная РНК — messenger RNA, mRNA
РНК-полимераза — RNA polymerase (см. также полимераза)
Образование рРНК при расщеплении спейсерных (см. также спейсер) последовательностей.
Образование функционально активных молекул из более длинного предшественника, который подвергается расщеплению и модификации с включением минорных оснований.
РНК, растворимая при низких значениях рН; к растворимым РНК относятся матричная и транспортная РНК.
Копирование генетической информации, содержащейся в РНК вирусного генома; катализируется РНК-репликазами. Образующиеся молекулы РНК служат далее матрицами для синтеза РНК молекул потомков.
рибосомная РНК — ribosomal RNA, rRNA
РНК, нековалентно связанная с рибосомными белками в обеих рибосомных субъединицах и составляющая около 80% общей клеточной РНК.
Синтез молекул РНК, включает стадии инициации, элонгации и терминации.
Образование молекул рРНК, обусловленное посттранскрипционным процессингом предшественников (см. также процессинг).
Удаление последовательностей РНК, соответствующих интронам ДНК, и соединение участков, которые транскрибированы с кодирующих последовательностей ( экзонов).
РНК-транскриптаза — RNA transcriptase (см. также транскриптазы)
транспортная РНК — transfer RNA, tRNA
Низкомолекулярная молекула РНК ( содержит 75-90 нуклеотидов), связывающая аминокислоту и переносящая её к рибосомам для включения в полипептидную цепочку при трансляции.
Стадия транскрипции, которая наступает после присоединения около восьми рибонуклеотидов.
-
20 apostatic selection
Форма естественного отбора редких вариантов, зависимая от частоты их встречаемости: например, при мимикрии mimicry - чем реже встречается мимикрирующая форма, тем выше ее селективное преимущество.* * *Апостатический отбор — частотно-зависимый отбор в пользу редких морф вследствие их большей селективной ценности. Так, при мимикрии селективная ценность мимикрирующей формы тем выше, чем реже она встречается.Англо-русский толковый словарь генетических терминов > apostatic selection
- 1
- 2
См. также в других словарях:
ЗАВИСИМАЯ ИНДУСТРИАЛИЗАЦИЯ — (dependent industrialization) специфическая модель индустриализации в третьем мире . Термин подразумевает, что классическая зависимость стран третьего мира (см. Теория зависимости), предполагающая экспорт сельскохозяйственных и минеральных… … Большой толковый социологический словарь
Нормальная форма Бойса — Кодда — (англ. Boyce Codd normal form; сокращённо BCNF) одна из возможных нормальных форм отношения в реляционной модели данных. Иногда нормальную форму Бойса Кодда называют усиленной третьей нормальной формой, поскольку она во всех отношениях… … Википедия
Нормальная форма Бойса — Кодда (англ. Boyce Codd normal form; сокращённо BCNF) одна из возможных нормальных форм отношения в реляционной модели данных. Иногда нормальную форму Бойса Кодда называют усиленной третьей нормальной формой, поскольку она во всех… … Википедия
Бронхиа́льная а́стма — (asthma bronchiale; греч. asthma тяжелое дыхание, удушье) заболевание, основным признаком которого являются приступы или периодические состояния экспираторного удушья, обусловленные патологической гиперреактивностью бронхов. Эта гиперреактивность … Медицинская энциклопедия
порядок слов — В синтаксической стилистике: линейная последовательность компонентов предложения, выражающая актуальное членение предложения. Нормы п. с. подчинены, прямо или косвенно, этой главной его функции. П. с. в русском языке выполняет также и… … Учебный словарь стилистических терминов
согласование — вид подчинительной синтаксической связи, при которой зависимая форма выражает свою зависимость дублированием (согласованием) форм главного слова. В такую связь вступают прилагательные и причастия: плохие новости, летящая стая. Между подлежащим и… … Литературная энциклопедия
примыкание — вид подчинительной синтаксической связи, при которой зависимая форма никак не выражает свою зависимость; в такую связь с глаголом вступают наречия и инфинитив: мимоходом зашёл посмотреть. Реже примыкание связывает эти формы с существительным и… … Литературная энциклопедия
управление — вид подчинительной синтаксической связи, при которой зависимая форма выражает свою зависимость выбором одной из падежных форм: готовиться к уроку, друг отца, ягоды для варенья, согласен на всё. Литература и язык. Современная иллюстрированная… … Литературная энциклопедия
сепаратизация — (термин, предложенный И.И. Мещаниновым). Синтаксический прием построения предложения. Сепаратизация состоит в том, что неизменяемое слово или зависимая форма слова (а также словосочетание), оставаясь в пределах предложения, относится к нему в… … Словарь лингвистических терминов Т.В. Жеребило
БЕРЕМЕННОСТЬ — – физиологический процесс, во время которого в организме женщины из оплодотворенной яйцеклетки развивается плод, способный к внеутробной жизни. Чаще наблюдается беременность одним плодом, возможно одновременное развитие двух и более плодов (см.… … Энциклопедический словарь по психологии и педагогике
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия