Перейти к содержимому
RanimusВетвь разума

Множества, логика, отображения

Логические символы и кванторы, операции над множествами, отображения, инъекция/сюръекция/биекция, счётные и несчётные множества, метод доказательств.

ДоступнаСложность: ★★☆☆☆За прохождение: 88 (с первой попытки 105)

Пожаловаться

Проверка знаний для этой темы ещё не готова.