Выбор каталога
Сортировать по:
12
1. Книга
bookCover
Акулич И.Л.
Математическое программирование в примерах и задачах : учебное пособие / И.Л. Акулич. - Изд. 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
Ссылка на ресурс: https://e.lanbook.com/book/210680
Подробнее
Дисциплина: Экономико-математические методы и модели
2. Книга
bookCover
Лю Б.
Теория и практика неопределенного программирования / Б. Лю ; перевод с английского Ю.В.Тюменцева, Ю.Г.Каганова; под ред. Ю.В.Тюменцева. - Москва : БИНОМ.Лаборатория знаний, 2013. - 416 с. : ил. - (Адаптивные и интеллектуальные системы). - Тит. л. на рус. и англ. яз. - Библиогр.: с.383-397(322 назв.)+ с.398-402(99 назв.). - ISBN 978-5-94774-241-1.
Авторы: Лю Б.
Шифры: 519.8 - Л 93
Ключевые слова: МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, НЕЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, СТОХАСТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Аннотация: В книге дается замкнутое, подробное изложение аппарата неопределенного программирования, включая обсуждение принципов построения соответствующих оптимизационных моделей, а также алгоритмов, обеспечивающих решение разнообразных прикладных задач с использованием этих моделей. Рассмотрены: транспортные задачи, моделирование систем управления запасами, задачи составления кормовых смесей, моделирование производственного процесса, проблемы водоснабжения, задача размещения и распределения оборудования, задача распределения капиталовложений, задача топологической оптимизации, задача маршрутизации движения транспорта, оптимизации резервирования, задача о критическом пути, задача составления расписания параллельно действующих машин. Книга ориентирована на исследователей, инженеров и студентов, специализирующихся в области исследования операций, теории систем, информатики, организационного управления и техники.
Экземпляры: Всего: 2, из них: чзнл-2
3. Книга
bookCover
Канторович Л.В.
Математико-экономические работы / Л.В. Канторович ; РАН, Сибирское отделение; Институт математики им. С.Л. Соболева. - Новосибирск : Наука, 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
Ссылка на ресурс: https://www.rfbr.ru/library/books/2107/
4. Книга
bookCover
Дикин И.И.
Метод внутренних точек в линейном и нелинейном программировании / И.И. Дикин ; отв. ред. Б.Т.Поляк; РАН, Сибирское отд-ние, Ин-т систем энергетики им. Л.А.Мелентьева. - М. : КРАСАНД, 2010. - 114 с. : табл. - ISBN 978-5-396-00035-3.
Авторы: Дикин И.И.
Шифры: 519.8 - Д 453
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, ПРОГРАММИРОВАНИЕ ЛИНЕЙНОЕ, НЕЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, ПРОГРАММИРОВАНИЕ НЕЛИНЕЙНОЕ
Экземпляры: Всего: 1, из них: чзнл-1
5. Книга
bookCover
Хачиян Л.Г.
Избранные труды / Л.Г. Хачиян. - М. : МЦНМО, 2009. - 519 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-94057-509-2.
Авторы: Хачиян Л.Г.
Шифры: 519.8 - Х 292
Ключевые слова: МАТЕМАТИКА, АЛГОРИТМЫ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Экземпляры: Всего: 1, из них: чзнл-1
6. Книга
bookCover
Подколзин А.С.
Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / А.С. Подколзин. - М. : ФИЗМАТЛИТ, 2008. - 1022 с. : ил. - Библиогр.: с. 1021-1022 (31 назв.). - ISBN 978-5-9221-1045-7.
Авторы: Подколзин А.С.
Шифры: 004.8 - П 442
Ключевые слова: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, МОДЕЛИРОВАНИЕ КОМПЬЮТЕРНОЕ
Экземпляры: Всего: 1, из них: чзнл-1
7. Книга
bookCover
Антонова Г.М.
Сеточные методы равномерного зондирования для исследования и оптимизации динамических стохастических систем / Г.М. Антонова. - М. : ФИЗМАТЛИТ, 2007. - 224 с. : ил. - (Математика. Прикладная математика). - Библиогр.: с.210-224 (243 назв.). - ISBN 978-5-9221-0781-5.
Авторы: Антонова Г.М.
Шифры: 519.8 - А 724
Ключевые слова: СТОХАСТИЧЕСКИЕ СИСТЕМЫ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, ДИНАМИЧЕСКИЕ СИСТЕМЫ, ОПТИМИЗАЦИЯ
Экземпляры: Всего: 1, из них: чзнл-1
8. Книга
bookCover
Стрекаловский А.С.
Биматричные игры и билинейное программирование / А.С. Стрекаловский, А.В. Орлов. - М. : ФИЗМАТЛИТ, 2007. - 223 с. : ил. - (Математика. Прикладная математика). - Библиогр.: с.215-223 (173 назв.). - ISBN 978-5-9221-0853-9.
Авторы: Стрекаловский А.С., Орлов А.В.
Шифры: 519 - С 841
Ключевые слова: ТЕОРИЯ ИГР, ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ
Экземпляры: Всего: 1, из них: чзнл-1
9. Книга
bookCover
Костомаров И.С.
Программный комплекс для построения конформно-эквивалентных сеток в областях , ограниченных контурами произвольной конфигурации на основе RT- алгоритма на примере двусвязных областей / И.С. Костомаров ; РАН ; Ин-т косм. исследований. - М. : ИКИ РАН, 2006. - 21 с. : ил. - Пр-2124. - Библиогр.: с. 21(4 назв.).
Авторы: Костомаров И.С.
Шифры: 519 - К 724
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, МАТЕМАТИЧЕСКАЯ ФИЗИКА, СЕТКИ
Аннотация: Решения краевых задач для областей со сложными границами с использованием традиционных численных методов предъявляют очень высокие требования к ресурсам вычислительных средств Одним из эффективных методов решения двумерных краевых задач является метод конформного отображения. Численной реализации этого метода для областей сложной конфигурации посвящен ряд работ (см., например [1]). В результате многолетней работы Б И Рабиновича и Ю В Тюрина при участии их соавторов был создан для этой цели принципиально новый RT-алгоритм конформного отображения произвольных односвязных и двусвязных областей на канонические области (круг, круговое кольцо) Алгоритм был реализован с использованием технических средств, доступных на тот момент В настоящем препринте рассматривается дальнейшее развитие RT-алгоритма применительно к двусвязным областям и реализация его в виде современного программного продукта; приводятся примеры отображения двусвязных областей со сложным кусочно-гладким контуром на круговое кольцо
Экземпляры: Всего: 1, из них: чзнл-1
10. Книга
bookCover
Фокин В.А.
О дальнейшем развитии RT - алгоритма конформного отображения односвязных областей на круг / В.А. Фокин ; РАН;Ин-т косм. исследований. - М. : ИКИ РАН, 2006. - 23 с. : ил. - Пр-2125. - Библиогр.: с. 23 (5 назв.).
Авторы: Фокин В.А.
Шифры: 519 - Ф 753
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, КРАЕВЫЕ ЗАДАЧИ, ЧИСЛЕННЫЕ МЕТОДЫ
Аннотация: Решения краевых задач для обпастей со сложными границами с использованием традиционных численных методов предъявляют очень высокие требования к ресурсам вычислительных средств Рабинович Б И Тюрин Ю В создали принципиально новый алгоритм (RT) отображения произвольных односвязных областей на каноническую область - круг Реализация алгоритма была осуществлена с использованием технических средств, доступных на тот момент В настоящем препринте рассматривается дальнейшее развитие RT-алгоритма в виде современного программного продукта, а также примеры отображения односвязных областей на круг Приводятся подробные инструкции по работе с программой
Экземпляры: Всего: 1, из них: чзнл-1
11. Книга
bookCover
Лесневский А.С.
Объектно-ориентированное программирование для начинающих / А.С. Лесневский. - Москва : БИНОМ.Лаборатория знаний, 2005. - 232 с. : ил. + CD. - Библиогр.: с.227 (11 назв.). - ISBN 5-94774-251-9.
Авторы: Лесневский А.С.
Шифры: 004.4 - Л 503
Ключевые слова: ПРОГРАММИРОВАНИЕ НА ЭВМ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, ЯЗЫКИ ПРОГРАММИРОВАНИЯ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ
Экземпляры: Всего: 3, из них: чзнл-3
12. Книга
bookCover
Измаилов А.Ф.
Численные методы оптимизации / А.Ф. Измаилов, М.В. Солодов. - М. : Физматлит, 2003. - 300 с. : ил. - Библиогр.:с. 294-296(48 назв.). - ISBN 5-9221-0045-9.
Авторы: Измаилов А.Ф., Солодов М.В.
Шифры: 519 - И 37
Ключевые слова: ОПТИМИЗАЦИЯ, ЧИСЛЕННЫЕ МЕТОДЫ
Экземпляры: Всего: 2, из них: абнл-1, чзнл-1
13. Книга
bookCover
Ковалев М.М.
Дискретная оптимизация.Целочисленное программирование / М.М. Ковалев. - 2-е изд.,стер. - М. : УРСС, 2003. - 191 с. : ил. - Библиогр.:с.190-191(22 назв.). - ISBN 5-354-00499-3.
Авторы: Ковалев М.М.
Шифры: 519 - К 56
Ключевые слова: ОПТИМИЗАЦИЯ ДИСКРЕТНАЯ, ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, ПРОГРАММИРОВАНИЕ ЦЕЛОЧИСЛЕННОЕ
Экземпляры: Всего: 1, из них: чзнл-1
14. Книга
bookCover
Сухинин М.Ф.
Численное решение задач линейного программирования и вычисление границ спектра симметричной матрицы / М.Ф. Сухинин. - М. : Физматлит, 2002. - 159 с. : ил. - Библиогр.:с.159 ( 15 назв.). - ISBN 5-9221-0242-7.
Авторы: Сухинин М.Ф.
Шифры: 518 - С 912
Ключевые слова: ЧИСЛЕННЫЕ МЕТОДЫ, ПРОГРАММИРОВАНИЕ ЛИНЕЙНОЕ
Экземпляры: Всего: 1, из них: чзнл-1
15. Книга
bookCover
Кларк Э.М.,мл.
Верификация моделей программ : Model Checking / Э.М.,мл. Кларк, О. Грамберг, Д. Пелед ; перевод с английского В. Захаров и др., под ред. Р. Смелянского. - М : Моск.центр непрерывного образования, 2002. - 416 с. : ил. - Библиогр.:с.377-399 (251 назв.). - ISBN 5-94057-054-2.
Авторы: Кларк Э.М.,мл., Грамберг О., Пелед Д.
Шифры: 519 - К 474
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ВЕРИФИКАЦИЯ ПРОГРАММ
Экземпляры: Всего: 2, из них: чзнл-2
16. Книга
bookCover
Каханер Д.К.
Численные методы и программное обеспечение / Д.К. Каханер, К.Б. Моулер, С. Нэш ; перевод с английского под ред. Х.Д. Икрамова. - 2-е изд.,стер. - Москва : Мир, 2001. - 575 с. : ил. - Доп. тит. Numerical Methods and Software), David Kahaner, Cleve Moler, Stephen Nash. - Библиогр.:с.554 (11 назв.). - Указ.: с. 560-570. - ISBN 5-03-003392-01.
Авторы: Каханер Д.К., Моулер К.Б., Нэш С.
Шифры: 519 - К 306
Ключевые слова: ЧИСЛЕННЫЕ МЕТОДЫ, ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ
Аннотация: Книга американских специалистов, представляющая собой расширенный и существенно переработанный вариант известной книги Форсайт Дж., Малькольм М., Моулер К. Машинные методы математических вычислений, М:. Мир, 1980. Несмотря на измененный авторский состав, в книге сохранен неформальный стиль изложения, помогающий читателю освоить современное программное обеспечение по численным методам. Для аспирантов и студентов, изучающих численные методы и программное обеспечение ЭВМ, а также специалистов по вычислительной и прикладной математике.
Экземпляры: Всего: 4, из них: МАТИ-АТ-1, чзнл-2, ЭБС-1
17. Книга
bookCover
Вычислительные методы и программирование : Сб.науч.тр. / МГУ им.М.В.Ломоносова.Научно-исслед.ВЦ;Под ред.А.В.Тихонравова и др. - М. : Моск.ун-т, 2000. - 141 с. : ил. - Библиогр.в конце ст. - ISBN 5-211-03946-7.
Шифры: 519 - В 948
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ
Экземпляры: Всего: 1, из них: чзнл-1
18. Книга
bookCover
Авербах И.Л.
Оптимизация в блочных задачах с целочисленными переменными / И.Л. Авербах, В.И. Цурков. - М. : Наука:Физматлит, 1995. - 226с. : ил. - (Теория и методы системного анализа). - ISBN 5-02-015173-4.
Авторы: Авербах И.Л., Цурков В.И.
Шифры: 519 - А 192
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, СИСТЕМНЫЙ АНАЛИЗ, БЛОЧНЫЕ ЗАДАЧИ
Экземпляры: Всего: 1, из них: чзнл-1
19. Книга
bookCover
Филд А.
Функциональное программирование / А. Филд, П. Харрисон ; Перевод с английского М.В. Горбатовой и др.; под ред. В.А. Горбатова. - М. : Мир, 1993. - 638 с. : ил. - Библиогр.: с.621-626. - ISBN 5-03-001870-0 (рус.). - ISBN 0-201-19249-7 (англ.).
Авторы: Филд А., Харрисон П.
Шифры: 519 - Ф 519
Ключевые слова: ПРОГРАММИРОВАНИЕ ФУНКЦИОНАЛЬНОЕ
Экземпляры: Всего: 11, из них: абнл-3, МАТИ-АТ-2, списание-1, чзнл-2, чзуч-3
20. Книга
bookCover
Ширяев В.Д.
Основы алгоритмизации : Учеб.пособие / В.Д. Ширяев. - 2-е изд.,доп. - Саранск : Мордовск.ун-т, 1993. - 172 с. : ил. - Библиогр.:с.161-162(21 назв.). - ISBN 5-7103-0078-0.
Авторы: Ширяев В.Д.
Шифры: 519(075) - Ш 647
Ключевые слова: АЛГОРИТМИЗАЦИЯ-УЧЕБНИКИ И ПОСОБИЯ, АЛГОРИТМЫ-УЧЕБНИКИ И ПОСОБИЯ
Экземпляры: Всего: 1, из них: чзнл-1
12