Моисеев В.С.
Некоторые неклассические задачи вычислительной математики / В.С. Моисеев, Л.Т. Моисеева. - Казань : Школа, 2020. - 175 с. : ил. - (Современная прикладная математика и информатика). - Библиогр.: с. 174-175 (28 назв.). - ISBN 978-5-00162-115-7.

Шифры: 519 - М 748

Аннотация: Монография посвящена задачам вычислительной математики, численные методы решения которых отсутствуют в существующей литературе. К таким неклассическим задачам в данной работе отнесены методы решения нелинейных уравнений, содержащих интегралы с искомым параметром; методы формирования, исследования и применения неявно заданных функций одной переменной; методы решения нелинейных параметрических уравнений и систем уравнений; методы решения дифференциальных уравнений с разрывной правой частью по используемому аргументу. Книга предназначена для специалистов в области разработки численных методов, а также магистрантов, аспирантов и докторантов, осуществляющих с использованием методов вычислительной математики решение разнообразных прикладных задач.

Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1

Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.

Шифры: 51 - В 317

Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3

Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.

Шифры: 51 - В 317

Акулич И.Л.
Математическое программирование в примерах и задачах : учебное пособие / И.Л. Акулич. - Изд. 3-е , стер. - Санкт-Петербург [и др.] : Лань, 2019. - 347 с. : ил. - (Учебники для вузов. Специальная литература). - Доступна электронная версия 2022 г. - URL: https://e.lanbook.com/book/210680.- Режим доступа: по подписке, после регистрации в ЭБС "Лань" из сети МАИ. - Библиогр.: с. 346-347. - ISBN 978-5-8114-0916-7.

Шифры: 519.8 - А 441

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

Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1

Екимова М.А.
Задачи на разрезание / М.А. Екимова, Г.П. Кукин. - Изд. 7-е, стер. - М. : МЦНМО, 2018. - 118, [1] с. : ил. - (Секреты преподавания математики). - Библиогр.: с.118 (11 назв.). - ISBN 978-5-4439-2648-3.

Шифры: 51 - Е 455

Аннотация: Эта книга является первой книгой серии «Секреты преподавания математики», призванной изложить и обобщить накопленный опыт в области математического образования. Данный сборник представляет собой одну из частей курса «Развивающая логика в 5–7 классах». Ко всем задачам, приведенным в книге, даны решения или указания. Книга рекомендуется для внеклассной работы по математике

Экземпляры: Всего: 5, из них: абнл-2, чзнл-2, ЭБС-1

Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.

Шифры: 51 - В 317

Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г.

Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3

Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств. - 2017. - изд. 5-е, стер. - (Современные лекционные курсы). - нет в НТБ.
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.

Шифры: 51 - В 317

Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.

Шифры: 51 - В 317

Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Предыдущее издание книги вышло в 2012 г.

Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3

Леонов А.С.
Решение некорректно поставленных обратных задач. Очерк теории, практические алгоритмы и демонстрации в МАТЛАБ / А.С. Леонов. - изд. стер. - М. : ЛИБРОКОМ, 2016. - 326 с. : ил. - Библиогр.: с.320-326 (152 назв.). - ISBN 978-5-397-03770-9.

Шифры: 519 - Л 476

Экземпляры: Всего: 2, из них: чзнл-2

Толстых А.И.
Компактные и мультиоператорные аппроксимации высокой точности для уравнений в частных производных / А.И. Толстых ; Федеральный исследовательский центр "Информатика и управление" РАН., Вычислительный центр им. А.А. Дороницына РАН. - Москва : Наука, 2015. - 349, [1] с. : ил. - Библиогр.: с. 342-350 (143 назв.). - ISBN 978-5-02-039189-5.

Шифры: 519 - Т 544

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

Экземпляры: Всего: 5, из них: абнл-2, чзнл-3

Колесников А.П.
Численный анализ. Аналитические и топологические методы / А.П. Колесников. - изд. стер. - М. : ЛИБРОКОМ, 2013. - 456 с. : ил. - Библиогр.: с.451-456 (120 назв.). - ISBN 978-5-397-03813-3.

Шифры: 519 - К 603

Экземпляры: Всего: 1, из них: чзнл-1

Лю Б.
Теория и практика неопределенного программирования / Б. Лю ; перевод с английского Ю.В.Тюменцева, Ю.Г.Каганова; под ред. Ю.В.Тюменцева. - Москва : БИНОМ.Лаборатория знаний, 2013. - 416 с. : ил. - (Адаптивные и интеллектуальные системы). - Тит. л. на рус. и англ. яз. - Библиогр.: с.383-397(322 назв.)+ с.398-402(99 назв.). - ISBN 978-5-94774-241-1.

Шифры: 519.8 - Л 93

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

Экземпляры: Всего: 2, из них: чзнл-2

Нагель Э. (1901-1985).
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен ; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.

Шифры: 51 - Н 162

Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.

Экземпляры: Всего: 1, из них: чзнл-1

Канторович Л.В.
Математико-экономические работы / Л.В. Канторович ; РАН, Сибирское отделение; Институт математики им. С.Л. Соболева. - Новосибирск : Наука, 2011. - 756, [2] с. : ил. - (Избранные труды). - Библиогр.: с.671-693, с.668-670. - ISBN 978-5-5-02-019076-4.

