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

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

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

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

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

Материал по этой теме готовится

Мы наполняем дерево постепенно. Пока можно посмотреть, где почитать и посмотреть о теме, и какие темы с ней связаны.