Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Однако необходимо принять во внимание, что по условиям задачи скорость конвеера синхронизирована со скоростью вращения колес
Более того, современные ABS, насколько я помню, это учитывают и допускают небольшую блокировку колес при торможении на определенных поверхностях. Ну и не надо забывать, что задача ABS не только пытаться снизить длину тормозного пути (это достигается не всегда), но и в первую очередь обеспечить автомобилю управляемость во время торможения.
Если нить у вас невесомая и нерастяжимая, то силы, приложенные к её концам, совпадают. А также совпадают силы, приложенные к любой точке оной нити.У вас «нерастяжимая» и «не растянутая» не перепутаны?
Не так много радости в том, что все точки оставшегося дисконтинуума имеют по два прообраза.А вот мне кажется, что от такого решения задачи радости должно быть куда больше, чем от нормального.

На первой же лекции доктор Зук полностью заполнил две доски и стену рядом, доказывая, что если у вас есть выключатель света, и выключатель выключен, и вы переключаете выключатель, то свет зажжется.
Доказательство было безумно запутанным и весьма подверженным ошибкам. Было труднее поверить, что доказательство правильно, чем убедить себя в том факте, что при включении выключателя света — включается свет. Конечно, несколько досок доказательства содержало ряд пропущенных шагов, пропущенных потому, что они были слишком неинтересны, чтобы углубляться в них формально. Для части шагов использовался ветхо-заветный метод «Доказательство по Индукции», для других — доказательство от противного, и для оставшихся использовались доказательства аспирантов.
Моим домашним заданием было доказать утверждение: если свет был выключен и сейчас он включен, докажите, что вы переключили выключатель.
Я попытался. Я действительно попытался.
Я провел часы в библиотеке, пытаясь.
После пары часов я нашел ошибку в доказательстве доктора Зука, которое я пытался имитировать. Возможно, я неправильно списал, но это позволило мне обнаружить одну вещь: если на то, чтобы доказать тривиальную вещь, уходит три часа на заполнение досок, позволяя вкрасться сотням возможных ошибок, то этот механизм никогда не сможет доказать то, что действительно интересно.
Условие как компромисс