Раздел 44 · Логика и типы

Свойства отношений и эквивалентность: бригады

junior~25 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Агата Сомова · старший инспектор

Тимофей Ильич разложил карточки «работают в одну смену» за пять минут, и ни один человек не попал в две стопки. Вчера я так же раскладывала «знакомы друг с другом», и Прохор у меня оказался в трёх стопках сразу. Чем одна связь отличается от другой? Мне нужно правило, а не везение.

В порту десять грузчиков, и по графику каждый закреплён за одной сменой. Ночная: Фома, Лука, Митя, Прохор, Данила. Дневная: Тихон, Сава, Гаврила. Вечерняя: Ерёма, Кузьма. Карточки «x и y работают в одну смену» складываются в аккуратные стопки, и эти стопки и есть смены, они же бригады.

Карточки «знакомы» так не складываются. Чтобы понять почему, посмотрим на отношения не как на списки пар, а как на вещи со свойствами. Свойств немного, и каждое видно на рисунке.

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.