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

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

Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует

Заказать

На полку

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

Заказать

На полку

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

Книга
Миллер, Р.
Последовательные и параллельные алгоритмы: общий подход
БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-947743-25-6

Заказать

На полку

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

Автореферат
Сафин, М. М.
Построение алгоритмов сечений эффективного фронта аффинными подпространствами в методологии Анали...: автореф. дис. ... канд. физико-математических наук : 05.13.01
Ин-т системного анализа РАН, 2008 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Кузнецов, В. Е.
Представление в ЭВМ неформальных процедур

Серия: Сер. "Проблемы искусственного интеллекта"

Наука. Гл. ред. физ.-мат. лит., 1989 г.
ISBN 5-02-014101-1

Заказать

На полку

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

Книга
Непейвода, Н. Н.
Прикладная логика: учеб. пособие для вузов
Изд-во Новосибирского ун-та, 2000 г.
ISBN 5-7615-0490-1

Заказать

На полку

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

Книга
Девис, М.
Прикладной нестандартный анализ
Мир, 1980 г.
ISBN отсутствует

Заказать

На полку

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

На полку

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

На полку

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

Заказать

На полку

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

Книга
Попов, В. Г.
Природа и разум
Изд-во СПб. гос. ун-та, 2005 г.
ISBN 5-288-03625-X

Заказать

На полку

Статья
Зангиева, И. К.
Проблема пропусков в социологических данных: смысл и подходы к решению
б.г.
ISBN отсутствует

На полку

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

На полку

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

Книга

Проблемы конструктивного направления в математике - 4: сб. работ

Серия: Сер. "Труды ордена Ленина Математического института им. В. А. Стеклова"

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

Заказать

На полку

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

Книга

Проблемы математической логики: сложность алгоритмов и классы вычислимых функций: сб. пер.

Серия: Б-ка кибернетического сборника

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

Заказать

На полку

Статья
Демешев, Б. Б.
Прогнозирование банкротства российских компаний: межотраслевое сравнение
б.г.
ISBN отсутствует

На полку

Статья
Романов, А. Ю.
Проектирование сетей на кристалле с топологией кольцевой циркулянт с тремя образующими: разработк...
б.г.
ISBN отсутствует

На полку

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

Книга
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
Наука. Гл. ред. физ.-мат. лит., 1972 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
ОНТИ НКТП СССР, 1936 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Градштейн, И. С.
Прямая и обратная теоремы. Элементы алгебры логики
Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Ворожцов, А. В.
Путь в современную информатику
УРСС, 2003 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Шрейдер, Ю. А.
Равенство, сходство, порядок
Наука. Гл. ред. физ.-мат. лит., 1971 г.
ISBN отсутствует

Заказать

На полку

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

Автореферат
Малышев, Д. Н.
Разработка автоматизированных средств оптимизации одномерного раскроя: автореф. дис. ... канд. технических наук : 05.13.01
МФТИ, 2007 г.
ISBN отсутствует

На полку

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

Диссертация
Малышев, Д. Н.
Разработка автоматизированных средств оптимизации одномерного раскроя: дис. ... канд. технических наук : 05.13.01
МФТИ, 2007 г.
ISBN отсутствует

На полку

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

Диссертация
Боков, А. С.
Разработка и исследование алгоритмов диагностирования непрерывных САУ методами распознавания образов: дис. ... канд. технических наук : 05.13.01
Челябинский политехнический ин-т, 1981 г.
ISBN отсутствует

На полку

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

Автореферат
Королев, С. В.
Разработка и исследование методов и алгоритмов сжатия данных трехмерных анимаций для потоковых пр...: автореф. дис. ... канд. техн. наук : 05.13.13
МИЭМ, 2009 г.
ISBN отсутствует

На полку

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

Диссертация
Королев, С. В.
Разработка и исследование методов и алгоритмов сжатия данных трехмерных анимаций для потоковых пр...: дис. ... канд. техн. наук : 05.13.13
МИЭМ, 2009 г.
ISBN отсутствует

На полку

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

Автореферат
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: автореф. дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2008 г.
ISBN отсутствует

На полку

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

Диссертация
Нижарадзе, Т. З.
Разработка и исследование модели алгоритма динамической маршрутизации для сетей GMPLS: дис. ... канд. технических наук : 05.13.13
Вологодский гос. техн. ун-т, 2007 г.
ISBN отсутствует

