Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Картотека статей - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=доказательства (математика)<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.


    Николенко, Сергей.
    Истина в математике: от Египта к... Египту? [Текст] / С. Николенко // Знание-сила. - 2008. - N 6. - С. 63-69 . - ISSN 0130-1640
УДК
ББК 22.1г + 22.12
Рубрики: Математика
   История математики

   Математическая логика

Кл.слова (ненормированные):
истина в математике -- математическая истина -- доказательства (математика)
Аннотация: О математической истине.


Найти похожие

2.


    Лакатос, И.
    Процедуры доказательства в современном математическом анализе [Текст] / И. Лакатос ; пер. с англ. В. А. Бажанова // Вопросы философии. - 2009. - N 8. - С. 97-100. - Библиогр. в сносках . - ISSN 0042-8744
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

Кл.слова (ненормированные):
философия математики -- гипотезы (математика) -- доказательства (математика) -- математический анализ -- математическое знание
Аннотация: Публикация главы диссертации венгерского ученого И. Лакатоса, которая переводится на русский язык впервые и посвящена философским проблемам математического знания.


Доп.точки доступа:
Бажанов, В. А. \.\; Нейман \дж. фон\

Найти похожие

3.


    Черепанов, Е. М.
    Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
УДК
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы

   Математика

   Математическая логика

Кл.слова (ненормированные):
доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.


Найти похожие

4.


    Белякин, Н. В.
    Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
УДК
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы

   Математика

   Математическая логика

Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.


Доп.точки доступа:
Черепанов, Е. М.

Найти похожие

5.


    Стойлова, Л. П. (кандидат педагогических наук, профессор).
    Исследовательские задания по математике и умение доказывать [Текст] / Л. П. Стойлова // Начальная школа. - 2015. - № 9. - С. 58-60. - Библиогр.: с. 60 (3 назв.) . - ISSN 0027-7371
УДК
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

Кл.слова (ненормированные):
доказательства (математика) -- исследовательские задания -- методика преподавания математики -- младшие школьники -- начальная школа -- умение доказывать -- уроки математики
Аннотация: Формирование умения доказывать несложные математические утверждения является одной из важных задач начального обучения, поскольку овладение этим действием не только способствует усвоению изучаемого материала, но и служит основой дальнейшего обучения. В статье приведены примеры исследовательских заданий для младших школьников, выполняя которые они могут учиться вести доказательство.


Найти похожие

6.


    Тихомирова, С. В. (кандидат физико-математических наук; доцент).
    Виды доказательств математических предложений [Текст] / С. В. Тихомирова // Начальная школа. - 2022. - № 2. - С. 49-54. - Библиогр.: с. 54 (3 назв.) . - ISSN 0027-7371
УДК
ББК 74р
Рубрики: Образование. Педагогика
   Педагогическое образование

Кл.слова (ненормированные):
виды доказательств -- доказательства (математика) -- математические предложения -- подготовка учителей начальных классов -- решение задач -- учебные дисциплины
Аннотация: В статье приводятся доказательства математических предложений из разных разделов учебной дисциплины "Теоретические основы математической подготовки учителя начальных классов".


Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)