ДМ и Топ: лекция 18.09.2024

Логические и кванторные операции над предикатами. Бинарные отношения и их свойства. Отображения, инъ/сюръ/биекции, образы и прообразы. Композиция бинарных отношений и отображений, ее ассоциативность. Обратное отображение к биекции.