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

Алгоритмы: построение и анализ = 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

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

Шифры: 51 - Ш 969

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

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

Шифры: 51 - В 317

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

Алгоритмы: построение и анализ : пер. с англ. / Т. Кормен, Ч. Лейзерсон, Р. Ривест, К. Штайн. - 2-е изд. - М.;СПб.;Киев : Вильямс, 2005. - 1290 с. : ил. - Библиогр.: с.1257-1276 (320 назв.). - ISBN 5-8459-0857-4 (рус.).

Шифры: 51 - А 456

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

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

Марченков С.С.
Элементарные рекурсивные функции / С.С. Марченков. - М : МЦНМО, 2003. - 112 с. : ил. - Библиогр.:с.109-111(47 назв.). - ISBN 5-94057-098-4.

Шифры: 518 - М 30

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

Макконелл Дж.
Анализ алгоритмов : Вводный курс / Дж. Макконелл ; перевод с английского С.К. Ландо. - М : Техносфера, 2002. - 302 с. : ил. - (Мир программирования). - Библиогр.:с.298-302. - ISBN 5-94836-005-9.

Шифры: 518 - М 158

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

Соар Р.И.
Вычислимо перечислимые множества и степени.Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И. Соар ; перевод с английского М.М.Арсланова. - Казань : Казан.матем.об-во, 2000. - 576 с. : ил. - Библиогр.:с.510-548. - ISBN 5-900975-22-3.

Шифры: 519 - С 54

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

Верещагин Н.К.
Лекции по математической логике и теории алгоритмов. Ч.3. Вычислимые функции / Н.К. Верещагин, А. Шень. - М : МЦНМО, 1999. - 174 с. : ил. - (Современные лекционные курсы). - Библиогр.:с.166-167(12 назв.). - ISBN 5-900916-39-1.

Шифры: 517 - В 317

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

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

Крылов С.М.
Формальная технология в философии,технике,биоэволюции и социологии / С.М. Крылов ; Самарский гос. техн. ун-т . - Самара, 1997. - 180 с. : ил. - Библиогр.: с. 177-178(33 назв.). - ISBN 5-7964-0008-8.

Шифры: 518 - К 85

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

Матиясевич Ю.В.
Десятая проблема Гильберта / Ю.В. Матиясевич. - М. : Наука, 1993. - 223 с. - (Математическая логика и основания математики ; Вып.26). - Библиогр.:с.194-213 .

Шифры: 518 - М 342

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

Липский В.
Комбинаторика для программистов / В. Липский ; перевод с польского В.А. Евстигнеева, О.А. Логиновой; под ред. А.П. Ершова. - М. : Мир, 1988. - 213с. : ил. - Библиогр.: с. 205-207 (76 назв.). - ISBN 5-03-000979-5.

Шифры: 519 - Л 618

Экземпляры: Всего: 29, из них: абмл-9, абнл-3, МАТИ-АМ-1, списание-9, чзнл-3, чзуч-4