Санкт-Петербургский Дом Книги
ИНТЕРНЕТ-МАГАЗИН:
(800) 555-08-42
СПРАВОЧНАЯ СЛУЖБА ДОМА КНИГИ
НЕВСКИЙ, 28:
(812) 448-23-55
Настройки просмотра раздела
Количество товаров на странице:
Сортировка списка товаров:
Вывод постраничной навигации:
По нажатии на кнопку "Сохранить" данные параметры будут применены как для текущего раздела, так и для всех последующих разделов на всем сайте. Чтобы сменить режим просмотра в другом разделе, откройте эту форму повторно.
или скрыть настройки

Основания математики. Теория чисел. Математическая логика


Светлов В.А.

Философия математики: Основные программы обоснования математики ХХ столетия.

Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. Первая глава книги посвящена изложению общего подхода к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. В книге используется большое количество первоисточников и критической литературы. Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по курсу "История и философия науки", одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004 № 697. Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и интересуется логикой и методологией современной науки.
343,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

Подиновский В.В.

Оптимизация по последовательно применяемым критериям

Книга посвящена задачам отыскания оптимальных решений при наличии нескольких упорядоченных по важности критериев. Подробно исследуются лексикографические задачи, в которых каждый последующий критерий используется лишь в случае неединственности решений, выделяемых очередным критерием. Излагается метод решения дискретных и линейных лексикографических задач, основанный на "свертывании" всех критериев в один. Разбираются методологические и вычислительные вопросы применения метода последовательных уступок, который заключается в сведении многокритериальной задачи к системе поочередно решаемых задач оптимизации по отдельным критериям. Рассматриваются задачи оптимизации процессов по последовательно применяемым критериям. Книга рассчитана на широкий круг научно-технических работников, занимающихся исследованием операций и оптимизацией, а также на аспирантов и студентов вузов.
444,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

311,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

Земцов Ю.Т.

Философия математики. (Математическая философия)

444,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

474,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.

ВНИМАНИЕ!



МЫ В СОЦИАЛЬНЫХ СЕТЯХ: