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

eng|rus

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

Поиск :

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

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

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

Рубрика

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

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

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

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

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

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

Книга
Вагин, В. Н.
Знания и убеждения в интеллектуальном анализе данных
Физматлит, 2019 г.
ISBN 978-5-9221-1841-5

Заказать

На полку

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

Книга
Бизам, Д.
Игра и логика: 85 логических задач
Мир, 1975 г.
ISBN отсутствует

Заказать

На полку

Многотомник
Колобов, А. М.
Избранные главы высшей математики: учеб. пособие для вузов
Вышэйшая школа, 1965 г.
ISBN отсутствует

На полку

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

Книга
Марченков, С. С.
Избранные главы дискретной математики: учеб. пособие
Физматлит, 2023 г.
ISBN 9785922119696

Заказать

На полку

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

Книга
Францис, Т. А.
Избыточность в электронных дискретных устройствах
Энергия, 1969 г.
ISBN отсутствует

Заказать

На полку

Статья
Подлесных, В. Г.
Извлечение частых множеств из транзакционных данных вертикального формата
б.г.
ISBN отсутствует

На полку

Статья
Геращенко, И. П.
Инвестиционный анализ в условиях неопределенности бизнес-окружения
б.г.
ISBN отсутствует

На полку

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

Книга
Васильев, С. Н.
Интеллектное управление динамическими системами

Серия: Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы"

Физматлит, 2000 г.
ISBN 5-922100-50-5

Заказать

На полку

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

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

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

Юрайт, 2018 г.
ISBN 9785534010428

Заказать

На полку

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

Книга
Усков, А. А.
Интеллектуальные технологии управления. Искусственные нейронные сети и нечеткая логика
Горячая линия-Телеком, 2004 г.
ISBN 5-935171-81-3

Заказать

На полку

Экз. чит. зала

Диссертация
Никитин, В. В.
Информационно - логическая модель автоматизированной системы обработки изображения: дис. ... канд. технических наук: 05.13.01
МИЭМ, 1984 г.
ISBN отсутствует

На полку

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

Книга
Трауб, Дж.
Информация, неопределённость, сложность.
Мир, 1988 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Веллеман, Д.
Искусство доказательства в математике: курс лекций с упражнениями
ДМК Пресс, 2021 г.
ISBN 9785970609118

Заказать

На полку

Экз. чит. зала

Диссертация
Майоршин, А. П.
Исследование и построение оптимальных алгоритмов идентификации и моделирования нелинейных систем: дис. ... канд. технических наук : 05.13.01
Моск. ин-т электронного машиностроения, 1981 г.
ISBN отсутствует

На полку

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

Автореферат
Шипов, А. А.
Исследование и разработка семантических методов анализа распределенных программ: автореф. дис. ... канд. технических наук: 05.13.11
Российский гос. социальный ун-т, 2016 г.
ISBN отсутствует

Заказать

На полку

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

Заказать

На полку

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

Книга
Адамар, Ж.
Исследование психологии процесса изобретения в области математики
МЦНМО, 2001 г.
ISBN 5-900916-85-5

Заказать

На полку

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

Книга

Исследования по конструктивной математике и математической логике. VIII: сб. работ

Серия: Записки научных семинаров ЛОМИ

Наука. Ленингр. отд-ние, 1979 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Цетлин, М. Л.
Исследования по теории автоматов и моделированию биологических систем
Наука. Гл. ред. физ.-мат. лит., 1969 г.
ISBN отсутствует

Заказать

На полку

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

Книга

Исследования по теории алгорифмов и математической логике
Наука, 1979 г.
ISBN отсутствует

Заказать

На полку

Многотомник

Исследования по теории алгорифмов и математической логике: сб. работ
Вычислительный центр АН СССР, 1973 г.
ISBN отсутствует

На полку

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

Книга
Крайзель, Г.
Исследования по теории доказательств: сб. ст.

Серия: Сер. "Новое в зарубежной науке"

