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

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

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Электронный каталог Мандельштамовского центра
  • Помощь

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


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

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

Рубрика

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

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

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

Отобрать для печати: страницу | инверсия | сброс | печать(0)
<< назад | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | вперед >>

Доступно
 1 из 2
Книга
Ершов, Ю. Л.
Теория нумераций
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Нейман, Дж. фон
Теория самовоспроизводящихся автоматов
Мир, 1971 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Нейман, Дж. фон
Теория самовоспроизводящихся автоматов
Серия: Сер. "Науки об искусственном"
Книжный дом "Либроком", 2010 г.
ISBN 978-5-397-01084-9


Заказать Заказать

На полку На полку


Доступно
 1 из 3
Книга
Смальян, Р.
Теория формальных систем
Наука. Гл. ред. физ.-мат. лит., 1981 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Голдблатт, Р.
Топосы. Категорный анализ логики
Мир, 1983 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Автореферат
Козлов, Р. А.
Точные представления конечного типа конформных алгебр Ли: автореф. дис. ... канд. физ.-мат. наук : 1.1.5
Ин-т математики им. С. Л. Соболева СО РАН, 2023 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Статья
Салибекян, С. М.
Трансляция арифметико-логического выражения с использованием формата внутреннего представления на...
б.г.
ISBN отсутствует


На полку На полку


Доступно
 1 из 3
Книга
Кнут, Д. Э.
Устойчивые паросочетания и другие комбинаторные задачи: введение в мат. анализ алгоритмов
МЦНМО, 2014 г.
ISBN 978-5-443-90142-8


Заказать Заказать

На полку На полку


Доступно
 1 из 4
Книга
Перминов, В. Я.
Философия и основания математики
Прогресс-Традиция, 2001 г.
ISBN 5-89826-098-6


Заказать Заказать

На полку На полку


Доступно
 2 из 10
Книга
Светлов, В. А.
Философия математики. Основные программы обоснования математики ХХ столетия: учеб. пособие для вузов
УРСС, КомКнига, 2006 г.
ISBN 5-484-00453-5


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Светлов, В. А.
Философия математики. Основные программы обоснования математики ХХ столетия: учебное пособие
КомКнига, 2010 г.
ISBN 978-5-484-01124-7


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Рамсей, Ф. П.
Философские работы
Серия: Б-ка аналитической философии
Канон+, 2011 г.
ISBN 978-5-88373-081-7


Заказать Заказать

На полку На полку


Доступно
 1 из 3
Книга
Герасимова, И. А.
Формальная грамматика и интенсиональная логика
ИФРАН, 2000 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 4
Книга
Гладкий, А. В.
Формальные грамматики и языки
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Стяжкин, Н. И.
Формирование математической логики
Наука, 1967 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 3
Книга
Потемкин, И. С.
Функциональные узлы цифровой автоматики
Энергоатомиздат, 1988 г.
ISBN 5-283-01478-9


Заказать Заказать

На полку На полку


Доступно
 1 из 3
Книга
Арнольд, В. И.
Цепные дроби
Серия: Б-ка "Математическое просвещение"
МЦНМО, 2001 г.
ISBN 5-940570-14-3


Заказать Заказать

На полку На полку


Доступно
 1 из 30
Книга
Верещагин, Н. К.
Ч.1: Начала теории множеств
2008 г.
ISBN 978-5-94057-321-0


Заказать Заказать

На полку На полку


Доступно
 1 из 10
Книга
Верещагин, Н. К.
Ч.1. : Начала теории множеств
2017 г.
ISBN 9785443909431


Заказать Заказать

На полку На полку


Доступно
 1 из 10
Книга
Верещагин, Н. К.
Ч.1. : Начала теории множеств
2012 г.
ISBN 978-5-443-90012-4


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Верещагин, Н. К.
Ч.1. : Начала теории множеств
2002 г.
ISBN 5-900916-36-7


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Верещагин, Н. К.
Ч.1. : Начала теории множеств
1999 г.
ISBN 5-900916-36-7


