Cтраница 3
Еще одна специальная конструкция допускается в списке типов аргументов. Это фраза void, которая специфицирует аргумент типа указатель. Эта фраза может быть использована в списке типов аргументов вместо имени типа. [31]
Функция LOW позволяет получить в результате ее выполнения младший байт аргумента, а функция HIGH-старший байт аргумента. С помощью встроенной функции DOUBLE производится преобразование аргумента типа BYTE в результат типа ADDRESS. В процессе такого преобразования слева от аргумента типа BYTE появляется байт, все биты которого содержат нули. [32]
Функция Swap возвращает число типа Word или Integer в зависимости от типа аргумента X, в котором старший и младший байты поменялись местами. Следует быть осторожным при использовании функции с аргументом типа Longlnt. В версии 5 5 Турбо Паскаля компилятор ничего не имеет против таких вызовов, но возвращаемое значение при счете усекается до типа Word, меняя его иной раз до неузнаваемости. [33]
Если кого-либо заинтересовала возможность использования системной информации о файлах, то обязательно появится вопрос: а как к ней добраться. Ни одна функция или процедура языка не имеет аргумента типа FileRec или TextRec. Создание переменной таких типов будет пустой тратой памяти. [34]
Запись f: A-B означает, что f - функция с аргументами типа А и результатом типа В. [35]
Пусть v - порядковые номера ( индексы) формальных типов взаимодействия, совокупность которых обуславливает наблюдаемое суммарное отклонение характеристики системы от ее стандартного значения. Свойство II полилинейной функции позволяет в пределах каждого из указанных типов взаимодействия каждый аргумент типа x t привязать к определенному влияющему переменному фактору. [36]
Конечно, математики иногда допускают ошибки. Кажется, сам Тьюринг считал, что именно это и есть лазейка, которая позволяет обойти аргументы геделевского типа в пользу того, что человеческое мышление существенно неалгоритмично. Но лично мне кажется невероятным, что свойство людей ошибаться каким-либо образом связано с нашей способностью к прозрениям. Между прочим, генераторы случайных чисел могут быть успешно реализованы при помоши алгоритмов. [37]
Независимо от того, являются ли индуктивные аргументы статистическими или категорными, главная проблема заключается в способе их оценивания. Сторонник этой теории Карнап прямо указывал на возможность рассмотрения степени подтверждения гипотезы Н путем основания Е как на степень общезначимости индуктивного аргумента типа Е, поэтому Н и подчеркивал возможность обрабатывать эту индуктивную общезначимость как аналог дедуктивной общезначимости. Он писал, что, называя теорию индуктивного вывода недедуктивной, термин вывод в индуктивной логике мы не понимаем в том же самом смысле, как в дедуктивной. Обе логики, как дедуктивная, так и индуктивная, едины в одном: они исследуют логические отношения между утверждениями, но если первая изучает отношение выводимости одних утверждений из других, то вторая - степень подтверждения утверждений, которая рассматривается как некоторая числовая мера. Другими словами, теория подтверждений сама по себе не устанавливает отношение логического следствия, поскольку любое основание только подтверждает любую гипотезу в определенной степени. Индуктивная логика, основанная на теории подтверждений, является логикой оценки гипотезы, а не ее образования. Поскольку меры убеждения выражают субъективные оценки агента об истинности гипотез, то процедуры оценки истинности гипотез являются тем средством, который отвечает на вопрос: Насколько правдоподобна эта гипотеза при данном основании. [38]
Было предпринято много попыток установить форму кривых затрат с помощью теоретических выкладок. В частности, считалось, что вид функции затрат для короткого периода очевиден из принципа уменьшающейся отдачи; и этот закон или принимался в качестве аксиомы, или доказывался с помощью аргументов типа reductio ad absurdum. Однако Менгер показал: предположение об уменьшающейся предельной отдаче совсем необязательно вытекает из предположения, что производственная функция является: а) ограниченной и б) неубывающей. Из твердого предположения, что производственная функция является субоднородной и возрастающей по отношению к одному фактору, необязательно должен следовать закон убывания предельного продукта; твердо мы можем вывести только закон убывания среднего продукта. Однако большинство экономистов до сих пор рассматривают уменьшающуюся предельную отдачу в качестве более чем обещающей гипотезы. [39]
С религиозной верой происходит то же самое. Тот, кто свято и слепо верит, того и обманывают. Аргументы типа того, что в религии верят не людям, а богам или их пророкам, неубедительны потому, что верующие общаются со жрецами, попами, священниками и муллами, выступающими от имени богов. Понятно, что выступать от имени кого-то свыше легко, очень удобно и, главное, выгодно. Но все эти выступления могут быть такими же лживыми, как и выступления мошенников. Вывод - надо не свято верить, а думать. [40]
Обе эти крайние точки зрения нелепы. Разумеется, никакой чертеж, даже самый аккуратный, выполненный с помощью циркуля и линейки, не может заменить собой доказательства геометрического факта, ибо в окончательном решении чертеж является лишь иллюстрацией к рассуждениям. Аргументы типа из чертежа видно, что... Любой геометрический факт, который мы увидели из чертежа, необходимо строго обосновать - только тогда мы можем быть уверены, что этот факт действительно имеет место, а не является результатом верного ( или, еще хуже, неверного) выполнения рисунка. [41]
Если типы аргумента и параметра не совпадают, то при обращении к процедуре автоматически производится их преобразование к типу параметра. Это означает, что аргумент типа BYTE, когда его значение присваивается формальному параметру типа ADDRESS, будет расширен добавлением нулей в восьми старших разрядах. Если значение аргумента типа ADDRESS присваивается параметру типа BYTE, то значение аргумента будет усечено отбрасыванием 8 старших битов. Если тип полученного значения в операторе RETURN не соответствует типу процедуры, то возвращаемое значение приводится к типу процедуры. [42]
Имеется группа встроенных функций LOW, HIGH, DOUBLE для преобразования типа данных. Функция LOW позволяет получить в качестве результата типа BYTE младший байт от аргумента, имеющего тип ADDRESS, а функция HIGH - старший байт аргумента. Функция DOUBLE производит преобразование аргумента типа BYTE в результат типа ADDRESS. Существуют и другие встроенные функции и процедуры. [43]
Функция LOW позволяет получить в результате ее выполнения младший байт аргумента, а функция HIGH-старший байт аргумента. С помощью встроенной функции DOUBLE производится преобразование аргумента типа BYTE в результат типа ADDRESS. В процессе такого преобразования слева от аргумента типа BYTE появляется байт, все биты которого содержат нули. [44]
Поскольку аргумент и параметр представляют одно и то же значение, они должны иметь одинаковые атрибуты. Например, возникает ошибка, если параметр арифметического типа, а соответствующий ему аргумент - строка знаков. Ошибка возникнет также и в том случае, если длина аргументов типа строка знаков или разрядность аргументов арифметического типа не согласуются с длиной или разрядностью соответствующих им параметров. [45]