Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus

Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

Личный кабинет :

Электронный каталог: Книги в рубрике:

Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory

Рубрика

Название:: математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

<< назад | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | вперед >>

Доступно
1 из 19

Книга
Кормен, Т.
Алгоритмы: построение и анализ: пер.с англ.
Вильямс, 2013 г.
ISBN 978-5-84590-857-5

Заказать

На полку

Доступно
1 из 2

Книга
Смаллиан, Р. М.
Алиса в Стране Смекалки
Мир, 1987 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 6

Книга
Макконелл, Дж.
Анализ алгоритмов: вводный курс
Техносфера, 2002 г.
ISBN 5-948360-05-9

Заказать

На полку

Доступно
1 из 40

Книга
Макконнелл, Д. Д.
Анализ алгоритмов. Активный обучающий подход: учеб. пособие

Серия: Сер. "Мир программирования"

Техносфера, 2009 г.
ISBN 978-5-948362-16-8

Заказать

На полку

Доступно
1 из 10

Книга
Макконнелл, Д. Д.
Анализ алгоритмов. Активный обучающий подход.

Серия: Сер. "Мир программирования"

Техносфера, 2013 г.
ISBN 978-5-948362-16-8

Заказать

На полку

Статья
Ситникова, Л. В.
Анализ жизненных циклов на основе применения теории нечётких множеств
б.г.
ISBN отсутствует

На полку

Статья
Пахомова, Е. А.
Анализ финансовой устойчивости вуза с использованием методов теории нечетких множеств (на примере...
б.г.
ISBN отсутствует

На полку

Статья
Сластников, С. А.
Анализ эвристических и метаэвристических методов для решения задачи распределения автомобильного ...
б.г.
ISBN отсутствует

На полку

Доступно
1 из 1

Книга
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: учеб. пособие для вузов

Серия: Сер. "Высшая математика"

Высш. шк., 2000 г.
ISBN 5-06-003613-8

Заказать

На полку

Статья
Паклин, Н. Б.
Ассоциативные правила в программах банковской лояльности
б.г.
ISBN отсутствует

На полку

Доступно
19 из 185

Книга
Алескеров, Ф. Т.
Бинарные отношения, графы и коллективные решения: учеб. пособие

Серия: Сер. "Анализ и поддержка решений"

Физматлит, 2012 г.
ISBN 978-5-922113-63-2

Заказать

На полку

Доступно
9 из 336

Книга
Алескеров, Ф. Т.
Бинарные отношения, графы и коллективные решения: учеб. пособие для вузов

Серия: Сер. "Учебники Высшей школы экономики"

ГУ-ВШЭ, 2006 г.
ISBN 5-7598-0345-X

Заказать

На полку

Доступно
1 из 1

Книга
Алескеров, Ф. Т.
Бинарные отношения, графы и коллективные решения: учеб. пособие для вузов

Серия: Сер. "Анализ и поддержка решений"

Физматлит, 2017 г.
ISBN 978-5-9221-1363-2

Заказать

На полку

Доступно
1 из 3

Книга

Бинарные отношения, графы и коллективные решения. Примеры и задачи: учебное пособие для вузов

Серия: Сер. "Высшее образование"

Юрайт, 2024 г.
ISBN 9785534144895

Заказать

На полку

Статья
Шехтман, В. Б.
Бисимуляционные игры и локально табличные логики
б.г.
ISBN отсутствует

На полку

Доступно
1 из 2

Книга
Хокинг, С.
Бог создал целые числа: математические открытия, изменившие историю

Серия: Сер. "Мир Стивена Хокинга"

АСТ, 2022 г.
ISBN 9785171135416

Заказать

На полку

Доступно
1 из 1

Книга
Катасонов, В. Н.
Боровшийся с бесконечным: философско-религиозные аспекты генезиса теории множеств Г. Кантора
Мартис, 1999 г.
ISBN 5-7248-0067-5

Заказать

На полку

Доступно
1 из 2

Книга
Шевелев, Ю. П.
Булева алгебра и логика поиска семантической информации
Изд-во Томского ун-та, 1975 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Игнатьев, Е. И.
В царстве смекалки
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 2

Книга
Игнатьев, Е. И.
В царстве смекалки
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 3

Книга
Светлов, В. А.
Введение в единую теорию анализа и разрешения конфликтов: учеб. пособие для вузов
УРСС, Книжный дом "Либроком", 2012 г.
ISBN 978-5-397-02616-1

Заказать

На полку

Доступно
1 из 2

Книга
Кемени, Дж.
Введение в конечную математику
Мир, 1965 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 4

Книга
Хоггер, К.
Введение в логическое программирование
Мир, 1988 г.
ISBN 5-03-000490-4

Заказать

На полку

Доступно
1 из 2

Книга
Дженесерет, М.
Введение в логическое программирование
ДМК Пресс, 2022 г.
ISBN 9785970609682

Заказать

На полку

Доступно
1 из 3

Книга
Мендельсон, Э.
Введение в математическую логику
Наука. Гл. ред. физ.-мат. лит., 1976 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 83

Книга
Мендельсон, Э.
Введение в математическую логику
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 2

Книга
Духнина, Л. С.
Введение в математическую логику: учеб. пособие
Филиал МГТУ МИРЭА, 2011 г.
ISBN 978-5-84810-097-6

Заказать

На полку

Доступно
1 из 8

Книга
Дорогов, В. Г.
Введение в методы и алгоритмы принятия решений: учеб. пособие для вузов

Серия: Сер. "Высшее образование"

ФОРУМ, ИНФРА-М, 2012 г.
ISBN 978-5-8199-0486-2

Заказать

На полку

Доступно
1 из 3

Книга
Варшамов, Р. Р.
Введение в новую нетрадиционную математику

Серия: Сер. "Информатизация России на пороге XXI века"

СИНТЕГ, 1999 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 10

Книга
Сигал, И. Х.
Введение в прикладное дискретное программирование: модели и вычислительные алгоритмы: учеб. пособие
Физматлит, 2002 г.
ISBN 5-922101-89-7

Заказать

На полку

Доступно
1 из 4

Книга
Кудрявцев, В. Б.
Введение в теорию автоматов
Наука. Гл. ред. физ.-мат. лит., 1985 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 2

Книга
Хопкрофт, Д. Э.
Введение в теорию автоматов, языков и вычислений
Вильямс, 2016 г.
ISBN 978-5-84591-969-4

Заказать

На полку

Доступно
1 из 6

Книга
Хопкрофт, Д. Э.
Введение в теорию автоматов, языков и вычислений
Вильямс, 2002 г.
ISBN 5-84590-261-4

Заказать

На полку

Доступно
1 из 1

Книга
Кобринский, Н. Е.
Введение в теорию конечных автоматов
Гос. изд-во физ.-мат. лит., 1962 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 2

Книга
Александров, П. С.
Введение в теорию множеств и общую топологию
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 24

Книга
Александров, П. С.
Введение в теорию множеств и общую топологию: учеб. пособие для вузов
УРСС, 2004 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Робинсон, А.
Введение в теорию моделей и метаматиматику алгебры

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 3

Книга
Кофман, А.
Введение в теорию нечетких множеств
Радио и связь, 1982 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 209

Книга
Успенский, В. А.
Вводный курс математической логики
Физматлит, 2004 г.
ISBN 5-922102-78-8

Заказать

На полку

Доступно
1 из 2

Книга
Сингх, С.
Великая теорема Ферма: история загадки, которая занимала лучшие умы мира на протяжении 358 лет
МЦНМО, 2000 г.
ISBN 5-900916-61-8

Заказать

На полку

Доступно
1 из 2

Книга
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2

Заказать

На полку

Статья
Вакуленко, Е.
Взаимосвязь ВВП, безработицы и занятости: углубленный анализ закона Оукена для России
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Васюков, В. Л.
Виртуальные объекты, интенциональные объекты и возможные миры
б.г.
ISBN отсутствует

На полку

Доступно
1 из 2

Книга
Ляпунов, А. А.
Вопросы теории множеств и теории функций
Наука, 1979 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 2

Книга
Шапира, Х.
Восемь этюдов о бесконечности: математическое приключение
КоЛибри, Азбука - Аттикус, 2021 г.
ISBN 9785389168282

Заказать

На полку

Статья
Ларин, С.
Воспроизводство жилищного фонда: генетический алгоритм
б.г.
ISBN отсутствует

На полку

Статья
Чистяков, В. В.
Восстановление классов безразличия по порядковым номерам при дискретных упорядочениях предпочтени...
б.г.
ISBN отсутствует

На полку

Доступно
1 из 2

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
1 из 2

Книга
Дорофеева, А. В.
Высшая математика для гуманитарных направлений: учебник для бакалавров

Серия: Сер. "Бакалавр"

Юрайт, 2013 г.
ISBN 978-5-9916264-1-5

Заказать

На полку