Cтраница 1
Ремы устанавливающие связь теории представ - Пнрсовское лений со структурной теорией алгебр. [1]
СГ ремы запроса, возбуждение которых выше порогового; Инверсия ( 13) - этот блок сообщает максимальное возбуждение минимально возбужденным узлам СГ ремы и, наоборот, уменьшает до минимума возбуждение наиболее возбужденных узлов; Первый ( 14) - определение номера первого узла СГ ремы, возбуждение которого превышает порог. Существуют и другие блоки обработки. Кроме того, на рисунке использованы следующие обозначения: / - число объектов энергосистемы; п - число участков раздела. [2]
Из тео - - ремы Кельвина следует, что циркуляция скорости по. Этот вопрос относится к динамике и будет рассмотрен в дальнейшем. [3]
Ьторое суждение состоит из темы Аристотель и ремы сформулировал основные законы формальной логики, т.е. является ответом иа вопрос: в чем заслуга Аристотеля. [4]
Промышленного значения этот процесс в [ гастоящее л ремы не имеет, так как значитслыю более рентабельно получение э 1 нленгликоля из окиси этилена ( пр. [5]
Этот интеграл, являющийся прямым следствием известной тео ремы о свертках, пригоден для асимптотического исследования, так как множитель R ( t - т) Л ( т) по условию изменяется медленно. [6]
ЯДРО - - ЯСГ; выявление темы и ремы; декомпозиция вопроса на подвопросы. [7]
Члены Которой соотносятся между собой как темы и ремы различных рангов ( тема и рема предложения и низшие, в их составах), различимые по формальным показателям, главным образом, ритмо-мелоди-чески и позиционно, и по КСФ. По другой линии взаимосвязей ( РСФ) создается иная иерархия: главных и второстепенных членов. [8]
Повторяя, по существу, доказательство тео - - ремы 2It можно показать, что функция Ф явяяется р р - не-особенно. [9]
Из теоремы 1 и установленной в предыдущем параграфе теЪ - ремы Лебега о существовании производной у монотонной функции сразу следует, что всякая функция с ограниченным изменением имеет почти всюду конечную производную. [10]
Wa), для которых будут иметь место условия J), 2) тео ремы 8.1. Следовательно, множество М является В-устойчивым. [11]
В частности: аппараты теории алгорифмов и обще ( теории исчислений доведены до высокого уровня тех нической оснащенности, обстоятельно исследовань связи между различными вариантами этих аппаратов огромную роль в разъяснении ряда коренных вопросов оснований математики сыграл созданный К - Геделеы конструктивный метод арифметизации формально-дедуктивных систем и арифметической интерпретации поня тия выводимости; широкую известность получили теО ремы о невозможности алгорифмов, решающих некоторые ( длительное время привлекавшие внимание математиков массовые проблемы теории логических и логико-математических исчислений, алгебры, топологии математического анализа и других разделов математики; значительные результаты достигнуты в изучении различных способов сведения одних массовых проблем к другим и в исследовании иерархии сложностей массовых проблем; введение в обиход математики разнообразных критериев сложности конструктивных объектов ( например, алгорифмов) и конструктивных процессов ( например, процессов применения алгорифмов к исходным данным привело к формированию новых многообещающих направлений исследований, уже зарекомендовавших себя серьезными результатами; шаг за шагом уточнялись и углублялись принципы конструктивного понимания математических суждений о конструктивных объектах; были разработаны и получили значительное развитие аппараты логического вывода, согласованные с конструктивным пониманием математических суждений. [12]
Существование w ( a, f), удовлетворяюще условию ( 9.3. 1Ь), следует из теоремы о неявной функции. Последнее утверждение те ремы следует из того, что мы можем всегда выбрать б столь м лым, что [ a ( f) лежит в области применимости теоремы о н явной функции. [13]
Тема высказывания - это то, что известно, а рема - то, что сообщается, то, ради чего построено предложение. В состав темы и ремы могут входить как главные, так и второстепенные члены предложения; их распределение между темой и ремой регулируется коммуникативным заданием. Поясним на примере различное соотнесение актуального и грамматического членения. Рассмотрим предложение Николай приедет завтра. В речи выделение нового ( ремы) делается логическим ударением, например: Николай приедет завтра. Заметим, что с точки зрения грамматического членения здесь есть подлежащее, сказуемое и обстоятельство. [14]
Следствия выводятся из соотношения ( 7) дословгтым повторением рассуждений пп. Доказательство же самой тео - ремы ( 7) требует некоторых ухищрений. [15]