линия сечения - translation to russian
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

линия сечения - translation to russian

Теорема об устранении сечения; Теорема Генцена об устранении сечения; Элиминационная теорема; Устранимость сечения

линия сечения      
( разомкнутая линия, являющаяся проекцией секущей плоскости )
ligne de section
воздушная линия электропередачи         
  • Воздушная ЛЭП 500 кВ
  • ЛЭП 150 кВ в системе [[Днепроэнерго]]
  • Двухцепная анкерно-угловая опора ЛЭП 35кВ
  • линейными изоляторами]]
  • Экибастуз — Кокшетау]] — Челябинск», проектное напряжение 1150 кВ. Видны опоры типа ПОГ-1150.
  • Пересечение ЛЭП 35 и 150 кВ
  • Линия электропередачи 150кВ переменного тока в Днепропетровской области
  • Двухцепная промежуточная опора ЛЭП 35кВ
  • Верхняя часть опоры ЛЭП 10 кВ со стеклянными линейными изоляторами
  • Линия электропередачи постоянного тока Волгоград-Донбасс (Ростовская и Волгоградская область)
КОМПОНЕНТ ЭЛЕКТРИЧЕСКОЙ СЕТИ
ЛЭП; Линия электропередач; Воздушная линия электропередачи; Линии электропередач; Фидер (транспорт); Натуральная мощность; Кабельные сооружения; ВЛЭП; Высоковольтная линия
( линия электропередачи, расположенная на открытом воздухе, провод которой прикреплён к опорам при помощи изоляторов и арматуры )
ligne de transmission électrique aérienne; ligne aérienne de transport d'énergie
trait de section      
- линия сечения

Definition

ЛИНИЯ КЕРЗОНА
условное название демаркационной линии, определившей в период между двумя мировыми войнами восточную границу Польши. Проведенная по территории Польши с севера на юг, она проходила так, что практически все земли с преобладанием польского населения находились на западе, а непольского (литовского, белорусского и украинского) - на востоке. Первоначально была рекомендована Верховным советом Антанты на Парижской мирной конференции в декабре 1919. В июле 1920 английским министром иностранных дел лордом Керзоном была предложена как линия перемирия. Принята за основу при установлении границы между Польшей и СССР после Второй мировой войны.
Версальский договор, подписанный Польшей 28 июня 1919, гласил, что восточные границы этой страны должны быть "определены в дальнейшем" (статья 87). К концу 1919 ситуация на советско-польской границе резко обострилась, и 8 декабря Верховный совет Антанты принял "Декларацию по поводу временной восточной границы Польши", согласно которой пограничная линия проходила в средней части по реке Буг, от Гродно через Брест и далее в Галицию. В этом спорном регионе, населенном в основном украинцами (за исключением Львова), Антанта, не признав официально польских захватов на востоке, осторожно предлагала два варианта: либо (линия А) граница проходила западнее Львова, либо (линия Б) восточнее и Львов входил в состав Польши. Но "Декларация" была проигнорирована польской стороной, упорно отклонявшей и предложения советского правительства о мире и установлении разумных границ (январь 1920). В Варшаве велась подготовка к решительным военным действиям с целью восстановить Польшу в границах 1772 (до ее первого раздела). В апреле 1920 поляки возобновили наступление из Украины и 8 мая захватили Киев. Когда Красная Армия перешла в контрнаступление, обеспокоенное сложившейся ситуацией польское правительство отправило с просьбой о посредничестве представителя в бельгийский город Спа, где Верховный совет Антанты рассматривал вопросы, связанные с германскими репарациями. По поручению премьер-министра Д.Ллойд Джорджа лорд Керзон отправил 11 июля в Москву наркому иностранных дел Г.В.Чичерину ноту с предложением заключить перемирие между Польшей и Советской Россией и отвести войска по обе стороны от линии, временно установленной на Мирной конференции в качестве восточной границы, до которой Польше было предоставлено право учреждать свою администрацию. Эта линия проходила примерно через Гродно, Яловку, Немиров, Брест-Литовск, Дорогуск, Устилуг, восточнее Грубешова, через Крылов и далее на запад от Равы-Русской, восточнее Перемышля до Карпат. Демаркация границы после Крылова соотносилась с ранее предложенной линией А. Хотя данная граница, впоследствии названная "линией Керзона", устраивала советское правительство, оно отвергло посредничество Керзона, настаивая на прямых переговорах с Польшей. Красная Армия продолжала наступление, но в середине августа, после сражения под Варшавой, оказавшись без резервов и боеприпасов, вынуждена была отступить. Советско-польская граница была установлена по Рижскому мирному договору 1921 и проходила значительно восточнее "линии Керзона". В состав Польши были включены территории, которые входили в нее до раздела 1793.
Повторное установление "линии Керзона" стало уже задачей советской политики; она была решена в 1939 в результате пакта Молотова - Риббентропа, причем с присоединением к СССР еще и земель возле Белостока. Когда на Тегеранской конференции 1943 возник вопрос о восстановлении восточной границы Польши, "линия Керзона" послужила отправным пунктом дискуссий. Рузвельт и Иден отстаивали вариант линии Б, в соответствии с которым Львов предполагалось оставить Польше. Черчилль, преодолев сильное сопротивление польского правительства в эмиграции и вопреки своему собственному желанию, уступил давлению Сталина, настаивавшего на том, что советско-польская граница могла бы пройти "примерно по так называемой линии Керзона". Все стороны по Ялтинскому соглашению февраля 1945 официально признали, что "линия Керзона" должна стать восточной границей Польши.

Wikipedia

Устранимость сечений

Устранимость сечений (теорема Генцена, элиминационная теорема) — свойство логических исчислений, согласно которому всякую секвенцию, выводимую в данном исчислении, можно вывести без применения правила сечений. Играет фундаментальную роль в теории доказательств и важную методологическую роль в математической логике в целом в связи с тем, что предоставляет конструктивный метод доказательства непротиворечивости, в частности, для классической и интуиционистской логик первого порядка.

Для классического и интуиционистского исчислений секвенций свойство доказано Генценом в 1934 году. В 1953 году высказана гипотеза Такеути, согласно которой устранимость сечений имеет место для простой теории типов и соответствующих ей логик высших порядков, впоследствии она нашла подтверждение — для классической логики второго порядка устранимость сечений доказал Тейт, для простой теории типов — Такахаси и Правица, вскоре найдены доказательства для серии неклассических теорий высших порядков (Драгалин) и развитых теорий типов (Жирар для системы F).

Символическая формулировка: пусть Γ Θ , Φ {\displaystyle \Gamma \vdash \Theta ,\Phi } и Φ , Λ Δ {\displaystyle \Phi ,\Lambda \vdash \Delta }  — доказуемые секвенции исчисления G {\displaystyle G} ; если Γ , Λ Δ , Θ {\displaystyle \Gamma ,\Lambda \vdash \Delta ,\Theta }  — секвенция исчисления G {\displaystyle G} , то она доказуема.