Строчок

Cтраница 3

Если вам так больше нравится, можете продолжать употреблять слово строчка в применении к музыкальным пьесам. Это обсуждение весьма общее, но мне кажется, что его смысл легче передать на примере музыки. Значение музыкального произведения странным образом дуалистично: с одной стороны оно тесно соотносится с огромным количеством других вещей в мире, а с другой стороны, оно явно выводится из самой музыки, то есть, оно должно быть расположено где-то внутри музыкального произведения. [31]

Поскольку большинство инструментальных средств, обсуждаемых в этой книге, предназначено для манипулирования с текстом, целесообразно и данную процедуру сортировки приспособить к такому типу операций. Одной из наиболее полезных форм является программа сортировки текстового файла строчка за строчкой в возрастающей лексикографической последовательности. Как вскоре увидим, это действие полезно само по себе, а также как составная часть других процессов. [32]

На рис. П-12, а представлены в координатах формулы ( П-17) данные ряда опытов. Можно заметить, что наклон прямых, значение которых приведено в табл. П-12 ( третья строчка), изменяется от опыта к опыту обратно пропорционально начальной концентрации мочевины. [33]

Отсюда следует, что величиной во второй строчке формулы (8.16) можно пренебречь по сравнению с евклидовым оператором Даламбера не только в первом, но и во втором приближении. В самом деле, если ф есть одна из функций g, то производные от нее будут третьего порядка, а деленная на 2g вторая строчка в (8.16) будет восьмого порядка. Следовательно, восьмого порядка будут и те члены в тензоре Эйнштейна, которые отбрасываются при замене обобщенного оператора Даламбера обыкновенным. [34]

Располагая нашим списком доказательств, мы одновременно имеем и перечень всех теорем нашей формальной системы, поскольку теорема - это утверждение, которое стоит в последней строчке списка корректно построенных доказательств. Подобный перечень полностью проверяется непосредственными вычислениями: ведь мы можем рассматривать все строки символов системы - независимо от того, имеют они смысл как доказательства или нет - и начать тестировать нашим алгоритмом первую строчку, чтобы понять, является ли она доказательством, и отбросить ее, если нет; затем мы подобным же образом тестируем вторую строчку и исключаем ее, если и она не является доказательством; потом следует третья строчка, четвертая и так далее. Посредством этого мы в конце концов достигнем строки, содержащей доказательство, если таковая имеется в нашем списке. Таким образом, если бы Гильберту удалось отыскать свою математическую систему - систему аксиом и правил вывода, достаточно мощную, чтобы позволить решать, путем формального доказательства, вопрос о справедливости или ложности любого математического утверждения, корректно сформулированного в рамках системы, - то тогда существовал бы общий алгоритмический метод выяснения истинности любого такого рассуждения. Потому что, если мы при помощи процедуры, описанной выше, находим искомое утверждение как последнюю строчку некоторого доказательства, то это утверждение автоматически считается доказанным. Если же, напротив, мы находим последнюю строчку, содержащую отрицание нашего утверждения, то мы тем самым доказываем его ложность. То есть наша механическая процедура всегда бы прерывалась на некотором шаге и мы бы имели универсальный алгоритм для доказательства истинности или ложности всех утверждений системы. [35]

Схема распространения продольной волны. [36]

О лишь получила ускорение w, направленное кверху. Вторая строчка дает положение частиц через четверть периода после начала движения: частица О достигла своего крайнего удаления вверх, частица А приобрела лишь ускорение w, направленное вверх. Третья строчка дает положение через полпериода после начала движения: частица О проходит положение равновесия, идя вниз, частица А достигла крайнего удаления вверх, частица В приобрела лишь ускорение w, направленное вверх. Четвертая строчка дает положение частиц через три четверти периода после начала движения: частица О достигла крайнего отклонения вниз, частица А проходит положение равновесия, идя вниз, частица В достигла крайнего отклонения кверху; частица С приобретает ускорение w, направленное вверх. Наконец, в пятой строчке даны положения частиц через период после начала колебания: частица О опять проходит положение равновесия, идя вверх; частица А достигла крайнего отклонения книзу; частица В идет через положение равновесия вниз; частица С достигла крайнего смещения кверху; частица D приобрела ускорение w, направленное наверх. [37]

Во флоре России известны десятки видов ядовитых растений и грибов, представляющих опасность для человека. Токсичные вещества в опасных количествах концентрируются чаще всего в отдельных частях растений, например в корневищах борца и веха ядовитого. Некоторые грибы - строчок, свинушка тонкая - накапливают токсины, а бледная и белая поганки, мухоморы представляют смертельную опасность для человека. [38]

Найденные черновые таблицы показывают, что именно L целью сопоставления по атомным весам галогенов со щелочными металлами Менделеев под каждым ( кроме лития) щелочным металлом в порядке возрастания атомных весов подписал галоген. При этом обнаружилось, что атомный вес каждого галогена на несколько единиц меньше, чем у стоящего под ним щелочного металла. Действительно, после того как вторая строчка начатой таблицы была заполнена галогенами, Менделеев заполнил третью строку элементами группы кислорода; причем, у них всех ( кроме теллура) атомные веса оказались меньшими, чем у стоящих во второй строке галогенов. [39]

Не откладывая дела в долгий ящик, приступим к рассмотрению самого доказательства. В IX главе мы уже объяснили довольно подробно идею Геделева изоморфизма. Здесь мы постараемся описать математическое понятие, позволяющее нам перевести предложение типа Строчка 00 - теорема ТТЧ в высказывание теории чисел. [40]

Эта темная зона представляет собой область диффузионного проникновения железа в титан, которое, возможно, приводит к уменьшению интенсивности его эмиссии. Светлая полоска состоит из карбида титана, работа выхода электронов которого меньше, чем у железа и титана. С увеличением времени выдержки при высокой температуре строчка светлых пятнышек карбида титана появлялась в темной зоне титана, обогащенного железом, что свидетельствует о диффузии углерода из стали в титан. [41]

Размножение половое ( сумчатая стадия), бесполое ( конидии) и вегетативное. В результате полового процесса, различно протекающего у разных А. Конидиаль-ные, или несовершенные, стадии часто выделяют как самостояг. Большинство сапротрофы, обитающие в почве, на субстратах органич. Сморчок, строчок, трюфель и др. - съедобные. [42]

Страницы: 1 2 3