Перевод: с английского на все языки

со всех языков на английский

formal+language+theory

  • 21 model

    [ˈmɔdl]
    abstract model абстрактная модель abstract model building вчт. абстрактное моделирование allocation model модель распределения analytical model аналитическая модель associative model ассоциативная модель autonomous model автономная модель autoregressive model авторегрессионная модель backlogging model модель с задалживанием роста заказов battle model модель боя behavioral model модель поведения binomial model биномиальная модель binomial model биномиальное распределение clay-clay model жесткая модель closed model замкнутая модель coalition model модель коалиции cobweb model паутинообразная модель cognitive model когнитивная модель communication model модель общения computational model вычислительная модель computer model машинная модель conceptual model концептуальная модель cyclic queueing model вчт. циклическая модель массового обслуживания data model вчт. модель данных decision model модель принятия решений decision-theory model модель выбора решений decision-theory model модель принятия решений double-risk model модель с двойным риском dynamic model динамическая модель dynamic programming model вчт. модель динамического программирования econometric model эконометрическая модель entity-relationship model модель типа объект-отношение equilibrium model модель равновесия estimation model модель оценивания explaining model поясняющая модель finite-horizon model модель с конечным интервалом fixed-horizon model модель с постоянным интервалом fixed-service-level model модель с фиксированным уровнем обслуживания formal model формальная модель game model игровая модель game-theory model теоретико-игровая модель general duel model общая модель дуэли generalized model обобщенная модель generic model типовая модель global model глобальная модель imaging model модель изображений interindustry programming model вчт. межотраслевая модель программирования interruption model модель с возможностью прерывания обслуживания knowledge model вчт. модель знаний labyrinth model лабиринтная модель language model модель языка learning model модель обучения linear model линейная модель linear programming model модель линейного программирования linear regressive model линейный регрессионная модель linguistic model лингвистическая модель logical model логическая модель logical-linguistic model логико-лингвистическая модель macrosectoral model макроотраслевая модель many-server model вчт. многоканальная модель master-workers model модель хозяин-работники matrix model матричная модель model быть натурщиком, натурщицей, живой моделью, манекенщицей model живая модель (в магазине одежды) model макет model манекен model моделировать; лепить model модель, макет; шаблон model модель model натурщик; натурщица model образец, эталон model образец model attr. образцовый, примерный model оформлять model примерный, типовой (о конвенции, уставе и т.д.) model создавать по образцу (чего-л.; after, on); to model oneself ((up)on smb.) брать (кого-л.) за образец model тип model разг. точная копия model тех. формировать model шаблон model создавать по образцу (чего-л.; after, on); to model oneself ((up)on smb.) брать (кого-л.) за образец moving-average model модель скользящего среднего multichannel priority model вчт. многоканальная модель с приоритетами multifactor model многофакторная модель multiple model многоуровневая модель multistation queueing model вчт. многоканальная модель обслуживания network model сетевая модель no-backlog model модель без задалживания заказов no-queue model модель без образования очереди non-poisson model непуассоновская модель one-factor model однофакторная модель one-period model однопериодная модель open model открытая модель open model разомкнутая модель operations research model модель исследования операций phenomenological model феноменологическая модель pictorial model графическая модель pilot model опытный образец pilot: model plant опытный завод, опытная установка; pilot model опытная модель poisson model пуассоновская модель predicitive model прогнозирующая модель preference model модель предпочтений priority model модель с приоритетами probability model вероятностная модель probability model стохастическая модель production model производственная модель prognostic model прогностическая модель queueing model модель массового обслуживания queueing model модель очереди random model вероятностная модель random model стохастическая модель reduced model упрощенная модель regression model регрессионная модель relational model реляционная модель scaling model шкальная модель security model модель механизма защиты semi-poisson model полупуассоновская модель shortest-route model модель выбора кратчайшего пути sign model знаковая модель simplex model симплексная модель simulation model имитационная модель single-channel model одноканальная модель single-period model однопериодная модель single-phase model однофазовая модель single-server model одноканальная модель singular model одноуровневая модель software model вчт. программная модель solid model объемная модель sophisticated model усложненная модель standard model типовая модель static equilibrium model модель статического равновесия static inventory model статическая модель управления запасами static model статическая модель station-to-station model многошаговая модель stochastic model вероятностная модель teaching model учебная модель (машины, оборудования) three-dimensional model трехмерная модель transportation model транспортная задача transshipment model модель перевозок с промежуточными пунктами trend-free model модель с отсутствием тренда trial model испытательный образец trial model пробный образец two-echelon model двухступенчатая модель two-state model модель с двумя состояниями user model модель пользователя waiting line model модель очереди wire-frame model каркасная модель world decision model всеобщая модель решений world model модель мира

    English-Russian short dictionary > model

  • 22 subscribe

    1) (to give money, with other people, to a charity or other cause: He subscribes to a lot of charities; We each subscribed $1 towards the present.) hacer donaciones, contribuir con dinero
    2) ((with to) to promise to receive and pay for a series of issues of (a magazine etc): I've been subscribing to that magazine for four years.) suscribirse (a), abonarse (a)
    - subscription
    subscribe vb abonarse
    tr[səb'skraɪb]
    1 (to newspaper etc) suscribirse (to, a), abonarse (to, a)
    2 (to charity) hacer donaciones, contribuir con donativos (to, a)
    3 (to opinion, theory) suscribir (to, -), estar de acuerdo (to, con)
    he subscribes to the view that... él es de la opinión de que...
    4 SMALLFINANCE/SMALL (shares) suscribir ( for, -)
    1 (contribute) contribuir, donar
    2 formal use (sign) suscribir
    I subscribed my name to the petition suscribí la petición, firmé la petición
    subscribe [səb'skraɪb] vi, - scribed ; - scribing
    1) : suscribirse (a una revista, etc.)
    2)
    to subscribe to : suscribir (una opinión, etc.), estar deacuerdo con
    v.
    abonarse v.
    subscribir (Suscribir) v.
    subscribirse (Suscribirse) v.
    suscribir v.
    suscribirse v.
    səb'skraɪb
    1.
    1) ( buy)

    to subscribe (TO something)\<\<to magazine/newspaper\>\> suscribirse* (a algo)

    2) (support, agree with)

    to subscribe TO something — suscribir* algo (frml)

    I subscribe to the view that... — yo soy de la opinión de que...


    2.
    vt
    1) ( contribute) donar, contribuir* con
    2) (reserve, apply for)
    [sǝb'skraɪb]
    1. VI
    1)

    to subscribe to —

    a) (=buy, pay for) [+ magazine, newspaper] su(b)scribirse or abonarse a; [+ email list] su(b)scribirse a
    b) (=contribute to) [+ charity, good cause] contribuir con
    c) (=share)

    I don't subscribe to the idea that money should be given to people like that — yo no soy partidario de que se dé dinero a gente como esa

    2)

    to subscribe for[+ stocks, shares] su(b)scribir

    subscribed capital — (Comm) capital m su(b)scrito

    2. VT
    1) (=contribute) [+ money] donar
    2) (=apply for)
    3) frm [+ signature] poner; [+ document] su(b)scribir
    * * *
    [səb'skraɪb]
    1.
    1) ( buy)

    to subscribe (TO something)\<\<to magazine/newspaper\>\> suscribirse* (a algo)

    2) (support, agree with)

    to subscribe TO something — suscribir* algo (frml)

    I subscribe to the view that... — yo soy de la opinión de que...


    2.
    vt
    1) ( contribute) donar, contribuir* con
    2) (reserve, apply for)

    English-spanish dictionary > subscribe

См. также в других словарях:

  • Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… …   Wikipedia

  • International Conference on Developments in Language Theory — Abbreviation DLT Discipline Formal languages Publication details Publisher Springer LNCS (International) History 1993– Frequency …   Wikipedia

  • Programming language theory — (commonly known as PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and programming language features. It is a multi disciplinary field, both… …   Wikipedia

  • Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… …   Wikipedia

  • Theory of computation — In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata… …   Wikipedia

  • Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… …   Wikipedia

  • Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… …   Wikipedia

  • Language — This article is about the properties of language in general. For other uses, see Language (disambiguation). Cuneiform is one of the first known forms of written language, but spoken language is believed to predate writing by tens of thousands of… …   Wikipedia

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… …   Wikipedia

  • Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»