Николенко, Сергей. Истина в математике: от Египта к... Египту? [Текст] / С. Николенко> // Знание-сила. - 2008. - N 6. - С. 63-69 . - ISSN 0130-1640
Рубрики: Математика История математики Математическая логика Кл.слова (ненормированные): истина в математике -- математическая истина -- доказательства (математика) Аннотация: О математической истине. |
Лакатос, И. Процедуры доказательства в современном математическом анализе [Текст] / И. Лакатос ; пер. с англ. В. А. Бажанова> // Вопросы философии. - 2009. - N 8. - С. 97-100. - Библиогр. в сносках . - ISSN 0042-8744
Рубрики: Философия Философия науки Кл.слова (ненормированные): философия математики -- гипотезы (математика) -- доказательства (математика) -- математический анализ -- математическое знание Аннотация: Публикация главы диссертации венгерского ученого И. Лакатоса, которая переводится на русский язык впервые и посвящена философским проблемам математического знания. Доп.точки доступа: Бажанов, В. А. \.\; Нейман \дж. фон\ |
Черепанов, Е. М. Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов> // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка. |
Белякин, Н. В. Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов> // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями. Доп.точки доступа: Черепанов, Е. М. |
Стойлова, Л. П. (кандидат педагогических наук, профессор). Исследовательские задания по математике и умение доказывать [Текст] / Л. П. Стойлова> // Начальная школа. - 2015. - № 9. - С. 58-60. - Библиогр.: с. 60 (3 назв.) . - ISSN 0027-7371
Рубрики: Образование. Педагогика Методика преподавания учебных предметов Кл.слова (ненормированные): доказательства (математика) -- исследовательские задания -- методика преподавания математики -- младшие школьники -- начальная школа -- умение доказывать -- уроки математики Аннотация: Формирование умения доказывать несложные математические утверждения является одной из важных задач начального обучения, поскольку овладение этим действием не только способствует усвоению изучаемого материала, но и служит основой дальнейшего обучения. В статье приведены примеры исследовательских заданий для младших школьников, выполняя которые они могут учиться вести доказательство. |
Тихомирова, С. В. (кандидат физико-математических наук; доцент). Виды доказательств математических предложений [Текст] / С. В. Тихомирова> // Начальная школа. - 2022. - № 2. - С. 49-54. - Библиогр.: с. 54 (3 назв.) . - ISSN 0027-7371
Рубрики: Образование. Педагогика Педагогическое образование Кл.слова (ненормированные): виды доказательств -- доказательства (математика) -- математические предложения -- подготовка учителей начальных классов -- решение задач -- учебные дисциплины Аннотация: В статье приводятся доказательства математических предложений из разных разделов учебной дисциплины "Теоретические основы математической подготовки учителя начальных классов". |