О некоторых аспектах определения понятий и доказательства теорем с применением законов математической логики
Аннотация
Представлены исследования некоторых аспектов определения математических понятий и упрощенного доказательства математических теорем с применением метода от противоположного и законов математической логики, причем без ущерба для математической строгости. Показаны новое определение числового уравнения и числового тождества, новые доказательства теорем Больцано-Коши и Веерштрасса.
Об авторах
Аллаберди Галканович Галканов
Московский государственный гуманитарно-экономический университет
Россия
Россия
Алевтина Алексеевна Бастрон
Российский государственный гуманитарный университет
Россия
Россия
Список литературы
1. Галканов А.Г. Числовые уравнения и тождества в понятиях, теоремах, методах, задачах и решениях. М.: Изд-во Моск. гос. ун-та леса, 2013.
2. Галканов А.Г. О новых доказательствах некоторых теорем в курсе математического анализа // Вестн. Моск. гос. гуманитар.-экон. ин-та. 2014. № 4. С. 129-137.
3. Галканов А.Г. Метод от противоположного и его применения в математике. М.: Изд-во Моск. гос. ун-та леса, 2011.
4. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления: Учеб. пособие для ун-тов и педин-тов: В 3 т. Т. 1. М.: Наука, 1969.
5. Берс Л. Математический анализ: Учеб. пособие для втузов: В 2 т. Т. 1 / Пер. с англ. Л.И. Головиной. М.: Высш. шк., 1975.
6. Кудрявцев Л.Д. Курс математического анализа: Учеб. для унтов и втузов: В 2 т. Т. 1. М.: Высш. шк., 1981.
7. Никольский С.М. Курс математического анализа: Учеб. для вузов. М.: ФИЗМАТЛИТ, 2001.
8. Архипов Г.И., Садовничий В.А., Чубариков В.Н. Лекции по математическому анализу: Учеб. для вузов. М.: Дрофа, 2004.
9. Зорич В.А. Математический анализ: Учеб.: В 2 ч. Ч. 1. М.: МЦНМО, 2002.
Для цитирования:
Галканов А.Г., Бастрон А.А. О некоторых аспектах определения понятий и доказательства теорем с применением законов математической логики. История и архивы. 2016;(1):14-21.
For citation:
Galkanov A., Bastron A. On some aspects of concepts definition and theorems proving with application of mathematical logic laws. History and Archives. 2016;(1):14-21. (In Russ.)
Просмотров: 132
Послать статью по эл. почте 