|
доказательство от противного
—
[Космин А.В., Космин В.В. Англо-русский путейско-строительный словарь]
доказательство от противного
Один из базовых методов доказательства теорем в математике (см. также theorem proving).
[Э.М. Пройдаков, Л.А. Теплицкий] |
EN |
|
FR |
|
|
Тематики
- железнодорожный транспорт
- информационные технологии в целом
EN
- negative proof
- proof by contradiction
|