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

👓
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 из 1
Книга
Баранов, С. И.
Синтез микропрограммных автоматов: граф - схемы и автоматы
Энергия. Ленинград. отд-ние, 1979 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Глушков, В. М.
Синтез цифровых автоматов
Серия: Сер. "Математическая логика и основания математики"
Гос. изд-во физ.-мат. лит., 1962 г.
ISBN отсутствует


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

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


Доступно
 1 из 1
Книга
Девятков, В. В.
Системы искусственного интеллекта: уч. пособие
Серия: Сер. "Информатика в техническом университете"
Изд-во МГТУ им. Н. Э. Баумана, 2001 г.
ISBN 5-7038-1727-7


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

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


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

Сложность вычислений и прикладная математическая логика
Серия: Сер. "Вопросы кибернетики"
Академия наук СССР, 1988 г.
ISBN отсутствует


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

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


Доступно
 1 из 1
Автореферат
Акулова, Е. О.
Совершенствование методов анализа наиболее эффективного использования недвижимости для целей стои...: автореф. дис. ... канд. экон. наук : 08.00.10
Фин. ун-т при Правительстве Российской Федерации, 2015 г.
ISBN отсутствует


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

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


Доступно
 1 из 1
Книга
Шуман, А. Н.
Современная логика: теория и практика
Экономпресс, 2004 г.
ISBN 985-647-935-5


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

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


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


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


Доступно
 1 из 1
Книга
Моль, А.
Социодинамика культуры
Изд-во ЛКИ, 2008 г.
ISBN 978-5-382-00433-4


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

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


Доступно
 1 из 4
Книга
Моль, А.
Социодинамика культуры: пер. с фр.
УРСС, КомКнига, 2005 г.
ISBN 5-484-00001-7


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

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


Статья
Сироткин, Д. В.
Способ редукции графов и его приложения
б.г.
ISBN отсутствует


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


Многотомник

Справочная книга по математической логике: в 4 ч.
Наука. Гл. ред. физ.-мат. лит., б.г.
ISBN отсутствует


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


Статья
Фомичев, М. И.
Сравнительный анализ метаэвристических алгоритмов решения несимметричной задачи коммивояжёра
б.г.
ISBN отсутствует


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


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


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

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


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


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

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


Статья
Эстеров, А. И.
Степень бифуркационного множества общего полиномиального отображения
б.г.
ISBN отсутствует


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


Доступно
 1 из 2
Книга
Левин, В. И.
Структурно - логические методы исследования сложных систем с применением ЭВМ
Серия: Сер. "Теория и методы системного анализа"
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует


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

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


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

Т.1. : .
1973 г.
ISBN отсутствует


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

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


Доступно
 2 из 2
Книга
Шипачев, В. С.
Т.1
2017 г.
ISBN 9785534021011


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

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


Доступно
 1 из 1
Книга
Глушков, В. М.
Т.1. : Математические вопросы кибернетики
1990 г.
ISBN 5-12-001273-6


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

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


Доступно
 1 из 3
Книга
Шварц, Л.
Т.1. : .
1972 г.
ISBN отсутствует


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

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


Доступно
 1 из 2
Книга
Марков, А. А.
Т.2. : Теория алгорифмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы
2003 г.
ISBN 5-940571-13-1


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

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


Доступно
 1 из 1
Книга
Нагель, Э.
Теорема Геделя
Серия: Сер. "Новое в жизни, науке, технике"
Знание, 1970 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Успенский, В. А.
Теорема Гёделя о неполноте
Серия: Сер. "Популярные лекции по математике"
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Лонэ, М.
Теорема зонтика, или Искусство правильно смотреть на мир через призму математики
Серия: Сер. "Красота математики"
Эксмо, Бомбора, 2022 г.
ISBN 9785041187415


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

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


Доступно
 1 из 5
Книга
Василенко, О. Н.
Теоретико-числовые алгоритмы в криптографии
МЦНМО, 2006 г.
ISBN 5-940571-03-4


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

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


Доступно
 1 из 1
