- доказательство тождества
- мат. proof of identity
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ЗАКОН ТОЖДЕСТВА — один из фундаментальных законов формальной логики и рассудочного мышления, запрещающий произвольно менять в ходе конкретного рассуждения и аргументации смысл и значение используемых понятий (терминов). Императивно это означает соблюдение… … Философия науки: Словарь основных терминов
Конденсация Доджсона — В математике, конденсация Доджсона это метод вычисления определителей. Метод назван в честь его создателя Чарльза Доджсона (более известного, как Льюис Кэррол). Метод заключается в понижении порядка определителя специальным образом до порядка 1,… … Википедия
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
“ИСПОВЕДЬ” (́Августин) — “ИСПОВЕДЬ” (Confessiones) (ок. 397 401) в 13 кн. сочинение авгус/яикв, суммирующее драматические перипетии его духовного развития. Название (“confessio” “исповедание веры” и “исповедание грехов”) композиционно объединяет кн. I IX… … Философская энциклопедия
«ИСПОВЕДЬ» — (Confessiones) (ок. 397–401) в 13 кн. – сочинение Августина, суммирующее драматические перипетии его духовного развития. Название («confessio» – «исповедание веры» и «исповедание грехов») композиционно объединяет кн. I–IX (психологическая… … Философская энциклопедия
Руднев, Михаил Матвеевич — доктор медицины, профессор и Ученый Секретарь Медико Хирургической Академии, Вице президент Общества Русских врачей в С. Петербурге, редактор издатель "Журнала нормальной и патологической гистологии, фармакологии и клинической… … Большая биографическая энциклопедия
ХУЭЙ ШИ — (ок. 350 – 260 до н.э.) – др. кит. диалектик и софист, друг Чжуан цзы, оказавший на него серьезное влияние своей идеей всеобщего релятивизма. Парадоксы X. Ш., сохранившиеся гл. обр. в трактате Чжуан цзы ( небо находится так же низко, как земля, и … Философская энциклопедия
Алгоритм Робинсона — Эта статья или раздел грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой переводчиком или сделан человеком со слабыми познаниями в языке оригинала. Вы можете помочь … Википедия
Лейбниц, Готфрид Вильгельм — Готфрид Вильгельм Лейбниц Gottfried Wilhelm Leibniz … Википедия
Алгебраическое тождество Бьянки — Тензор Римана удовлетворяет следующему тождеству: которое называется алгебраическим тождеством Бьянки или первым тождеством Бьянки. Содержание 1 Варианты записи тождества … Википедия