Type theory - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
noun: тип, модель, разновидность, род, типаж, шрифт, класс, образ, группа, символ
verb: напечатать, печатать, печатать на машинке, отпечатать, переписывать
tube-type paddle agitator - мешалка с прямыми лопастями по длине трубчатого вала
type specimen - типовой экземпляр
encoding type - тип кодирования
detection type - Тип обнаружения
type of movie - тип фильма
distinctive type - отличительная тип
type of course - тип конечно
type of labor - тип труда
drum type furnaces - печи барабанного типа
flange type - Тип фланца
Синонимы к type: manner, genre, mold, order, species, stripe, brand, ilk, generation, category
Антонимы к type: antitype, handwritten, abhorrence, acrimony, animal, animosity, animus, antagonism, antipathy, aversion
Значение type: a category of people or things having common characteristics.
allocation theory - теория распределения
synthesis of theory - синтез теории
theory application - применение теории
theory z - теория г
number theory - теория чисел
theory was - теория
advertising theory - теория рекламы
algebraic theory - алгебраическая теория
balance theory - теория баланса
bayesian decision theory - байесовская теория принятия решений
Синонимы к theory: thesis, postulate, contention, presupposition, hypothesis, opinion, conjecture, supposition, belief, proposition
Антонимы к theory: fact, proof, reality, certainty
Значение theory: a supposition or a system of ideas intended to explain something, especially one based on general principles independent of the thing to be explained.
I am happy with the current way of having the inclusion criteria have a recognition OR declarative theory type of statement. |
Я доволен нынешним способом, когда критерии включения имеют признание или декларативный тип теории утверждения. |
Similarly, type IIB string theory is related to itself in a nontrivial way by S-duality. |
Аналогично, теория струн типа IIB связана с самой собой нетривиальным образом через S-двойственность. |
In the ramified type theory of PM all objects are elements of various disjoint ramified types. |
В теории разветвленных типов ПМ все объекты являются элементами различных непересекающихся разветвленных типов. |
The formal design and study of type systems is known as type theory. |
Формальное проектирование и исследование систем типов известно как теория типов. |
Many systems of type theory have a type that represents equality of types and of terms. |
Многие системы теории типов имеют тип, который представляет собой равенство типов и терминов. |
Of the two effects of interference theory, proactive interference is the less common and less problematic type of interference compared to retroactive interference. |
Из двух эффектов теории интерференции проактивная интерференция является менее распространенным и менее проблематичным типом интерференции по сравнению с обратной интерференцией. |
This type of interaction is central to Lewis theory. |
Этот тип взаимодействия занимает центральное место в теории Льюиса. |
Homotopy type theory continues in this line using type theory. |
Теория гомотопических типов продолжает эту линию, используя теорию типов. |
Type universes are particularly tricky in type theory. |
Вселенные типа особенно сложны в теории типов. |
A different type of theory is the perceptual ecology approach of James J. Gibson. |
Другой тип теории-это подход к перцептивной экологии Джеймса Дж. Гибсона. |
Smart rounding is a type of psychological pricing or price ending that is based on the marketing theory that prices have a psychological impact on people. |
Психологическое округление представляет собой тип психологического ценообразования или завершения цены на основе теории маркетинга, согласно которой цены имеют психологическое влияние на людей. |
This field of research is usually referred to as modern type theory. |
Эту область исследований обычно называют современной теорией типов. |
Some research-oriented functional languages such as Coq, Agda, Cayenne, and Epigram are based on intuitionistic type theory, which lets types depend on terms. |
Некоторые исследовательские функциональные языки, такие как Coq, Agda, Cayenne и Epigram, основаны на интуитивистской теории типов, которая позволяет типам зависеть от терминов. |
Determining the player's best strategy within a given set of other rules the host must follow is the type of problem studied in game theory. |
Определение наилучшей стратегии игрока в рамках данного набора других правил, которым должен следовать ведущий, - это тип проблемы, изучаемой в теории игр. |
In relativity theory, so long as any type of energy is retained within a system, this energy exhibits mass. |
В теории относительности до тех пор, пока какой-либо тип энергии сохраняется в системе, эта энергия проявляет массу. |
In fact, Duff and his collaborators showed that this construction reproduces exactly the strings appearing in type IIA superstring theory. |
На самом деле Дафф и его коллеги показали, что эта конструкция точно воспроизводит струны, появляющиеся в теории суперструн типа IIA. |
A system of type theory requires some basic terms and types to operate on. Some systems build them out of functions using Church encoding. |
Почтовые серверы, отправляющие сообщения об отказе электронной почты, могут использовать целый ряд мер, чтобы определить, был ли подделан обратный адрес. |
The initial proposal of intuitionistic type theory suffered from Girard's paradox. |
Первоначальное предложение теории интуитивистского типа страдало от парадокса Жирара. |
In terms of personality-type theory, control freaks are very much the Type A personality, driven by the need to dominate and control. |
С точки зрения теории личностного типа, уроды контроля-это в значительной степени личности типа А, движимые потребностью доминировать и контролировать. |
It gets its inspiration from Knuth and not from type theory. |
Она черпает свое вдохновение из кнута, а не из теории типов. |
This type of approach requires a framework or theory as to what skills/modules are needed to perform different kinds of language tasks. |
Этот тип подхода требует структуры или теории относительно того, какие навыки / модули необходимы для выполнения различных видов языковых задач. |
Homotopy type theory differs from intuitionistic type theory mostly by its handling of the equality type. |
Теория гомотопических типов отличается от теории интуитивистских типов главным образом своей обработкой типа равенства. |
One could think of the relation of situation theory to situation semantics as like that of type theory to Montague semantics. |
Отношение теории ситуаций к семантике ситуаций можно рассматривать как отношение теории типов к семантике Монтегю. |
It is hard to see how this type of theory either explains today's economic turbulence, or offers sound instruction about how to deal with it. |
Трудно проследить за тем, как эта теория объясняет сегодняшние экономические потрясения, или предлагает способ по их преодолению. |
Martin-Löf specifically developed intuitionistic type theory to encode all mathematics to serve as a new foundation for mathematics. |
Этот процесс может продолжаться до тех пор, пока один почтовый ящик не будет заполнен или не достигнет своего предела отправки почты. |
There is extensive overlap and interaction between the fields of type theory and type systems. |
Существует обширное перекрытие и взаимодействие между областями теории типов и систем типов. |
Type theory is also widely used in formal theories of semantics of natural languages, especially Montague grammar and its descendants. |
Теория типов также широко используется в формальных теориях семантики естественных языков, особенно в грамматике Монтегю и ее потомках. |
Type theory was created to avoid paradoxes in formal logics and rewrite systems. |
Теория типов была создана для того, чтобы избежать парадоксов в формальной логике и переписать системы. |
There is ongoing research into mathematical foundations using homotopy type theory. |
В настоящее время ведутся исследования математических основ с использованием теории гомотопических типов. |
In economic theory, imperfect competition is a type of market structure showing some but not all features of competitive markets. |
В экономической теории несовершенная конкуренция - это тип рыночной структуры, демонстрирующий некоторые, но не все особенности конкурентных рынков. |
This type of theory stresses a relationship between thoughts or statements on one hand, and things or objects on the other. |
Этот тип теории подчеркивает связь между мыслями или утверждениями, с одной стороны, и вещами или объектами-с другой. |
Relaxation oscillations are a type of limit cycle and are studied in nonlinear control theory. |
Релаксационные колебания являются одним из видов предельного цикла и изучаются в нелинейной теории управления. |
Following is an introductory definition of one type of automaton, which attempts to help one grasp the essential concepts involved in automata theory/theories. |
Ниже приводится вводное определение одного типа автоматов,которое пытается помочь понять основные понятия, связанные с теорией автоматов/теориями. |
The first computer proof assistant, called Automath, used type theory to encode mathematics on a computer. |
Первый помощник компьютерного доказательства, названный Automath, использовал теорию типов для кодирования математики на компьютере. |
This type of cultural sociology may be loosely regarded as an approach incorporating cultural analysis and critical theory. |
Этот тип культурной социологии можно свободно рассматривать как подход, включающий культурный анализ и критическую теорию. |
This was a concept that served as one of the conceptual foundations for his theory on personality type. |
Эта концепция послужила одной из концептуальных основ его теории о типе личности. |
A theory is a contemplative and rational type of abstract or generalizing thinking about a phenomenon, or the results of such thinking. |
Теория - это созерцательный и рациональный тип абстрактного или обобщающего мышления о явлении или результатах такого мышления. |
Types in the theory are defined by applying two forms of type abstraction, starting with an initial collection of basic types. |
Типы в теории определяются путем применения двух форм абстракции типов, начиная с начальной коллекции базовых типов. |
A prime example is Agda, a programming language which uses intuitionistic type theory for its type system. |
Ярким примером является Agda, язык программирования, который использует интуитивистскую теорию типов для своей системы типов. |
A theory of inquiry is an account of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim. |
Теория исследования - это отчет о различных типах исследования и трактовка способов, которыми каждый тип исследования достигает своей цели. |
Much of the current research into type theory is driven by proof checkers, interactive proof assistants, and automated theorem provers. |
Эти термины чаще всего используются в рамках стандартов Интернета и технических обсуждений инфраструктуры электронной почты, а не конечными пользователями. |
This type of business cycle theory with links to monetary expansion has fundamental features in common with the postwar monetary discussion. |
Этот тип теории делового цикла, связанный с монетарной экспансией, имеет фундаментальные общие черты с послевоенной монетарной дискуссией. |
As hay varies by the type of grass and location grown utilized in its preparation, it is very hard to establish a unified theory of what occurs in hay self-heating. |
Поскольку сено варьируется в зависимости от типа травы и места произрастания, используемого для его приготовления, очень трудно установить единую теорию того, что происходит при самонагревании сена. |
Though John Beebe has not published a type table, the format that Isabel Myers devised can also be applied to his theory. |
Хотя Джон Биб не опубликовал таблицу типов, формат, который изобрела Изабель Майерс, также может быть применен к его теории. |
In terms of personality-type theory, control freaks are very much the Type A personality, driven by the need to dominate and control. |
С точки зрения теории личностного типа, уроды контроля-это в значительной степени личности типа А, движимые потребностью доминировать и контролировать. |
There are many different set theories and many different systems of type theory, so what follows are generalizations. |
Существует много различных теорий множеств и много различных систем теории типов, поэтому Ниже приводятся обобщения. |
Such an extra mass, in theory, could be weighed in the same way as any other type of rest mass. |
Его строительство было результатом огромных усилий, в которых участвовали тысячи рабочих, и стоило более ста жизней. |
Another well-known approach is called MSR-type algorithms which have been used widely from computer science to control theory. |
Другой хорошо известный подход называется алгоритмами типа MSR, которые широко используются от информатики до теории управления. |
In Zermelo set theory one can model the ramified type theory of PM as follows. |
В теории множеств Цермело можно смоделировать разветвленную теорию типов PM следующим образом. |
The field is an area of active research, as demonstrated by homotopy type theory. |
Эта область является областью активных исследований, о чем свидетельствует теория гомотопических типов. |
He said that in Regulations Nos. 30 and 54, each tyre dimension represented a new type, while in the tyre noise proposal tyres were grouped in families. |
Он заявил, что в правилах Nº 30 и 54 каждый габарит шины представляет собой новый тип, тогда как в предложении, касающемся шума, издаваемого шинами, шины сгруппированы по категориям. |
The implementation of the Action Plan was thus strongly correlated with regions suffering from high levels of manufacture of, trafficking in or abuse of amphetamine-type stimulants. |
Таким образом, прослеживалась четкая взаимосвязь между показателем осуществления Плана действий и степенью пораженности того или иного региона проблемой изготовления и незаконного оборота стимуляторов амфетаминового ряда и злоупотребления ими. |
Dr Gansa's written about the potential uses of ketamine as an anti-depressant and the trial was a chance for him to put his theory into practice. |
Доктор Ганса, пишет о потенциальном использовании кетамина, в качестве антидепрессанта, и эти испытания, шанс применить его теорию, на практике. |
That may be so in statutes and on papers and on holovision screens, but we are not talking theory now. |
Это правило записано на бумаге, на голографических экранах, но не больше! Мы говорим не об этом. |
In theory, they could stay afloat even with half the ship filled with water. |
Теоретически, можно остаться на плаву, даже если половина судна заполнена водой. |
He figured out that if he could make the lawyer look wacko, the case would be dismissed as some nutty conspiracy theory. |
Он понял, если он сможет заставить юриста выглядеть чокнутым, то дело будет отклонено как безумная теория заговора. |
Academic coaching is a type of mentoring applied to academics. |
Академический коучинг-это разновидность наставничества, применяемая к ученым. |
Huet is extremely interested in changing tastes and in the relativity of judgments—he is far from any simple theory of cultural progress or decline. |
Хьюэ чрезвычайно интересуется изменением вкусов и относительностью суждений—он далек от какой-либо простой теории культурного прогресса или упадка. |
Pontus Weman Tell has a theory that the Curmsun Disc had been ordered as a golden seal by Theophanu to confirm or reinstall Harald Bluetooth on the throne. |
У Понтуса Вемана Телля есть теория, что диск Курмсуна был заказан Теофану в качестве золотой печати, чтобы подтвердить или восстановить Харальда Блютуса на троне. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «type theory».
А именно, здесь можно найти перевод (значение) «type theory» на русском языке, синонимы, антонимы, краткое определение слов: type, theory , а также произношение и транскрипцию к «type theory». Также, к фразе «type theory» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.