Автореферат
Погорелова, Е. В.
Теоретические и методологические основы управления знаниями в организации: автореф. дис. ... д-ра экон. наук : 08.00.05
Самарский гос. экон. ун-т, 2011 г.
ISBN отсутствует


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

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


Доступно
 1 из 4
Книга
Льюис, Ф.
Теоретические основы проектирования компиляторов
Мир, 1979 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Кудрявцев, В. Б.
Теория автоматов: учебник для бакалавриата и магистратуры
Серия: Сер. "Бакалавр и магистр"
Юрайт, 2017 г.
ISBN 9785534001174


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

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


Доступно
 1 из 25
Книга
Карпов, Ю. Г.
Теория автоматов: учебник для вузов
Серия: Сер. "Учебник для вузов"
Питер, 2003 г.
ISBN 978-5-318-00537-4


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

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


Доступно
 1 из 49
Книга
Горбатов, В. А.
Теория автоматов: учебник для вузов
Серия: Сер. "Высшая школа"
АСТ, Астрель, 2008 г.
ISBN 978-5-17-049562-7


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

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


Доступно
 1 из 19
Книга
Карпов, Ю. Г.
Теория автоматов: учебник для вузов
Питер, 2002 г.
ISBN 5-318-00537-3


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

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


Доступно
 2 из 5
Книга
Матрос, Д. Ш.
Теория алгоритмов: учебник для вузов
Серия: Сер. "Педагогическое образование"
БИНОМ. Лаборатория знаний, 2008 г.
ISBN 978-5-947742-26-8


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

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


Доступно
 1 из 18
Книга
Фалевич, Б. Я.
Теория алгоритмов: учеб. пособие для вузов
Машиностроение, 2004 г.
ISBN 5-217-03249-9


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

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


Доступно
 1 из 9
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие
Серия: Сер. "Высшее образование"
ИНФРА-М, 2013 г.
ISBN 978-5-16-005205-2


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

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


Доступно
 1 из 1
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие
Серия: Сер. "Высшее образование"
ИНФРА-М, 2014 г.
ISBN 978-5-16-005205-2


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

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


Доступно
 1 из 2
Книга
Марков, А. А.
Теория алгорифмов
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует


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

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


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

Теория алгорифмов и математическая логика
Вычислительный центр АН СССР, 1974 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Маслов, С. Ю.
Теория дедуктивных систем и ее применения
Серия: Сер. "Кибернетика"
Радио и связь, 1986 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Такеути, Г.
Теория доказательств
Мир, 1978 г.
ISBN отсутствует


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

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


Доступно
 1 из 2
Книга
Фридман, А.
Теория и проектирование переключательных схем
Мир, 1978 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Шабанов-Кушнаренко, Ю. П.
Теория интеллекта: проблемы и перспективы
Вища Школа, 1987 г.
ISBN отсутствует


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

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


Доступно
 1 из 1
Книга
Колмогоров, А. Н.
Теория информации и теория алгоритмов
Наука, 1987 г.
ISBN отсутствует


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

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


Доступно
 1 из 2
Книга
Хаусдорф, Ф.
Теория множеств
УРСС, КомКнига, 2006 г.
ISBN 5-484-00296-6


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

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


Доступно
 1 из 1
Книга
Хаусдорф, Ф.
Теория множеств
ОНТИ. НКТП СССР. Гл. ред. техн.-теорет. литературы, 1937 г.
ISBN отсутствует


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

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


Доступно
 1 из 2
Книга
Коэн, П. Дж.
Теория множеств и континуум - гипотеза
Мир, 1969 г.
ISBN отсутствует


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

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


Доступно
 1 из 4
Книга
Йех, Т.
Теория множеств и метод форсинга
Мир, 1973 г.
ISBN отсутствует


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

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


Доступно
 1 из 3
Книга
Кейслер, Г.
Теория моделей
Мир, 1977 г.
ISBN отсутствует


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

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


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

Теория моделей и алгебраическая геометрия: о доказательстве Э. Хрущовского гипотезы Морделла - Ленга: сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 978-5-940571-25-4


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

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


Доступно
 1 из 4
Книга
Сакс, Д.
Теория насыщенных моделей
Мир, 1976 г.
ISBN отсутствует


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

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


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


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

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

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