Sta znaci na Engleskom ТАРСКОГО - prevod na Енглеском

• tarski
• tarsky
• tara

Примери коришћења Тарского на Руском и њихови преводи на Енглески

В 1980- х она стала известна как задача Тарского по школьной алгебре.
In 1980 Wilkie solved Tarski's high school algebra problem.

Ву также заметил, что монстры Тарского являются очевидными примерами бесконечных простых ЦА- групп.
Wu also observes that Tarski monsters are obvious examples of infinite simple CA-groups.

Список казаков Демьянского города, Тарского города, туринских стрельцов Дело.
List of Cossacks of Demyan town, Tarski town, Turin streltsy Business.

На средства Компании был проведен капитальный ремонт школ Тарского района Омская область.
Schools in the Tarsky District(Omsk region) were renovated at the Company's expense.

Доказал гипотезу Тарского, альтернативное решение было предложено Ольгой Харламович и Алексеем Мясниковым.
An alternative solution for the Tarski conjecture has been presented by Olga Kharlampovich and Alexei Myasnikov.

Обратное утверждение является гипотезой фон Неймана, она была опровергнута Ольшанским в 1980 году с помощью его монстров Тарского.
The converse to this statement is the so-called von Neumann conjecture, which was disproved by Olshanskii in 1980 using his Tarski monsters.

В 1890 г. из Тарского полицейского управления поступили кнут и плеть- трехвостка для наказания преступников.
In 1890, from Tarski police department the museum received a whip and the three-tail whip for the punishment of criminals.