Мир, 1981 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Трауб, Дж.
Итерационные методы решения уравнений
Мир, 1985 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Смаллиан, Р.
Как же называется эта книга?
Мир, 1981 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Паронджанов, В. Д.
Как улучшить работу ума: алгоритмы без программистов - это очень просто! Новые средства для образного представления знаний, развития интеллекта и взаимопонимания
Дело, 2001 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Паронджанов, В. Д.
Как улучшить работу ума: Новые средства для образного представления знаний, развития интеллекта и...
Радио и связь, 1999 г.
ISBN 5-256-01211-8

Заказать

На полку

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

На полку

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

Заказать

На полку

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

Книга

Кибернетика и логика: математико - логические аспекты становления идей кибернетики и развития вычислительной техники
Наука, 1978 г.
ISBN отсутствует

Заказать

На полку

Многотомник
Глушков, В. М.
Кибернетика, вычислительная техника, информатика: избранные труды: в 3 т.
Наукова думка, 1990 г.
ISBN отсутствует

На полку

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

Книга
Мозговой, М. В.
Классика программирования: алгоритмы, языки, автоматы, компиляторы: практический подход
Наука и техника, 2006 г.
ISBN 5-943872-24-8

Заказать

На полку

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

Книга
Бирюков, Б. В.
Кн.2. : В мире логики - математической и философской
2014 г.
ISBN 978-5-9710073-6-4

Заказать

На полку

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

Книга
Варшавский, В. И.
Коллективное поведение автоматов

Серия: Сер. "Теоретические основы технической кибернетики"

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

Заказать

На полку

Статья
Миронкин, В. О.
Коллизии и инцидентность вершин компонентам в графе к-кратной итерации равновероятного случайного...
б.г.
ISBN отсутствует

На полку

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

Книга
Разборов, А. А.
Коммуникационная сложность

Серия: Сер. "Летняя школа "Современная математика"

МЦНМО, 2012 г.
ISBN 978-5-443-90202-9

Заказать

На полку

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

Книга
Трахтенброт, Б. А.
Конечные автоматы: (поведение и синтез)

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

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

Заказать

На полку

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

Книга
Иванов, Н. Н.
Конечные автоматы: эквивалентность и поведение
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Лупанов, О. Б.
Конспект лекций О.Б. Лупанова по курсу "Введение в математическую логику": учебное пособие для вузов

Серия: Сер. "Классический университетский учебник"

Изд-во Моск. ун-та, 2023 г.
ISBN 9785190118407

Заказать

На полку

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

Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической

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

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

Заказать

На полку

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

Книга
Мостовский, А.
Конструктивные множества и их приложения
Мир, 1973 г.
ISBN отсутствует

Заказать

На полку

Статья
Васильев, В. А.
Кратности множеств Максвелла особенностей Фама
б.г.
ISBN отсутствует

На полку

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

Книга
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Ландо, С. К.
Лекции о производящих функциях

Серия: Сер. "Современные лекционные курсы"

МЦНМО, 2002 г.
ISBN 5-940570-42-9

Заказать

На полку

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

Книга
Абрамов, С. А.
Лекции о сложности алгоритмов: учебное пособие для вузов

Серия: Сер. "Современные лекционные курсы"

МЦНМО, 2020 г.
ISBN 9785443914640

Заказать

На полку

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

Книга
Лузин, Н. Н.
Лекции об аналитических множествах и их приложениях

Серия: Б-ка русской науки

Гос. изд-во технико-теорет. лит., 1953 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Капитонова, Ю. В.
Лекции по дискретной математике
БХВ-Петербург, 2004 г.
ISBN 5-941575-46-7

Заказать

На полку

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

Книга
Соболев, В. И.
Лекции по дополнительным главам математического анализа
Наука. Гл. ред. физ.-мат. лит., 1968 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Мощенский, В. А.
Лекции по математической логике: учеб. пособие для вузов
БГУ им. В. И. Ленина, 1973 г.
ISBN отсутствует

Заказать

На полку

Многотомник
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов

Серия: Сер. "Современные лекционные курсы"

МЦНМО, 2002 г.
ISBN отсутствует

На полку

Многотомник
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов

Серия: Сер. "Современные лекционные курсы"

МЦНМО, 1999 г.
ISBN отсутствует

На полку