Основные этапы становления и структура современной математики
Информация - Математика и статистика
Другие материалы по предмету Математика и статистика
/p>
Операция доказательства от противного представлена в математической логике следующим образом. Дана последовательность формул G и отрицание A (G , A). Если из этого следует B и его отрицание (G , A B, не-B), то можно сделать вывод, что из последовательности формул G вытекает истинность A. Иначе говоря, из ложности антитезиса следует истинность тезиса.
Использованная литература:
1.Н.Ш.Кремер, Б.А.Путко, И.М.Тришин, М.Н.Фридман, Высшая математика для экономистов, учебник, Москва, 2002;
2.Л.Д.Кудрявцев, Современная математика и ее преподавание, Москва, Наука, 1985 год;
.О.И.Ларичев, Объективные модели и субъективные решения, Москва, Наука, 1987 год;
.А.Я.Халамайзер, Математика? - Забавно!, издание автора, 1989 год;
5.П.К.Рашевский, Риманова геометрия и тензорный анализ, Москва, 3 издание, 1967 год;
.В.Е.Гмурман, Теория вероятности и математическая статистика, Москва, Высшая школа, 1977 год;
.Всемирная сеть Enternet.