Примеры употребления "formal language theory" в английском
It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Это - точное описание на точном формальном языке, и оно позволяет пакету Mathematica узнать, что надо делать.
On the one hand, we have Mathematica, with its sort of precise, formal language and a huge network of carefully designed capabilities able to get a lot done in just a few lines.
с одной стороны, есть пакет Mathematica с его точным формальным языком и огромным количеством тщательно подобранных возможностей, способный многое сделать всего за пару строк.
[keywords: arbitral awards; award; courts; documents; enforcement; form of arbitration agreement; formal requirements; language; procedure, recognition- of award; translations]
[ключевые слова: арбитражные решения; решение; суды; документы; приведение в исполнение; форма арбитражного соглашения; формальные требования; язык; процедура; признание- арбитражное решение; переводы]
Studies show that people who are overdetermined in their denial will resort to formal rather than informal language.
Исследования показали, что люди, зацикленные на своем отрицании, чаще используют формальный, чем неформальный язык.
The procedure for identity checks referred in article 45 also now makes it an obligation for law enforcement officials to provide the person detained for an identity check with a formal notification in writing, against a receipt and in a language he understands, except in duly recorded cases of material impossibility, of his right to notify a person of his choosing and to have the Public Prosecutor informed.
Процедура установления личности, предусмотренная в статье 45, также отныне предусматривает обязанность правоохранительных органов официально информировать в письменной форме- и с распиской в получении информации- на понимаемом языке лицо, задержанное для установления его личности, за исключением случаев материальной невозможности, удостоверенной надлежащим образом, о его праве предупредить какое-либо лицо по своему выбору и уведомить об этом государственного прокурора.
English teachers hired previously by UNAMA were independent contractors with no formal training in TOEFL who had limited success in improving language abilities of support staff (drivers, engineering workers and security assistants).
Ранее принимавшиеся на работу в МООНСА преподаватели английского языка были независимыми контрагентами без формальной подготовки по TOEFL, которые не добились значительных успехов в повышении языковых навыков вспомогательного персонала (водителей, инженеров и помощников по вопросам безопасности).
Moreover, we conducted a thorough review – the first of its kind – of how science is taught at universities in the Muslim world, including pedagogical methods, textbooks, language of instruction, censorship of “controversial” topics (such as the theory of evolution), and the role of religion in science classes.
Более того, мы провели тщательный анализ – первый в своем роде – того, как преподается наука в университетах Мусульманского мира, в том числе педагогические методы, учебники, язык обучения, цензура “спорных” тем (таких как, теория эволюции) и роль религии на уроках обществознания.
Madagascar is a country with which we enjoy, over and above formal cooperation, very close relations by virtue of good neighbourliness, blood ties, a shared language and commerce, and it will remain a crucial partner for us.
Мадагаскар — это страна, с которой у нас установились не только отношения официального сотрудничества, но и очень тесные связи, объясняющиеся нашим добрососедством, кровными узами, общностью языка и торговыми связями; эта страна остается и будет оставаться для нас важнейшим партнером.
As far as formal education is concerned, discussions on human rights are integrated into such existing subjects as social studies, geography, history, language, or subjects on life experience; the national Constitution, the Universal Declaration of Human Rights, the International Covenants and the International Convention on the Rights of the Child are mentioned as providing content for human rights education in schools.
Что касается официального образования, то обсуждение вопросов прав человека включено в существующие предметы, такие, как социальные исследования, география, история, языкознание или «жизненный опыт»; национальная конституция, Всеобщая декларация прав человека, международные пакты и Международная конвенция о правах ребенка упоминаются в качестве документов, обеспечивающих содержание для программ просвещения по правам человека в школах.
There is no formal model in his great book The General Theory of Employment, Interest, and Money.
В его великой книге «Общая теория занятости, процента и денег» нет никаких формальных моделей.
In my theory, language evolves in such a way that sounds match, correspond with, the subjective, with the personal, intuitive experience of the listener.
По моей теории, язык развивается так, что звуки согласуются, соответствуют субъективному, личному интуитивному опыту слышащего.
In the wake of Darwin's theory of evolution, language was the last remaining bulwark for this worldview.
В свете теории эволюции Дарвина, язык был последний оставшийся оплот для этого мировоззрения.
Under this programme, in 2001, UNU/IIST continued its two research projects on theory and design methods for real-time systems and formal techniques for software development.
В соответствии с этой программой в 2001 году УООН/МИПО продолжил осуществлять два своих научно-исследовательских проекта по теории и методам разработки систем, работающих в реальном времени, и официальным методам разработки программного обеспечения.
Vacancies for similar posts at the same level exhibit variances owing to inconsistent utilization of generic job profiles, vague language, as well as programme-specific preferences for formal requirements.
Аналогичные вакантные должности того же уровня описываются по-разному из-за непоследовательного применения общих описаний должностей, расплывчатости формулировок, а также увязки с конкретными программами предпочтений, выражаемых в виде официальных требований.
One theory is that voices arise because Broca's area "dumps" language outputs into parts of the brain that ordinarily receive speech inputs from the outside.
Согласно одной из теорий, голоса возникают потому, что зона Брока "сваливает" речевую продукцию в части мозга, обычно получающие речевые сигналы извне.
Therefore, the Integration Act prescribes that newly arrived aliens must be offered participation in an introduction programme comprising a course in understanding Danish society, Danish language lessons and activation consisting in practical or formal training or education intended to improve the individual alien's opportunities of getting work.
Таким образом, Закон об интеграции предусматривает создание условий для участия вновь прибывающих иностранцев в программе адаптации, которая состоит из курса, посвященного изучению основ датского общества, уроков датского языка и активного профилирования, включающего в себя практическую или формальную подготовку и образование с целью расширения возможностей конкретных иностранцев в плане получения работы.
This includes supporting the master apprentice programmes and assessment of language status, and the creation of increased links between formal schools and the family so that there is a continuous use of indigenous languages.
Сюда входит поддержка программ наставничества и ученичества и мероприятий по оценке статуса языка, а также налаживание более тесных связей между формальной системой обучения и семьей, с тем чтобы обеспечить непрерывное использование языков коренных народов.
We should be precise in our language and say in plain words that this year an increased number of formal and informal meetings were held and extensive debate took place on the four core issues with the participation of experts, most of whom were member State representatives.
Нам следует быть точными в своих формулировках и просто сказать, что в этом году увеличилось число проведенных официальных и неофициальных заседаний и состоялись обширные дебаты по четырем ключевым проблемам с участием экспертов, большинство из которых были представителями государств-членов.
For the assistant primary school teachers mentioned earlier, who have been employed since 1988, specific courses continue being offered in such subjects as the theory and practice of teamwork and information about the cultural heritage of the Slovene people, as well as optional Slovene language courses.
Что касается ранее упомянутых ассистентов преподавателей начальной школы, должности которых были введены в 1988 году, то им предлагаются специальные курсы повышения квалификации на постоянной основе с изучением таких предметов, как теория и практика коллективной работы и информация о культурном наследии словенского народа, а также факультативные курсы словенского языка.
Efforts in this direction revolved around sensitizing member States and other stakeholders to key issues to be discussed at global conferences, and included the provision of briefings in Arabic to assist in eliminating the language barrier; provision of technical assistance in negotiating key issues, especially in relation to accession to the World Trade Organization Agreement; and the holding of a series of informal and formal meetings at the ministerial level.
Усилия в этом направлении были связаны с информированием государств-членов и других заинтересованных сторон о ключевых вопросах, подлежавших обсуждению на глобальных конференциях, и включали проведение брифингов на арабском языке в целях устранения языкового барьера; оказание технической помощи в согласовании ключевых вопросов, прежде всего в связи с присоединением к Соглашению о Всемирной торговой организации; а также проведение ряда неофициальных и официальных совещаний на уровне министров.
Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам
В этом разделе вы можете посмотреть, как употребляются слова и выражения в разных контекстах на реальных примерах. Все примеры собраны из уже переведенных текстов: официальных документов, сайтов, журналов и диалогов из фильмов. Раздел Контексты поможет в изучении английского, немецкого, испанского, русского и других языков. Здесь вы сможете найти примеры с фразовыми глаголами, устойчивыми выражениями и многозначными словами в разнообразных по стилю и тематикам текстах Примеры можно отсортировать по переводам и тематикам, а также сделать уточняющий поиск по найденным примерам.
Изучайте иностранные языки, смотрите перевод миллионов слов и выражений, проверяйте их употребление на реальных примерах благодаря нашей технологии поиска на основе двуязычных данных!
Экосистема PROMT: больше, чем перевод. Подробности – в статье на портале TAdviser
На портале TAdviser вышла статья о том, почему компаниям лучше выбрать on-premise решение для выполнения переводов, как работает экосистема PROMT, почему выгодно её внедрить. В бизнесе стремление мини
11.02.2025
Реклама