9 месяцев назад
«Философия математики. Основные программы обоснования математики ХХ столетия» В. А. Светлов Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия --- логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. Первая глава книги посвящена изложению общего подхода к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. В книге используется большое количество первоисточников и критической литературы._x000D_ Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по курсу "История и философия науки", одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004 № 697._x000D_ Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и интересуется логикой и методологией современной науки. Это и многое другое вы найдете в книге Философия математики. Основные программы обоснования математики ХХ столетия (В. А. Светлов). Напишите свою рецензию о книге В. А. Светлов «Философия математики. Основные программы обоснования математики ХХ столетия» http://izbe.ru/book/118464-filosofiya-matematiki-osnovnye-programmy-obosnovaniya-matematiki-hh-stoletiya-v-a-svetlov/
202 читали · 2 года назад
Опубликован релиз среды компьютерной математики Scilab 2023.0.0, предоставляющей похожий на Matlab язык и набор функций для математических, инженерных и научных расчётов. Пакет подходит для профессионального применения и использования в ВУЗах, предоставляя инструменты для разнообразных вычислений: от визуализации, моделирования и интерполяции до дифференциальных уравнений и математической статистики. Поддерживается выполнение сценариев, написанных для Matlab. Код проекта поставляется под лицензией GPLv2. Готовые сборки сформированы для Linux, Windows и macOS. Opennet в Дзен dzen.ru/...wqf