Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 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

Андерсон Дж.
Дискретная математика и комбинаторика : перевод с английского / Дж. Андерсон. - Москва; Санкт-Петербург : Диалектика, 2020. - 957 с. : ил. - Тит. л. на рус. и англ. яз. - Библиогр.: с.850-855 (118 назв.). - ISBN 978-5-907144-07-1 (рус.). - ISBN 0-13-086998-8 (англ.).

Шифры: 51 - А 651

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

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

Алгоритмы: построение и анализ = Introduction to Algorithms / Т. Кормен, Ч. Лейзерсон, Р. Ривест, К. Штайн. - 3-е изд. - Москва; Санкт-Петербург : Диалектика, 2019. - 1323 с. : ил. - Библиогр.: с.1282-1298 (360 назв.). - ISBN 978-5-907114-11-1 (рус.). - ISBN 978-0-2620-3384-8 (англ.).

Шифры: 51 - А 456

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

Экземпляры: Всего: 6, из них: абнл-4, чзнл-1, чзуч-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. - 395 с. : ил. - (Научная мысль). - Библиогр.: с.378-388 (171 назв.). - ISBN 978-5-16-011841-3 (print). - ISBN 978-5-6-104298-4 (online).

Шифры: 517 - П 166

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

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

Харари Ф.
Теория графов = Graph theory / Ф. Харари ; перевод с английского и предисловие В.П. Козырева под ред. Г.П. Гаврилова. - изд. стер. - М. : УРСС : ЛЕНАНД, 2015. - 297 с. : ил. - Библиогр.: с.269-286. - ISBN 978-5-9710-1443-0 (ЛЕНАНД). - ISBN 9785-453-00080-7 (УРСС).

Шифры: 519 - Х 20

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

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

Корте Б.
Комбинаторная оптимизация. Теория и алгоритмы / Б. Корте, Й. Фиген ; перевод с английского М.А. Бабенко. - Москва : МЦНМО, 2015. - 719 с. : ил. - Библиогр. в конце гл. - ISBN 978-5-4439-0281-4. - ISBN 978-3-540-71843-7 (англ.).

Шифры: 519.8 - К 696

Аннотация: Комбинаторная оптимизация—это широкая и бурно развивающаяся область математического программирования и дискретной математики, исследующая структурные и оптимизационные задачи на объектах, имеющих выраженный комбинаторный смысл. Книга известных немецких математиков фундаментальна по содержанию и основана на многочисленных прочитанных авторами курсах лекций. Она в необходимой мере представляет теоретические основы области (линейное и целочисленное программирование, точные и приближенные решения и их алгоритмическая сложность, NP-полнота и NP-трудность), подробно излагает классические разделы комбинаторной оптимизации (в частности, задачи о путях, потоках, паросочетаниях, матроидах), и доходит до освещения ряда новейших направлений и результатов. Тщательный стиль изложения алгоритмов и доказательств и большое количество удачно подобранных упражнений позволяют рекомендовать книгу как учебное пособие для студентов и аспирантов соответствующих специальностей математики и теоретической информатики. Обилие литературных ссылок, качественное представление о современном состоянии данной науки, а также обозначение ее «переднего края» и «точек роста» вызовут бесспорный интерес у исследователей.

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

Оре О. (1899-1968).
Графы и их применение = Graphs and their uses / О. Оре ; перевод с английского Л.И. Головиной, В.А. Белавина с 4-го, исправленного и дополненного издания под ред. Р. Уилсона. - М. : УРСС : ЛЕНАНД, 2015. - 188 с. : ил. - (Науку - всем! Шедевры научно-популярной литературы. №87. Математика). - Библиогр.: с.183 (8 назв.). - ISBN 978-5-9710-1140-8.

Шифры: 519 - О-652

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

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

Семенов А.С.
Моделирование самоорганизующихся процессов развития: фрактоидно-ориентированный подход / А.С. Семенов. - Москва : МАИ, 2013. - 156 с. : ил. - (Научная библиотека). - Библиогр.: с.147-154 (106 назв.). - ISBN 978-5-4316-0110-1.

Шифры: 517 - С 302

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

Экземпляры: Всего: 222, из них: абмл-102, абнл-10, абст-100, к/х7-3, чзнл-3, чзуч-3, ЭБС-1

Ландо С.К.
Введение в дискретную математику / С.К. Ландо. - Москва : МЦНМО, 2012. - 264 с. : ил. - Библиогр.: с.260-261 (23 назв.). - ISBN 978-5-4439-0205-0.

Шифры: 51 - Л 222

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

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

Звонкин А.К.
Графы на поверхностях и их приложения / А.К. Звонкин, С.К. Ландо. - М. : МЦНМО, 2010. - 480 с. : ил. - Библиогр.:с.453-469(330 назв.). - ISBN 978-5-94057-588-7.

Шифры: 519 - З-437

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

Харари Ф.
Теория графов = Graph Theory / Ф. Харари ; перевод с английского и предисловие В.П. Козырева; под ред. Г.П. Гаврилова. - Изд. 4-е. - М. : ЛИБРОКОМ, 2009. - 300 с. : ил. - Библиогр.: с.268-286. - ISBN 978-5-397-00622-4.

Шифры: 519 - Х 20

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

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

Шурыгин В.А.
Сложностный метод теории алгоритмов / В.А. Шурыгин. - М. : ЛИБРОКОМ, 2009. - 194 с. : ил. - Библиогр.: с. 187-190 (52 назв.). - ISBN 978-5-397-00185-4.

Шифры: 51 - Ш 969

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

Малинин Л.И.
Изоморфизм графов в теоремах и алгоритмах / Л.И. Малинин, Н.Л. Малинина. - М. : ЛИБРОКОМ, 2009. - 249 с. : ил. - ЕСТЬ ЭЛЕКТРОННАЯ ВЕРСИЯ. - Библиогр.: с.245-247 (63 назв.). - ISBN 978-5-397-00480-0.

Шифры: 519 - М 19

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

Экземпляры: Всего: 53, из них: абнл-3, абст-39, списание-4, чзнл-3, чзуч-3, ЭБС-1

Верещагин Н.К.
Лекции по математической логике и теории алгоритмов. Ч.3. Вычислимые функции / Н.К. Верещагин, А. Шень. - Изд. 3-е., стер. - М. : МЦНМО, 2008. - 189 с. - (Современные лекционные курсы). - Библиогр.: с. 179-180 ( 12 назв.). - ISBN 978-5-94057-323-4.

Шифры: 51 - В 317

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

Деза М.
Изометрические полиэдральные подграфы в гиперкубах и кубических решетках / М. Деза, В.П. Гришухин, М.И. Штогрин ; перевод с английского Н.А. Шиховой. - М. : МЦНМО, 2008. - 192 с. : ил. - Библиогр.: с. 181-188. - ISBN 978-5-94057-363-0.

Шифры: 519 - Д 269

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

Бондаренко В.А.
Геометрические конструкции и сложность в комбинаторной оптимизации / В.А. Бондаренко, А.Н. Максименко. - М. : ЛКИ, 2008. - 182 с. : ил. - Библиогр.: с.172-182(106 назв.). - ISBN 978-5-382-00687-1.

Шифры: 519 - Б 811

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