эквивалентность
81Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …
82ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …
83РИМАНОВЫХ ПОВЕРХНОСТЕЙ КОНФОРМНЫЕ КЛАССЫ — классы, состоящие из конформно эквивалентных римановых поверхностей. Замкнутые рима новы поверхности (р. п.) имеют простой топологич. инвариант род g;при этом любые две поверхности одного рода гомеоморфны. В простейших случаях топологич.… …
84Дженерик — Эта статья  о фармацевтике. О возможностях языков программирования см. обобщённое программирование. Дженерик (генерик, женерик, генерический препарат; англ. Generic)  это непатентованный лекарственный препарат,… …
85Утверждения — Утверждения, эквивалентные аксиоме выбора В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна… …
86теория уровней эквивалентности — выделение в содержании текста ряда последовательных уровней, отличающихся по характеру информации; отношения эквивалентности устанавливаются между аналогичными уровнями содержания текстов ИЯ и ПЯ. Попытку объединить теорию закономерных… …
87Утверждения, эквивалентные аксиоме выбора — В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна Эквивалентность этих предложений следует понимать в… …
88Синонимия — (от греч. συνωνυμία одноимённость) тип семантических отношений языковых единиц, заключающийся в полном или частичном совпадении их значений. Синонимия свойственна лексической, фразеологической, грамматической, словообразовательной системам… …
89ГОМОТОПИЧЕСКИЙ ТИП — класс гомотопически эквивалентных топологич. пространств. Отображения и наз. взаимно обратными гомотопическими эквивалентностями, если и Если выполнено только первое из этих соотношений, то gназ. гомотопически мономорфным отображением, а f… …
90ОСОБЕННОСТИ ДИФФЕРЕНЦИРУЕМЫХ ОТОБРАЖЕНИЙ — раздел математич. анализа и дифференциальной геометрии, в к ром изучаются свойства отображений, сохраняющихся при заменах координат в образе и прообразе отображения (или при заменах, сохраняющих нек рые дополнительные структуры); предлагается… …
