Выбор - определение
Cтраница 1
 |
Иллюстрация различных способов определения разрешающей силы по величинам Н и АЯ или Н и Дй. [1] |
Выбор определения ограничивается трудностью измерения достигаемой разрешающей силы. Для прямого измерения разрешающей силы используется область синглетных пиков, а не дублеты, степень разрешения которых неопределенна. Например, измеряется ширина синглетного пика на расстоянии 0 05 высоты от основания. [2]
Выбор определения заранее указывает направление, в котором мы собираемся развивать математику, поскольку указывает, какую комбинацию символов мы считаем важной и заслуживающей особого сокращенного обозначения. [3]
Выбор определения малой группы связан с вопросом о ее размерах. Принято говорить о нижнем и верхнем количественных пределах группы. Большинство исследователей признает, что малая группа начинается с диады, но при этом отмечается несколько усеченный характер внутри групповых отношений в такой микрогруппе, не отражающий всей полноты межличностных, связей, наблюдающихся в большей ( например, триаде) по объему малой группе. [4]
Этот выбор определения может показаться неожиданным, потому что слово рекурсивно имеет общий корень с глаголом recur ( возвращаться, повторяться 1), а математическая индукция является нашим методом рассмотрения повторяющихся процессов. Смысл этого выбора-не в том, что черта ( п) может отсутствовать при какой-либо конкретной рекурсии, а в том, что она переносится из самого определения на применения этого определения. Чтобы показать финитными средствами, что данная схема наделена чертой ( i), за исключением тривиальных случаев, приходится так или иначе пользоваться математической индукцией. Но определение совокупности обще-рекурсивных функций предшествует попытке охарактеризовать заранее, в какой форме проявится содержательный принцип индукции. Из теоремы Геделя, § 42, мы знаем, что попытка дать такую характеристику посредством формальной арифметической системы оказывается неполной. [5]
 |
Коды ширины в Fontname. [6] |
Для выбора разных определений, который активизируется при изменении кодировки шрифта. [7]
При нашем выборе определений доказательство просто. [8]
Конечно, в выборе определения всегда имеется известная свобода. Об определении бессмысленно спорить, верно оно или нет, ибо определение не доказывается. Но, давая новое определение, следует руководствоваться соображениями целесообразности. [9]
Конечно, в выборе определения всегда имеется известная свобода. Об определении бессмысленно спорить, верно оно или нет, ибо определение не доказывается. [10]
Конечно, в выборе определения всегда имеется известная свобода. Об определении бессмысленно спорить, верно оно или нет, ибо определение не доказывается. Но, давая новое определение, следует руководствоваться соображениями целесообразности. [11]
Отметим, что наш выбор определения семантики дизъюнктов Дейталога 5 с помощью минимальной модели Эрбрана S хорошо согласуется с АЗМ: в этой модели все логические следствия из 5 являются истинными, а все другие факты - ложными. [12]
Ключевыми шагами в рассмотренном выше примере были выбор определения g в терминах fib, следующие далее абстракция where и скрутка в получении уравнения рекурсии для g ( n l) - Пара следующих друг за другом шагов, включающих абстракцию where и скрутку, иногда рассматривается как составной шаг и называется формированной скруткой. В связи с этим подобные шаги принято называть эвристическими заодно с другими, требующими творческих проявлений интеллекта, необходимость которых при применении трансформационных систем обусловлена их природой. Таким образом, имея, несомненно, весьма широкую применимость, методология раскрутки / скрутки требует точных действий от программиста. Использование ее имеет поэтому сходство с проектированием программ в общепринятом смысле. Полная автоматизация в применении методологии представляется весьма трудной, хотя вполне возможна поддержка различных наборов стандартных последовательностей правил, собранных в библиотеку преобразований, ориентированных на применение в качестве высокоуровневого средства трансформационной тактики. Прежде чем принять и рассмотреть такую точку зрения в следующем разделе, обсудим сначала вопросы корректности и полноты трансформационной системы раскрутки / скрутки. [13]
Не будем скрывать от читателя, что выбор определения корреляционной функции продиктован также и удобством ее вычисления, наряду с удобными для физической интерпретации свойствами. [14]
Предварительные замечания об интерпретации проливают свет на то, почему при нашем выборе определения для метаматематической операции подстановки последняя применяется только к свободным вхождениям переменных. [15]
Страницы: 1 2