По построению Ольшанского существует континуум неизоморфных монстров Тарского для каждого простого числа p> 10 75{\ displaystyle p> 10^{ 75.
The construction of Olshanskii shows in fact that there are continuum-many non-isomorphic Tarski Monster groups for each prime p> 10 75{\displaystyle p>10^{75.

Серебрянка Тарского округа: печатные доски, панцири для накатки краски на холст, каток для набивки узоров на ткани, деревянные святцы.
A few items were brought from Serebryanka village of Tarsky district: printing circuit boards, shells for rolling paint on a canvas, a roll for printing patterns on fabrics, wooden calendar.

Ахтырская- Ачаирская икона Божией Матери была написана по благословению митрополита Омского и Тарского Феодосия в 2002 году омским иконописцем Геннадием Адаевым.
The Akhtyrsk-Achairsk icon of the Mother of God was painted by the blessing of Metropolitan Theodosius of Omsk and Tarsk in 2002 by Omsk iconographer Gennady Adayev.

Среди них есть ее исследования, протоколы дискуссий Венского кружка, а также более 1600 писем Отто Нейрата, Людвига Витгенштейна, Альфреда Тарского и других.
They contain, among other things, her research, the records of the discussions in the Vienna Circle protocols and over 1,600 letters to Otto Neurath, Ludwig Wittgenstein, Alfred Tarski and others.

Таким образом, задача имеет существенно меньшую сложность, чем процедура исключения кванторов Альфреда Тарского в теориях первого порядка вещественных.
Thus it has significantly lower complexity than Alfred Tarski's quantifier elimination procedure for deciding statements in the first-order theory of the reals without the restriction to existential quantifiers.

Некоторые важные бесконечные группы являются ЦА- группами, такие как свободные группы, монстры Тарского и некоторые из групп Бернсайда, а локально конечные ЦА- группы были классифицированы точно.
Several important infinite groups are CA-groups, such as free groups, Tarski monsters, and some Burnside groups, and the locally finite CA-groups have been classified explicitly.

Выявляются и исследуются основные социальные категории и этнические компоненты тюркоязычного населения Тарского уезда, сложившиеся к началу XVIII столетия.
In the article the author recognized and investigated the basic social categories and ethnic components of Turkic population of the Tara Uyezd(District) which has developed to the beginning of XVIII century.

В лично- командном чемпионате республики памяти заслуженного тренера ЯАССР Николая Тарского первые места заняли известные борцы, давно выступающие на республиканском и российском уровнях.
In a personal team championship of the republic of memory of the honored trainer of YaASSR Nikolay Tarsky first place was won by the known wrestlers long ago acting at republican and Russian levels.

Теорема Тарского о невыразимости арифметической истины- теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике.
Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics.

Только в 2009 году завод участвовал в финансировании зимней спартакиады, тарского полумарафона, поездки тарской команды любителей бега на Международный московский марафон.
In 2009 alone, the Plant participated in the financing of the winter Spartakiada competitions, Tarskyi semi-marathon, travel of the Tarskyi amateur running team to the International Moscow Marathon.

На философском факультете городского колледжа Нью-Йорка( CCNY) с 1936 года он изучал Аристотеля у Авраама Эделя, Лейбница у Филиппа П. Винера и математическую логику и лингвистику у Альфреда Тарского.
At the Philosophy Department of the City College of New York(CCNY) from 1936 onwards he studied Aristotle with Abraham Edel, Leibniz with Philipp P. Wiener and mathematical logic and linguistics with Alfred Tarski.

В 2008 году получил премию Сарола Карпа ассоциации символической логики за работу над гипотезой Тарского и за открытие и развитие новых связей между теорией моделей и геометрической теорией групп.
Sela also received the 2008 Carol Karp Prize from the Association for Symbolic Logic for his work on the Tarski conjecture and on discovering and developing new connections between model theory and geometric group theory.

Бесконечная группа G{\ displaystyle G} называется монстром Тарского для p{\ displaystyle p}, если все собственные подгруппы( то есть все подгруппы, кроме тривиальной{ 1}{\ displaystyle\{ 1\}} и G{\ displaystyle G}) имеет p{\ displaystyle p} элементов.
An infinite group G{\displaystyle G} is called a Tarski Monster group for p{\displaystyle p} if every nontrivial subgroup(i.e. every subgroup other than 1 and G itself) has p{\displaystyle p} elements.

Представлен анализ не введенного ранее в научный оборот источника- дозорной книги бухарцев Тарского уезда 1701 г., дано сравнение ее описаний с документами середины XIX в.
The article analyzes a previously unknown source- Dozornaya Kniga(the Survey Book) of the Tara District Bukharians(1701), and compares its descriptions with some documents dated from the middle of the XIXth century.

Прогресс в истории логики первой половины XX века связан, в частности, с работами Геделя и Тарского, и оказал значительное влияние на аналитическую философию и философскую логику, в особенности с 1950- х гг., благодаря развитию новых разделов: модальная логика, темпоральная логика, деонтическая логика и релевантная логика.
Progress in mathematical logic in the first few decades of the twentieth century, particularly arising from the work of Gödel and Tarski, had a significant impact on analytic philosophy and philosophical logic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic logic, and relevance logic.

Альфред Тарский- математическая логика.
Alfred Tarski, Mathematics.

Деятельность Тарской женской гимназии в период Первой мировой войны.
Activity Tara women's gymnasium during the First world war.

Тарский А. Введение в логику и методологию дедуктивных наук.- М.: Изд.
Alfred Tarski, Introduction to Logic and to the Methodology of the Deductive Sciences ed.

В Тарском районе Омский нефтепе- рерабатывающий завод регулярно проводит акции по поддержке массового спорта.
In Tarskyi District, Gazpromneft-ONPZ provides regular support for mass sports activities.

Деятельность Тарской женской прогимназии накануне Первой мировой войны// Гуманитарные научные исследования.
Activity Tara women's gymnasium on the eve of the First world war// Humanities scientific researches.

Большое влияние на него оказали Куратовский, Линденбаум и Тарский.
He was influenced by Kuratowski, Lindenbaum, and Tarski.

Тарскую, заведующую издательского центра университета Б. Б.
Tarskaya, head of the publishing center of the University- B.B.

Молодой Альфред Тарский видел этот текст и продолжил программу Пьери, как это описывает Смит.
A young Alfred Tarski encountered the text and carried forward Pieri's program, as recounted by Smith.