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