Cтраница 2
Существует фундаментальный вопрос, на который нужно ответить, прежде чем может быть определена любая осмысленная семантика для лямбда-исчисления. То же самое относится к любому функциональному языку, в особенности такому, где нет ограничений на использование функций высших порядков. Проблема состоит в том, что все правила преобразования, определенные для Х - исчисления, имеют отношение к парам синтаксических выражений, так что правила редукции любого интерпретатора, основанного исключительно на правилах преобразования А-исчисления, выполняют только синтаксические манипуляции. Эта проблема может представлять чисто академический интерес, но для практических целей мы обычно требуем, чтобы объекты данных в программе имели конкретную интерпретацию, например целые, символы и, вообще говоря, функции ( высших порядков) тоже. [16]
Эти фундаментальные вопросы навязаны физике экспериментом. В поисках ответа на них мы должны отказаться от описания атомных явлений как явлений в пространстве и времени, мы должны еще дальше отступить от старого механистического воззрения. Квантовая физика формулирует законы, управляющие совокупностями, а не индивидуумами. Описываются не свойства, а вероятности, формулируются не законы, раскрывающие будущее системы, а законы, управляющие изменениями во времени вероятностей и относящиеся - к большим совокупностям индивидуумов. [17]
Такие фундаментальные вопросы теории, как процессы намагничивания, магнитное рассеяние, многообмоточные трансформаторы, электромагнитные силы при коротких замыканиях, волновые процессы в обмотках, электрическая прочность изоляции, процессы нагревания и охлаждения трансформаторов, рациональный выбор главных размеров и ряд других разработаны в настоящее время достаточно полно. [18]
К фундаментальным вопросам катализа относится механизм активации реагентов катализатором. Данные колебательных спектров реагентов позволяют рассчитать кривые потенциальной энергии реагирующих связей в промежуточных комплексах каталитических реакций. Экстраполяция их к переходному состоянию позволяет количественно характеризовать энергии активации элементарных стадий. Рассмотренные примеры относятся к элементарной стадии переноса протона в кислотном катализе. [19]
Кроме этих фундаментальных вопросов, много работы было проделано на техническом фронте инстантонной физики. [20]
Один из фундаментальных вопросов гласит: какие физические условия необходимы для процессов эволюции. [21]
Существует ряд фундаментальных вопросов, на которые может ответить только нелинейная теория. Например, приведут ли в конце концов нелинейные эффекты к остановке роста волны. Если предельная амплитуда существует, то как она достигается. [22]
Щадовым по фундаментальному вопросу: без дотаций в десятки миллиардов рублей со стороны государства крах отрасли практически неизбежен. [23]
Обратимся к фундаментальному вопросу: какая программа наилучшая. [24]
Следовательно, центральным фундаментальным вопросом расчета и проектирования ИС, а на их базе устройств и систем РЭА, а также ЭВМ является разработка математических моделей активных и пассивных компонентов ИС. [25]
И наконец, фундаментальный вопрос состоит в том, захотят ли рабочие получить больше рабочих мест и большую стабильность занятости ценой снижения гарантированной почасовой ставки и усиления неравенства заработков. Однако необходимо отметить, что за последнее десятилетие все большее число трудовых договоров как с членами, так и нечленами профсоюзов содержит условие об участии в прибылях. Хотя, по-видимому, полностью перевести экономику на систему участия в прибылях едва ли возможно, в ограниченных масштабах эта система продолжает распространяться. [26]
Можно задать и более фундаментальный вопрос: нужна ли вообще коммерческая арифметика. Ведь каждый без труда может привести примеры людей, весьма успешно отстаивающих свои финансовые интересы и совершенно невежественных в математике. На этот вопрос следует ответить, что таким людям обычно помогают не только счастливый случай, но и память, умение быстро ориентироваться в окружающей обстановке. Кроме того, при совершении особенно сложных сделок и эти люди прибегают к помощи тех, кто великолепно разбирается по крайней мере в арифметике. Таким образом, знакомство с математикой, пусть даже в весьма скромном объеме, как правило, неизбежно. Иное дело - сомнение в том, может ли коммерсант извлечь практи-тическую пользу из знакомства с высшей математикой. Люди, разбирающиеся и в математике, и в коммерции, отвечают на него отрицательно. Все же мы осмелимся высказать ( хотя бы в форме предположения) суждение о том, что математическое образование позволяет научить даже ранее не подготовленных людей мыслить абстрактно и точно, непредвзято оценивать обстановку, что само по себе представляет известную ценность для человека практического. [27]
Советскими учеными разработаны фундаментальные вопросы теории и расчета радиоприемников. [28]
В докладах рассматриваются фундаментальные вопросы теории органической химии - природа химической связи, применение квантово-химических методов к проблемам строения органических веществ, теория молекулярных перегруппировок и механизм реакций замещения у атома углерода. [29]
Это приводит к фундаментальному вопросу: какие классы вычислений могут быть осуществлены машинами Тьюринга. Точка зрения Тьюринга, ставшая теперь общепринятой, состояла в том, что любая эффективно предписанная процедура может быть проведена машиной Тьюринга. Хотя это утверждение недоказуемо, оно подверглось большой экспериментальной проверке и легло в основу изучения эффективных процедур логиками, которые часто используют такую их формализацию. [30]