Абак - счётные доски для вычислений в Древней Греции, Древнем Риме, Древнем Китае и т.д.
Арифмометр - настольная или портативная механическая вычислительная машина.
Перфокарта - носитель информации. Тонкий картон с отверстиями или без них в определённых местах.
Транзистор - полупроводниковое устройство, которое используется для усиления, генерации и преобразования электрических сигналов. Транзисторы заменили вакуумные лампы в большинстве электронных устройств, свершив революцию в создании интегральных схем и компьютеров.
ЭНИАК – первая электронная вычислительная машина.
Бэббидж Чарлз - изобретатель первой аналитической вычислительной машины.
Лавлейс Ада - написала первые программы для аналитической вычислительной машины Беббиджа.
Лейбниц - предложил двоичную систему счисления, автор первой механической счётной машины производившей сложение, вычитание, умножение и деление чисел.
Возняк Стив - один из основателей компании Apple. Разработал первый массовый домашний компьютер и первый массовый персональный компьютер.
Холлерит Герман - создатель электрической статистической табулирующей системы (оборудования для работы с перфокартами).
Непер Джон - изобретатель логарифмов, для их вычисления он предложил устройство под названием «палочки Непера».
Шиккард Вильгельм - придумал «Считающие часы», первый арифмометр, умевший выполнять четыре арифметических действия.
Паскаль Блез - автор первой механической счётной машины, выполнявшей сложение и вычитание чисел. (Паскаль - один из наиболее известных языков программирования.)
Лебедева Сергей - под его руководством была создана МЭСМ (малая электронная счётная машина).
Обозначим P,Q,A утверждение что х принадлежит соответствующему отрезку ¬А отрицание А, то есть х не принадлежит А перепишем и упростим исходную формулу P→((Q∧¬A)→P) известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности) тогда: P→(¬(Q∧¬A)∨P) раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности) P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P ¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать остается ¬Q∨A Значит х либо принадлежит А либо не принадлежит Q для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q ответ А=[40,77]
Смотри картинку
Объяснение:
Крестик - начало слова, стрелка - конец.
Абак - счётные доски для вычислений в Древней Греции, Древнем Риме, Древнем Китае и т.д.
Арифмометр - настольная или портативная механическая вычислительная машина.
Перфокарта - носитель информации. Тонкий картон с отверстиями или без них в определённых местах.
Транзистор - полупроводниковое устройство, которое используется для усиления, генерации и преобразования электрических сигналов. Транзисторы заменили вакуумные лампы в большинстве электронных устройств, свершив революцию в создании интегральных схем и компьютеров.
ЭНИАК – первая электронная вычислительная машина.
Бэббидж Чарлз - изобретатель первой аналитической вычислительной машины.
Лавлейс Ада - написала первые программы для аналитической вычислительной машины Беббиджа.
Лейбниц - предложил двоичную систему счисления, автор первой механической счётной машины производившей сложение, вычитание, умножение и деление чисел.
Возняк Стив - один из основателей компании Apple. Разработал первый массовый домашний компьютер и первый массовый персональный компьютер.
Холлерит Герман - создатель электрической статистической табулирующей системы (оборудования для работы с перфокартами).
Непер Джон - изобретатель логарифмов, для их вычисления он предложил устройство под названием «палочки Непера».
Шиккард Вильгельм - придумал «Считающие часы», первый арифмометр, умевший выполнять четыре арифметических действия.
Паскаль Блез - автор первой механической счётной машины, выполнявшей сложение и вычитание чисел. (Паскаль - один из наиболее известных языков программирования.)
Лебедева Сергей - под его руководством была создана МЭСМ (малая электронная счётная машина).
¬А отрицание А, то есть х не принадлежит А
перепишем и упростим исходную формулу
P→((Q∧¬A)→P)
известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности)
тогда:
P→(¬(Q∧¬A)∨P)
раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности)
P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P
¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать
остается ¬Q∨A
Значит х либо принадлежит А либо не принадлежит Q
для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q
ответ А=[40,77]