Заказать Заказать

На полку На полку


Доступно
 1 из 4
Книга

Ч.1. : Теория моделей
1982 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 12
Книга
Верещагин, Н. К.
Ч.2. : Языки и исчисления
2017 г.
ISBN 978-5-443-909448


Заказать Заказать

На полку На полку


Доступно
 1 из 4
Книга

Ч.2. : Теория множеств
1982 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Верещагин, Н. К.
Ч.2. : Языки и исчисления
2000 г.
ISBN 5-900916-66-9


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Верещагин, Н. К.
Ч.2. : Языки и исчисления
2002 г.
ISBN 5-900916-66-9


Заказать Заказать

На полку На полку


Доступно
 2 из 10
Книга
Верещагин, Н. К.
Ч.2. : Языки и исчисления
2008 г.
ISBN 978-5-940573-22-7


Заказать Заказать

На полку На полку


Доступно
 1 из 11
Книга
Верещагин, Н. К.
Ч.2. : Языки и исчисления
2012 г.
ISBN 978-5-443-90013-1


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Колобов, А. М.
Ч.3. : Методы математической физики (дифференциальные уравнения в частных производных второго порядка). ...
1971 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 2 из 21
Книга
Верещагин, Н. К.
Ч.3. : Вычислимые функции
2008 г.
ISBN 978-5-940573-23-4


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Верещагин, Н. К.
Ч.3. : Вычислимые функции
2002 г.
ISBN 5-900916-39-1


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Верещагин, Н. К.
Ч.3. : Вычислимые функции
1999 г.
ISBN 5-900916-39-1


Заказать Заказать

На полку На полку


Доступно
 1 из 3
Книга

Ч.3. : Теория рекурсии
1982 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 4
Книга

Ч.4. : Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Чирков, М. К.
Частичные автоматы
Изд-во Ленингр. ун-та, 1983 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Успенский, В. А.
Четыре алгоритмических лица случайности
Серия: Сер. "Летняя школа "Современная математика"
МЦНМО, 2009 г.
ISBN 978-5-940574-85-9


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Степанов, А. И.
Число и культура: рациональное бессознательное в языке, литературе, науке, современной политике, философии, истории
Языки славянской культуры, 2004 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Феферман, С.
Числовые системы: основания алгебры и анализа
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Петцольд, Ч.
Читаем Тьюринга: путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
Серия: Сер. "Классика программирования"
ДМК Пресс, 2014 г.
ISBN 978-5-9706001-0-8


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Пархоменко, А. С.
Что такое линия
Гос. изд-во технико-теорет. лит., 1954 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Калужнин, Л. А.
Что такое математическая логика?
Наука. Гл. ред. физ.-мат. лит., 1964 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Успенский, В. А.
Что такое нестандартный анализ?
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Гончарова, Г. А.
Элементы дискретной математики: учеб. пособие для сред. проф. образования
Серия: Сер. "Профессиональное образование"
ФОРУМ, ИНФРА-М, 2005 г.
ISBN 5-8199-0059-6


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Марков, А. А.
Элементы математической логики
Изд-во Моск. ун-та, 1984 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 4
Книга
Новиков, П. С.
Элементы математической логики
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 2
Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учеб. пособие
Изд-во Ленингр. ун-та, 1981 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Слупецкий, Е.
Элементы математической логики и теория множеств
Прогресс, 1965 г.
ISBN отсутствует


Заказать Заказать

На полку На полку


Доступно
 1 из 60
Книга
Колмогоров, А. Н.
Элементы теории функций и функционального анализа
Серия: Сер. "Классический университетский учебник"
Физматлит, 2006 г.
ISBN 5-922102-66-4


Заказать Заказать

На полку На полку


Доступно
 1 из 1
Книга
Колмогоров, А. Н.
Элементы теории функций и функционального анализа
Серия: Сер. "Классический университетский учебник"
Физматлит, 2009 г.
ISBN 978-5-9221-0266-7


Заказать Заказать

На полку На полку

© Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.204