Математическая логика и методы доказательств
Высказывания, кванторы, импликация, доказательство от противного, индукция и контрпримеры.
ДоступнаСложность: ★★☆☆☆За прохождение: 88 (с первой попытки 105)
Материал по этой теме готовится
Мы наполняем дерево постепенно. Пока можно посмотреть, где почитать и посмотреть о теме, и какие темы с ней связаны.