ТЕОРЕМЫ

Русско-английский перевод ТЕОРЕМЫ

Theorems

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

WEAK VERSION — мат. слабый вариант (теоремы)
Большой Англо-Русский словарь
THEOREMS — Теоремы
Большой Англо-Русский словарь
THEOREMATIC — излагаемый в виде теоремы
Большой Англо-Русский словарь
THEOREM PROVING — мат. доказательство теоремы
Большой Англо-Русский словарь
THEOREM IMPLYIES — мат. из теоремы следует, что
Большой Англо-Русский словарь
THEOREM-PROVING SYSTEM — мат. система доказательства теоремы
Большой Англо-Русский словарь
THEOREM-PROVING PROCESS — мат. процесс доказательства теоремы
Большой Англо-Русский словарь
THEOREM-PROVING HEURISTICS — мат. эвристика доказательства теоремы
Большой Англо-Русский словарь
THEOREM-FINDING HEURISTICS — мат. эвристика построения теоремы
Большой Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
RANK OF THEOREM — мат. ранг теоремы
Большой Англо-Русский словарь
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Большой Англо-Русский словарь
PROBABILITY — сущ. 1) возможное, осуществимое, правдоподобное His return to power was discussed openly as a probability. ≈ Его возвращение к власти …
Большой Англо-Русский словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ В естественных науках. Аналитические функции широко используются в некоторых областях науки и техники просто потому, что дают в …
Русский словарь Colier
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ Теория меры и интегрирования является важным разделом общей теории математических функций, берущей начало с работ А.Лебега (1906) по …
Русский словарь Colier
ПИФАГОР — (6 в. до н.э.), древнегреческий философ и математик, прославившийся своим учением о космической гармонии и переселении душ. Предание приписывает Пифагору …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Создание дифференциального и интегрального исчислений ознаменовало начало "высшей математики". Методы математического анализа, в отличие от понятия предела, лежащего …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Несмотря на заявления о независимости математики, никто не станет отрицать, что математика и физический мир связаны друг с другом. …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Рождение математики. Около 2000 до н.э. было замечено, что в треугольнике со сторонами в 3, 4 и 5 единиц …
Русский словарь Colier
ДИФФЕРЕНЦИАЛЬНЫЕ — Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими-то величинами. …
Русский словарь Colier
ГЕОМЕТРИЯ
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
АРХИМЕД — (ок. 287-212 до н.э.), величайший древнегреческий математик и механик. Жизнь. Уроженец греческого города Сиракузы на острове Сицилия, Архимед был приближенным …
Русский словарь Colier
ЭВКЛИД — (расцвет деятельности ок. 300 до н.э.), также Евклид, древнегреческий математик, известный прежде всего как автор Начал, самого знаменитого учебника в …
Русский словарь Colier
ЧИСЕЛ — раздел чистой математики, занимающийся изучением целых чисел 0, ?1, ?2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. …
Русский словарь Colier
ПРОЕКТИВНАЯ — раздел геометрии, изучающий проективные свойства фигур. Отличается от евклидовой геометрии тем, что в ней не используются понятия параллельности, перпендикулярности и …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Классическая Греция. С точки зрения 20 в. родоначальниками математики явились греки классического периода (6-4 вв. до н.э.). Математика, …
Русский словарь Colier
ГАУСС — (Gauss, Carl Friedrich) (1777-1855), немецкий математик, астроном и физик. Родился 30 апреля 1777 в Брауншвейге. Необыкновенные способности к математике и …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Новый большой Англо-Русский словарь

Русско-Американский Английский словарь

← ТЕОРЕМЫ СИЛОВА ТЕОРЕТИЗИРОВАНИЕ→