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

Математическая логика и методы доказательств

Высказывания, кванторы, импликация, доказательство от противного, индукция и контрпримеры.

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

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

Проверка знаний

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