На полку

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

Автореферат
Чашков, Ю. А.
Разработка интеллектуальных программных средств управления активным оборудованием корпоративных в...: автореф. дис. ... канд. технических наук : 05.13.13
МГИЭМ, 2002 г.
ISBN отсутствует

На полку

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

Диссертация
Чашков, Ю. А.
Разработка интеллектуальных программных средств управления активным оборудованием корпоративных в...: дис. ... канд. технических наук : 05.13.13
МГИЭМ, 2002 г.
ISBN отсутствует

На полку

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

Автореферат
Гаврилов, Д. А.
Разработка информационно-аналитической системы для бесконтактной идентификации веществ: автореф. дис. ... канд. технических наук : 05.13.01
МФТИ, 2012 г.
ISBN отсутствует

На полку

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

Диссертация
Гаврилов, Д. А.
Разработка информационно-аналитической системы для бесконтактной идентификации веществ: дис. ... канд. технических наук : 05.13.01
МФТИ, 2012 г.
ISBN отсутствует

На полку

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

Автореферат
Тряпицын, А. В.
Разработка методики проектирования беспроводных локальных сетей с учетом ЭМС: автореф. дис. ... канд. технических наук : 05.12.13
МИЭМ, 2006 г.
ISBN отсутствует

На полку

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

Диссертация
Тряпицын, А. В.
Разработка методики проектирования беспроводных локальных сетей с учетом ЭМС: дис. ... канд. технических наук : 05.12.13
МИЭМ, 2006 г.
ISBN отсутствует

На полку

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

Автореферат
Матвеева, К. В.
Разработка методов и алгоритмов инновационного обеспечения управления качеством: автореф. дис. ... канд. экон. наук : 08.00.05
Иркутский гос. техн. ун-т, 2010 г.
ISBN отсутствует

Заказать

На полку

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

Автореферат
Крупенников, И. В.
Разработка методов и алгоритмов обработки данных систем машинного зрения в реальном масштабе времени: автореф. дис. ... канд. технических наук : 05.13.15
МИЭМ, 2011 г.
ISBN отсутствует

На полку

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

Диссертация
Крупенников, И. В.
Разработка методов и алгоритмов обработки данных систем машинного зрения в реальном масштабе времени: дис. ... канд. технических наук : 05.13.15
МИЭМ, 2011 г.
ISBN отсутствует

На полку

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

Автореферат
Заботнев, М. С.
Разработка методов и средств анализа многомерных баз данных с неполной информацией: автореф. дис. ... канд. технических наук : 05.13.11
ГНИИ ФГНУ "Госинформобр", 2006 г.
ISBN отсутствует

На полку

Статья
Бальзин, Э. Р.
Разрешения категорий и производные сечения
б.г.
ISBN отсутствует

На полку

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

Книга
Медведев, Ф. А.
Ранняя история аксиомы выбора

Серия: Сер. "Физико - математическое наследие"

УРСС, Книжный дом "Либроком", 2013 г.
ISBN 978-5-397-03584-2

Заказать

На полку

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

Книга
Фоккинк, У.
Распределенные алгоритмы: интуитивный подход

Серия: Сер. "Для профессионалов"

Питер, 2017 г.
ISBN 9785496021630

Заказать

На полку

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

Книга
Виленкин, Н. Я.
Рассказы о множествах
Наука. Гл. ред. физ.-мат. лит., 1969 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Очан, Ю. С.
Сборник задач и теорем по теории функций действительного переменного
Просвещение, 1965 г.
ISBN отсутствует

Заказать

На полку

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

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

Заказать

На полку

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

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

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

КУРС, ИНФРА-М, 2022 г.
ISBN 9785906818089

Заказать

На полку

Книга (аналит. описание)
Карабекян, Д. С.
Свойства расширенных предпочтений в задаче манипулирования при голосовании
б.г.
ISBN отсутствует

На полку

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

Книга
Горбатов, В. А.
Семантическая теория проектирования автоматов
Энергия, 1979 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностр. лит., 1961 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Баранов, С. И.
Синтез микропрограммных автоматов
Энергия, 1974 г.
ISBN отсутствует

Заказать

На полку