Основные базисы и нормальные формы для логических формул
В лекции [https://zen.yandex.ru/media/id/603a418d1684900aa2499416/vozmojnosti-wolframalpha-dlia-logiki-vyskazyvanii-62425b1063dc376f1cb81248] показана возможность построения таблиц истинности для формул логики высказываний в вопросно-ответной системе Wolfram|Alpha. Однако это не единственная функциональность этой вопросно-ответной системы Wolfram|Alpha для логики высказываний. Рассмотрим следующее Упражнение. Для заданной формулы необходимо: 1) преобразовать заданную формулу таким образом, чтобы отрицание не навешивалось над другими операциями...
242 читали · 3 года назад
Кратко о дискретном косинусном преобразовании
Немного о DCT и о том, почему именно оно наиболее часто встречается в системах сжатия видеоизображений с потерями. Перечислим еще раз основные этапы обработки видеокадра при кодировании системой стандарта H.265/HEVC (рис.1). На первом этапе (с условным названием «Разбиение на блоки») кадр разбивается на блоки CU (Coding Unit). На следующем этапе изображение внутри каждого блока предсказывается с использованием пространственного (Intra) или временного (Inter) предсказания. При выполнении временного...