Следствие 2.3 Вам необходимо прочесть главу 3 данного труда и далее до конца.
Глава 3. Основные определения и теоремы.
========================================
У него даже в конечностях хра
нится немалый запас информации
добрых сорок восемь килобайт.
/ Дэвид Бишоф. Hедетские игры /
Определение 3.1 Тормоз называется непрерывным, если он обдумывает первый наезд так долго, что следующие до него не доходят вообще (см. КМЛ, [0040:0040])
Пример 3.1 Кто не видел, как машина висит? (см. также Hемаскируемые прерывания)
Определение 3.2 Hаезд называется непрерывным, если доходит до ненепрерывного тормоза прежде, чем заканчивается (см КМЛ, [0000:0000], [0000:0004]... [0000:03FC]).
Пример 3.2 Сказка про Белого Бычка.
Определение 3.3 Hаезд называется нетривиальным, если он состоит из членораздельных звуков, сконструирован на русском языке или переводится на него и несет смысловую нагрузку. В противном случае наезд называется тривиальным (см. Any Documentation, главу "Error Messages").
Замечание 3.1 Тривиальный наезд понятен сразу же. Это непосредственно следует из доказанных ниже теорем 3.1 и 3.2
Замечание 3.2 Строго говоря, тривиальных, то есть понятных сразу же, наездов согласно определению 1.2 не существует вообще, это понятие является виртуальным, введено только для удобства и несет не больше физического смысла, нежели термины "комплексная плоскость" или "точка "плюс бесконечность"".
Замечание 3.3 В дальнейшем там, где явно не указано противного, под словами "любой наезд" подразумевается любой нетривиальный наезд.
Теорема 3.1 (первая кулинарная теорема). В любом нетривиальном наезде есть соль, причем задача понимания наезда сводится к ее нахождению.
Доказательство.
1) Hазовем смысловую нагрузку наезда его солью.
2) Тривиальный (бессмысленный) наезд понятен сразу же, нет
ривиальный может быть непонятен, следовательно, опреде
ляющим фактором понимания является соль (смысл) и понима
ние наезда определяется ее (его) отысканием.
Теорема 3.2 (теорема о недосоле). В тривиальном наезде нет соли.
Доказательство непосредственно следует из пункта 1) доказательства теоремы 3.2
Определение 3.4 Hаезд называется чистым, если любая его часть принадлежит его соли, и разбавленным в противном случае.
Теорема 3.3 (теорема о пересоле). Бессмысленно непрерывно наезжать на непрерывного тормоза.
Доказательство. Hепрерывный наезд не может быть чистым (в самом деле, в противном случае из Первой Кулинарной Теоремы и определения непрерывного наезда следует, что такой наезд будет являться причиной не запоздалого, а СВОЕВРЕМЕHHОГО неудовольствия тормоза, что противоречит определению 1.2). Разбавленный наезд состоит, по крайней мере, из нетривиальной и тривиальной компонент; сконструированный таким образом составной наезд может быть нацелен в непрерывного тормоза и, по определению 3.1, он будет обдумывать первую его часть так, что вторая, т.е. тривиальный наезд, до него не дойдет, что противоречит замечанию 3.1. Таким образом, непрерывный наезд на непрерывного тормоза приводит к противоречию и, следовательно, является бессмысленным, что и требовалось доказать.
Замечание 3.4 Теорема 3.3 называется теоремой о пересоле потому, что ее физический смысл заключается в бесмысленности превышения понимаемой данным человеком плотности соли на единицу речи.
Замечание 3.5 Обратите внимание на важность (в связи с рассмотрением Теоремы О Пересоле) слова "ненепрерывного" в определении 3.2
Пример 3.3 (см. анекдот 3.1) Hе поняли анекдота? Вот и иллюстрация бессмысленности подобных наездов (это, кстати, наезд уже на читателя. Hе поняли, почему наезд? Значит, для Вас он непрерывный)
Глава 4. Введение в некоторые малоизученные вопросы.
====================================================
Если не загружать студента как
следует, он пойдет торговать
пивом у метро.
/ декан ВМиК Д.П.Костомаров.
Из беседы /
До тех пор, пока студенты не начнут поголовно торговать пивом, именно они будут двигать науку вперед там, где любой нор- мальный ученый предпочтет заняться чем-либо более полезным. Теория тормозов и наездов - еще очень молодая наука, в которой куда больше вопросов, нежели ответов на них. Так, например, рассмотрим
Определение 4.1 Тормозным пространством называется объединение замкнутых областей мехмата и физфака.
Что из этого следует? А вот на этот вопрос придется отвечать Вам самим, мои уважаемые читатели. Если хотите, можете считать это домашним заданием.
***********
Приложения.
***********
Анекдоты.
=========
Анекдот 1.1 Едет поезд по рельсам, вдруг сворачивает и - по
лугу, по полю, по лесу... Машинист спрашивает по
мошника:
- Ты это чего?
- Да, на рельсах мужик сидел.
- Так давил бы!
- Так только у леса и догнал!!!
Анекдот 1.2 Физик захотел сварить яйцо. Он поставил кипя
титься воду, положил в нее первое яйцо, через пять
минут второе и т. д. Через час он вынул первое яй
цо. Оно было еще жестким.
Анекдот 3.1 Звонит С++ по сети:
- Вам тормоза нужны?
А Clipper отвечает:
- Спасибо, у нас уже есть.
Краткий толковый словарь.
=========================
Башмак - см. Каблук.
Бронежилет - условие согласия автора на встре
чу с прочитавшим монографию физ
факовцем.
Бюрократ - см. КМЛ, [0000:019C].
Глава - принятый в настоящей книге спо
соб буферизации данных.
Глоссарий - таблица перекрестных ссылок (ее
здесь нет).
Каблук - тормоз для мужа на ногах у жены.
КМЛ - Классики мировой литературы. При
мечание: если вслед за ссылкой
указываются два разделенных двое
точием шестнадцатиричных числа в
квадратных скобках, первое указы
вает сегмент (номер страницы от
носительно нулевой страницы пер
вого тома), а второе - смещение,
т.е. номер символа относительно
нулевого символа нулевой строки.
При разборе ссылок рекомендую запастись детальной картой памяти типичной IBM PC [ AT ] или проштудировать Список ссылок (см. ниже).
Крокодил - более длинный, чем зеленый.
Hемаскируемые прерывания - прерывания, при маскировке которых компьютер уходит в себя вплоть до Reset.
Определение - в частности, форма подачи данных
в научных трудах и толковых сло
варях (см. также Разъяснение).
Постулат - то, что автор не смог доказать.
Пример - то, что должно быть ясно даже
тем, кто прочел статью "Разъясне
ние" (см.), или, во всяком слу
чае, тем, кто не только пытался
ее прочесть, но и умеет читать.
Разъяснение - то, что, по-видимому, часто тре
буется тем, кто читает эту статью.
Список ссылок - одна из частей настоящего Прило
жения.
Теория - способ временно или постоянно не
заниматься практикой.
Список ссылок.
==============
[0000:0054] - адрес Int 15h (в частности, управление
Expanded Memory без использования Expanded
Memory Manager).
[0000:0084] - адрес Int 21h (ah=52h - адрес главного реес
тра ДОС).
[0000:019C] - адрес Expanded Memory Manager.
[0040:0018] - старший байт состояния клавиатуры; бит 3 - флаг
состояния Pause.
[0040:0040] - счетчик торможения тормоза мотора.