-
1 связанное вхождение
Большой англо-русский и русско-английский словарь > связанное вхождение
-
2 bound occurrence
Большой англо-русский и русско-английский словарь > bound occurrence
-
3 bound occurrence
English-Russian dictionary of computer science and programming > bound occurrence
-
4 applied occurrence
-
5 bound occurrence
-
6 defining occurrence
-
7 explicit occurrence
-
8 free occurrence
-
9 nonvacuous occurrence
-
10 vacuous occurrence
-
11 bound occurence
Большой англо-русский и русско-английский словарь > bound occurence
-
12 bound occurence
Математика: связанное вхождение -
13 bound occurrence
Вычислительная техника: связанное вхождение -
14 bound occurrence
мат. -
15 bound
1. a c2. a обязанный, вынужденный3. a непременный, обязательный4. a амер. разг. решившийся; намеренный5. a спец. несвободный, связанный6. a переплетённый, в переплёте7. a мед. проф. страдающий запором8. n прыжок, скачок9. n воен. перебежка10. n отскокto catch a ball on the bound — поймать мяч, как только он отскочит
11. n воен. рикошет12. n поэт. сильный удар сердца13. v прыгать, скакать; быстро бежать, нестись14. v воен. отскакивать, рикошетировать15. n книжн. граница, предел16. n обыкн. предел, границы, рамки17. n обыкн. определённый район,18. n зона19. v ограничивать, служить границей20. v амер. называть, указывать границы21. v ограничивать, сдерживать22. a predic готовый; направляющийсяa ship bound for a voyage — корабль, готовый к отплытию
a ship bound for London — судно, направляющееся в Лондон
23. a predic как компонент сложных слов направляющийсяСинонимический ряд:1. apprenticed (adj.) apprenticed; articled; indentured2. constipated (adj.) astricted; constipated; costive; obstipated3. constrained (adj.) compelled; constrained; fettered; impelled4. finite (adj.) bounded; finite; limited5. going (adj.) destined; directed; going6. obliged (adj.) beholden; indebted; obligated; obliged7. border (noun) border; boundary; brim; confines; end; limit; limitation; mete; precinct; term; verge8. spring (noun) bounce; jump; leap; rebound; spring9. associated (verb) affiliated; allied; associated; combined; connected; joined; linked; related10. border (verb) border; define; edge; fringe; hem; margin; outline; skirt; surround; verge11. charged (verb) charged; committed; obligated; pledged12. demarcate (verb) delimit; delimitate; demarcate; determine; limit; mark out; measure13. dressed (verb) bandaged; bound; dressed14. jump (verb) hop; hurdle; jump; leap; lop; saltate; spring; vault15. meet (verb) abut; adjoin; butt; juxtapose; meet; neighbour; touch16. rebound (verb) bounce; rebound; recoil; ricochet17. restrict (verb) circle; confine; restrict; rim; set limits; terminate18. tied (verb) fastened; knotted; secured; tie up; tied; tied upАнтонимический ряд: -
16 free occurence
Большой англо-русский и русско-английский словарь > free occurence
-
17 free occurence
1) связанное
2) явное
3) свободное вхождение
См. также в других словарях:
СВЯЗАННАЯ ПЕРЕМЕННАЯ — связанное вхождение переменной, тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка свое и зависит от правил образования этого языка. Вместо С. н. нельзя подставлять объекты. Такая подстановка… … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Кенесары Касымов — 6 й хан Среднего жуза 1841 1847 Предшественник: Губайдулла хан … Википедия
Российская Советская Федеративная Социалистическая Республика — РСФСР. I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… … Большая советская энциклопедия
ФОЛЬКЛОР — (в культурологическом аспекте) в “широком” смысле (вся народная традиционная крестьянская духовная и отчасти материальная культура) и “узком” (устная крестьянская словесная худож. традиция). Фольклор это совокупность… … Энциклопедия культурологии
Инфляция — (Inflation) Инфляция это обесценивание денежной единицы, уменьшение ее покупательной способности Общая информация об инфляции, виды инфляции, в чем состоит экономическая сущность, причины и последствия инфляции, показатели и индекс инфляции, как… … Энциклопедия инвестора
СССР. Общественные науки — Философия Будучи неотъемлемой составной частью мировой философии, философская мысль народов СССР прошла большой и сложный исторический путь. В духовной жизни первобытных и раннефеодальных обществ на землях предков современных… … Большая советская энциклопедия
ЖИЗНЬ — Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) [греч. βίος, ζωή; лат. vita], христ. богословие в учении о Ж.… … Православная энциклопедия
Туркменская Советская Социалистическая республика — (Туркменистан Совет Социалистик Республикасы) Туркменистан. I. Общие сведения Туркменская ССР образована первоначально как Туркменская область в составе Туркестанской АССР 7 августа 1921; 27 октября 1924 преобразована в… … Большая советская энциклопедия
НИГЕР — 1) река в Зап. Африке, впадает в Гвинейский залив; Гвинея, Мали, Нигер, Нигерия. Португ. мореплаватели в конце XV в. обнаружили дельту этой реки, рукавам которой дали название Масляные реки, возможно, связанное с выходами природной нефти, в… … Географическая энциклопедия