Ответ:
вот
Объяснение:
Книга написана одним из крупнейших зарубежных специалистов в области программирования. Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме остроумных и поучительных задач по программированию. Книга представляет значительный интерес для широкого круга программистов.
Книга вышла в издательстве “Мир” в 1978 году.
ЗvT=(З+Т)-3&T=18000+12000-5000=25000
Ответ: 25000
Довольно таки быстрая, смотря какой у тебя пк, такая будет и задержка.
<em>Высказывание А:</em>"За любой партой сидит ученик, решивший контрольную работу наполовину".
<em>Высказывание В:</em>"Не менее половины класса решило контрольную работу полностью".
Логическая функция F, определяющая понятие "Легкая контрольная работа", может быть записана в виде
Высказывание, что работа не является легкой, есть инверсия функции F.
Сформулируем инверсию высказывания А:
"Хотя бы за одной партой сидит ученик, не решивший контрольную работу наполовину".
Сформулируем инверсию высказывания В:
"Менее половины класса решило контрольную работу полностью".
Тогда инверсия F может быть записана в следующем виде:
<em>Хотя бы за одной партой сидит ученик, не решивший контрольную работу наполовину ИЛИ менее половины класса решило контрольную работу полностью</em>.