Цитаты со словом «проверка»
Там, где есть модульность, возможно непонимание: Сокрытие информации предполагает необходимость
проверки связи.
О Циолковском: Результаты его пионерских трудов очевидны для всех, кто сегодня работает в области космонавтики. Он оставил нам математические расчеты, которые необходимы для понимания проблем, связанных со строительством многоступенчатых ракет. В его исследованиях в области ЖРД были обозначены исходные позиции, с которых начинается конструирование современной ракетной техники, например, двигателей для ракеты-носителя «Сатурн-5»… Это свидетельствует о том, что требования к конструкции ЖРД, сформулированные Циолковским много десятилетий назад, и сегодня не утратили своего значения. Его теории выдержали
проверку временем.
Всё это сон. И всё же, проверить это на нескольких экспериментах. Не бывает ничего слишком чудесного, чтобы быть правдой, если только это согласуется с законами природы; а в делах, подобных этим, эксперимент — лучшая
проверка такого согласия.
Похожие цитаты:
Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.
Миры, в которых действуют персонажи Филипа Дика, подвергаются отмене или пересмотру без предварительного уведомления. Реальность в них примерно так же надёжна, как и обещание политика.
Любой, не спрашивая Microsoft, может разработать приложение, выполняемое на платформе Windows.
«Никто не требует от вас выводить на экзамене всю аналитическую геометрию. Это было сделано до вас многими умными людьми. Некоторые вещи надо просто знать». (На сдаче, получив от студента неточный ответ.)
Суждения, считающиеся непререкаемыми, потому что их никогда не подвергали анализу, должны смириться и предъявить свои законные документы; часто оказывается, что они их вовсе не имеют.
«Регрессионное тестирование»? Что это? Если система компилируется, то это хорошо, если загружается, то это просто здорово!
Я пришел к заключению, что дарвинизм — это не проверяемая научная теория, а метафизическая исследовательская программа — возможный концептуальный каркас для проверяемых научных теорий.
Документация подобна страхованию на неопределенный срок: Она удовлетворяет всех, поскольку почти никто из подписавшихся на нее не зависит от ее преимуществ.
Господин Мюллер, не ужели вы и вправду считаете меня русским резидентом? Это с моим — то опытом работы в СД (
12 серия)
Не следует устраивать волокит с судебными разбирательствами. Это революция, доказательства тут вторичны. Мы должны действовать по убеждению. Они все — банда преступников и убийц.
В естественной науке принципы должны подтверждаться наблюдениями.
Я думаю, владельцы и топ-менеджеры компаний должны как можно чаще отвлекаться от своих привычных дел и проверять качество своих собственных товаров.
Работу программистов следует оценивать не по их изобретательности и логике, а по полноте анализа каждой ситуации.
Всякий раз, когда два программиста встречаются для критического анализа своих программ, они оба молчат.
Если отладка — процесс удаления ошибок, то программирование должно быть процессом их внесения.
Мы обманываем себя, думая, что отношение процедур к данным в активной системе базы данных можно сделать произвольно малым или даже сохранить малым.
Если в вашей процедуре 10 параметров, вероятно, вы что-то упускаете.
Использование программы для доказательства теоремы о четырех красках не изменит математики. Оно просто покажет, что задача, которая оставалась нерешенной в течении столетия, возможно, не так уж важна для математики.
В основном консультации маркетологов подобны генератору случайных чисел. Безусловно стоит обратиться к ним за консультацией, но не стоит пренебрегать и своим собственным видением и мнением.
С течением времени я все больше убеждаюсь в том, что лучший способ инвестиций - это вложить приличную сумму денег в предприятия, о которых кто-то что-то знает и в правильность управления которыми кто-то не слишком верит.
Есть много истин, правда лишь одна: штампованная признанная правда. Она готовится из грязного белья под бдительным надзором государства.
Мне не нужны доказательства. Законы природы исключений не терпят и этим явно отличаются от правил и правильностей, подобных, например, грамматическим.
Возможно ли, что программное обеспечение не похоже ни на что другое; что оно создано для того, чтобы от него отказались со временем;что все дело в том, чтобы оно всегда оставалось для нас мыльным пузырем?
Чтобы понять процесс, нужно иметь теорию. …если вы действительно хотите разбираться в эмпирической науке, то у вас должны быть факты. И проблема в том, как организовать эти факты. Теория, в сущности, и «организует» факты.
Самая важная машина та, что «бушует» у нас в голове и все время ищет нужный ей внешний эмулятор. Стандартизация существующих машин была бы катастрофой, и потому она, вероятно, не произойдет.
«В математическом анализе всё должно быть точно. Какой смысл в неточном утверждении? Вот у Вас есть номер телефона. Какой в нём смысл, если Вы знаете его неточно?» (На сдаче, получив от студента неточный ответ.)
А надо знать, что нет дела, коего устройство было бы труднее, ведение опаснее, а успех сомнительнее, нежели замена старых порядков новыми.
…Воспроизведение акта жизни в следующий момент времени предполагает труд или работу извлечения порядка. В том числе извлечения смыслов, законов, сущностей, извлечения того, что со мной происходит.
Похоже, Gnome разрабатывается интерфейс-фашистами, для которых постоянным оправданием не-делания чего бы то ни было является не «это слишком сложно сделать», а «это может привести пользователя в замешательство».
Никто никогда не доказывал, что человек, по его происхождению от определённой группы людей, должен обязательно иметь определённые умственные характеристики.
Структурированное программирование подтверждает закон исключенного третьего.
Духовный свет в человеке есть свет его разума, предметы которого суть истины, располагаемые им в аналитическом порядке, на основании которых он рассуждает и выводит последовательные заключения. (HH 130)
Если мы верим в структуры данных, мы должны верить и в независимую (и потому одновременную) обработку. Зачем же еще собирать элементы в структуру? Почему мы терпим языки, которые дают нам одно, но не дают другое?
Не создатели, а пользователи должны параметризовать процедуры.
…Реализация данного проекта будет способствовать развитию международного туризма… (В ответ на заявление американцев по поводу строительства военного, по их версии, аэродрома в Гренаде)
Программы без ошибок можно написать двумя способами, но работает- третий.
Строка — это застывшая структура данных, и повсюду, куда она передается, происходит значительное дублирование процесса. Это идеальное средство для сокрытия информации.
«Наряду с достижениями есть и недочёты». Это вполне безопасно. Это можно сказать даже о Библии. Наряду с блестящими местами есть идеологические срывы, например, автор призывает читателя верить в бога.
Те требования, которые подчас способствуют сбору счастья, так увеличиваются из-за жадности, что вся его масса оказывается исчерпанной еще задолго до того, как большинство успеет предъявить свои претензии.
Нельзя научиться решать свои задачи новыми приёмами сегодня, если нам вчерашний опыт не открыл глаза на неправильность старых приёмов.
Руководитель не должен заниматься текучкой. Он вообще не должен ничем заниматься! Он должен отдыхать, ловить рыбу и обдумывать стратегические задачи. Если его присутствие необходимо в офисе − значит, дело плохо организовано.
Суда не предназначены для путешествия господ офицеров с образовательной целью. Они назначены для боя. Им принадлежит личный состав, каждому свой, а не наоборот.
Никогда не кончатся объекты программирования, пока у нас под рукой есть хотя бы одна программа.
Диплом учебного заведения — документ, удостоверяющий, что у тебя был шанс чему-нибудь научиться.