Шифры: 33 - К 198

Аннотация: Академик Леонид Витальевич Канторович (1912–1986) — выдающийся математик и экономист, лауреат Сталинской (1949), Ленинской (1965) премий и Нобелевской премии по экономике (1975). Издание содержит пионерские работы Л. В. Канторовича по математическому программированию и математической экономике, выполненные им в 1938–1960 гг. Большая часть этих работ давно стала библиографической редкостью, а некоторые были опубликованы спустя много лет после написания или вовсе не были опубликованы по идеологическим соображениям. Документированная публикация этих работ с указанием времени их написания подтверждает приоритет российской науки в области оптимизационного подхода в исследовании экономики. Книга ориентирована на широкий круг читателей, интересующихся математическими методами в экономических исследованиях.

Экземпляры: Всего: 3, из них: МАТИ-АМ-1, чзнл-1, ЭБС-1

Вабищевич П.Н.
Численные методы. Вычислительный практикум : [Практическое применение численных методов при использовании алгоритмического языка Python] / П.Н. Вабищевич. - Москва : ЛИБРОКОМ, 2010. - 319 с. : ил. - Библиогр.:с.318-319(52 назв.). - ISBN 978-5-397-01372-7.

Шифры: 519 - В 12

Аннотация: Настоящая книга посвящена отработке навыков практического применения численных методов при использовании алгоритмического языка Python. Рассматриваются прямые и итерационные методы линейной алгебры, спектральные задачи, системы нелинейных уравнений, задачи минимизации функций, задачи интерполирования функций, численного интегрирования, интегральные уравнения, краевые задачи и задачи с начальными данными для обыкновенных уравнений и уравнений с частными производными. На уровне пользователя применяются специализированные математические пакеты, на уровне разработчика проводится программирование базовых алгоритмов численного анализа. Часть материала посвящена информации о программном обеспечении, кратко описаны основные элементы языка Python и используемые пакеты. Книга рассчитана на студентов ВУЗов, обучающихся по специальности "Прикладная математика", и специалистов по вычислительной математике и математическому моделированию.

Экземпляры: Всего: 3, из них: чзнл-2, ЭБС-1

Кашурников В.А.
Численные методы квантовой статистики / В.А. Кашурников, А.В. Красавин. - Москва : ФИЗМАТЛИТ, 2010. - 627 с. : ил., табл. - Библиогр.:с.615-627(315 назв.). - ISBN 978-5-9221-1213-0.

Шифры: 519 - К 316

Аннотация: В книге рассмотрены основные численные методы моделирования квантовых физических систем: метод точной диагонализации гамильтоновой матрицы, квантовый и классический методы Монте-Карло. Объяснены способы выбора адекватного дискретного базиса волновых функций, нахождения спектра и различных корреляционных функций систем, описываемых основными типами квантовых статистик - статистиками Ферми, Бозе и спиновой. Исследованы проблемы численного анализа температурных и термодинамических характеристик различных систем; проведено знакомство с современными моделями физики коррелированных состояний: различными моделями Хаббарда, Бозе-Хаббарда, спиновыми моделями; представлен достаточно полный обзор современных численных квантовых методов Монте-Карло, подробно рассмотрены детали многих современных квантовых алгоритмов, таких, как петлевые, детерминантные и червячные методы, диаграммные методы Монте-Карло. Обсуждены особенности расчета в расширенном фазовом пространстве, методы расчета различных локальных и коллективных свойств физической системы. Монография может быть полезна студентам и аспирантам физических специальностей, а также преподавателям и специалистам, занимающимся физикой конденсированного состояния. Последняя часть книги, посвященная квантовым методам Монте-Карло, предназначена для специалистов, занимающихся моделированием сложных сильно коррелированных квантовых систем.

Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1

Нагель Э.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен ; сокр. пер. с англ. Ю.А. Гастева. - Изд. 2-е, испр. - М. : КРАСАНД, 2010. - 117, [1] с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00092-6.

Шифры: 51 - Н 162

Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.

Экземпляры: Всего: 2, из них: абнл-1, ЭБС-1

Дикин И.И.
Метод внутренних точек в линейном и нелинейном программировании / И.И. Дикин ; отв. ред. Б.Т.Поляк; РАН, Сибирское отд-ние, Ин-т систем энергетики им. Л.А.Мелентьева. - М. : КРАСАНД, 2010. - 114 с. : табл. - ISBN 978-5-396-00035-3.

Шифры: 519.8 - Д 453

Экземпляры: Всего: 1, из них: чзнл-1

Лакатос И.
Доказательства и опровержения. Как доказываются теоремы / И. Лакатос ; перевод с английского И.Н. Веселовского; отв. ред. И.Б. Погребысский. - Изд.2-е. - М. : ЛКИ, 2010. - 152 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 146-151. - ISBN 978-5-382-01024-3.

Шифры: 51 - Л 19

Экземпляры: Всего: 2, из них: чзнл-2

Хачиян Л.Г.
Избранные труды / Л.Г. Хачиян. - М. : МЦНМО, 2009. - 519 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-94057-509-2.

Шифры: 519.8 - Х 292

Экземпляры: Всего: 1, из них: чзнл-1