Локшин, А. А. О методе обратной индукции [Текст] / Локшин А. А., Иванова Е. А.> // Аспирант и соискатель. - 2009. - N 2. - С. 76-77. - Библиогр.: с. 77 (1 назв. ) . - ISSN 1608-9014
Рубрики: Математика Математический анализ Кл.слова (ненормированные): индуктивный метод -- доказательства теорем -- теорема Эйлера -- Эйлера теорема Аннотация: Предложена идея ведения доказательства от противного. Показан путь такого доказательства на примере теоремы Эйлера. Доп.точки доступа: Иванова, Е. А. |
Зиновьев, Б. С. (кандидат физико-математических наук). Некоторые несобственные интегралы [Текст] / Зиновьев Б. С., Елкина Г. М., Третьякова И. Ю.> // Вестник Ивановского государственного энергетического университета. - 2009. - Вып. 4. - С. 70-72. - Библиогр.: с. 72 (3 назв. ) . - ISSN 2072-2672
Рубрики: Математика Дифференциальные и интегральные исчисления в целом Кл.слова (ненормированные): комплексный анализ -- действительный анализ -- теория вычетов -- несобственные интегралы -- теоремы -- доказательства теорем Аннотация: Методом теории вычетов комплексного анализа найдены шесть действительных интегралов первого рода, что демонстрирует тесную связь комплексного и действительного анализа. Для нахождения трех интегралов сформулирована и доказана теорема. Доп.точки доступа: Елкина, Г. М. (доцент); Третьякова, И. Ю. (доцент) |
Шалина, О. Н. Обучение доказательству теорем в единстве эвристики и репродукции [Текст] / О. Н. Шалина> // Интеграция образования. - 2010. - N 3. - С. 105-110. . - Библиогр.: с. 110 (4 назв. )
Рубрики: Образование. Педагогика Высшее профессиональное образование Кл.слова (ненормированные): доказательства теорем -- методы обучения -- обучение доказательству теорем -- сложность доказательства теорем -- теоремы -- эвристика Аннотация: В статье приведены способы определения сложности и трудности доказательств теорем, на основе которых разработаны критерии выбора метода обучения. Нет сведений об экземплярах (Источник в БД не найден) |
Карпушина, В. Д. (соискатель). Обобщения теоремы Наполеона [Текст] = In terms of Napoleon`s theorem / Карпушина В. Д.> // Аспирант и соискатель. - 2016. - № 1. - С. 46-52 : 6 рис. - Библиогр.: с. 52 4 назв. ) . - ISSN 1608-9014
Рубрики: Математика Геометрия Кл.слова (ненормированные): многоугольники -- геометрические фигуры -- теорема Наполеона -- Наполеона теорема -- доказательства теорем Аннотация: Сформулирована и доказана обобщенная теорема Наполеона для центральносимметричного шестиугольника. Нет сведений об экземплярах (Источник в БД не найден) |
Третьяков, А. Новое доказательство теорем Куна - Таккера и Фаркаша [Текст] / А. Третьяков, Ю. Евтушенко> // Журнал вычислительной математики и математической физики. - 2018. - Т. 58, № 7. - С. 1085-1089. - Библиогр.: с. 1089 (15 назв. ) . - ISSN 0044-4669
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): Куна - Таккера теорема -- Фаркаша теорема -- банаховы пространства -- выпуклая оболочка -- доказательства теорем -- локальный минимум -- минимизация дифференцируемой функции -- теорема Куна - Таккера -- теорема Фаркаша -- условия оптимальности Аннотация: Для задачи минимизации дифференцируемой функции на множестве, определяемом ограничениями типа неравенства, дается простое доказательство теоремы Куна - Таккера в форме Фрица Джона. При этом используется только элементарное свойство проекции точки на выпуклое замкнутое множество. Предлагаемый подход применен для доказательства теоремы Фаркаша. Все результаты переносятся на случай банаховых пространств. Доп.точки доступа: Евтушенко, Ю. Нет сведений об экземплярах (Источник в БД не найден) |
Родин, Кирилл Александрович (кандидат философских наук). Конструктивизм в логике и математике (Витгенштейн против Геделя: некоторые современные прочтения) [Текст] / К. А. Родин> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2018. - № 45. - С. 103-113. - Библиогр.: с. 111-112 (12 назв.) . - ISSN 1998-863x
Рубрики: Математика Математическая логика Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): философия математики -- теоремы о неполноте -- первая теорема о неполноте -- доказательства теорем -- алгоритмические доказательства -- метаматематические доказательства -- конструктивные доказательства -- конструктивизм -- семантика -- философы -- математики -- логики Аннотация: Исследование некоторых современных интерпретаций заметок Людвига Витгенштейна о Курте Геделе и его первой теореме о неполноте в контексте решающего для Витгенштейна в философии математики различия между алгоритмическим и конструктивным (метаматематическим) типом доказательства. Доп.точки доступа: Витгенштейн, Л. (философ ; 1889-1951); Гедель, К. (логик ; 1906-1978) Нет сведений об экземплярах (Источник в БД не найден) |
Малова, Ирина Евгеньевна (доктор педагогических наук; профессор). Доказательства в теме "Четырехугольники" и их использование для реализации современных требований к результатам обучения математики [Текст] / И. Е. Малова, Н. Г. Коршунова> // Вестник Костромского государственного университета. Сер.: Педагогика. Психология. Социокинетика. - 2018. - № 4. - С. 204-208. - Библиогр.: с. 207-208 (11 назв. ). - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 2073-1426
Рубрики: Образование. Педагогика Методика преподавания учебных предметов Кл.слова (ненормированные): математическое образование -- методика преподавания геометрии -- метапредметные результаты -- метапредметность -- системно-деятельностный подход -- решение задач -- смысловое чтение -- доказательства теорем Аннотация: В статье раскрываются проблемы использования доказательств теорем и решения задач на доказательство в теме "Четырехугольники" школьного курса геометрии для реализации современных требований к обучению учащихся. Доп.точки доступа: Коршунова, Наталья Геннадьевна Нет сведений об экземплярах (Источник в БД не найден) |