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

eng|rus

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

Поиск :

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

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

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

Рубрика

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

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

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

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

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

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

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

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

УРСС, 2005 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем

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

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

Заказать

На полку

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

Книга
Карпов, В. Г.
Математическая логика и дискретная математика
Вышэйшая школа, 1977 г.
ISBN отсутствует

Заказать

На полку

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

Книга

Математическая логика и ее применения
Мир, 1965 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Петров, Ю. А.
Математическая логика и материалистическая диалектика: (проблемы логико-филос. оснований и обоснования теорий)
Изд-во Моск. ун-та, 1974 г.
ISBN отсутствует

Заказать

На полку

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

Книга

Математическая логика и теория алгоритмов

Серия: Сер. "Труды Ин-та математики"

Наука. Сибирское отд-ние, 1982 г.
ISBN отсутствует

Заказать

На полку

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

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

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

ИНФРА-М, НГТУ, 2004 г.
ISBN 5-16-001975-8

Заказать

На полку

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

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

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

Академия, 2004 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Гринченков, Д. В.
Математическая логика и теория алгоритмов для программистов
КноРус, 2014 г.
ISBN 978-5-406-03403-3

Заказать

На полку

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

Книга
Харин, Н. Н.
Математическая логика и теория множеств: (о соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Глотова, М. Ю.
Математическая обработка информации: учебник и практикум для бакалавров

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

Юрайт, 2014 г.
ISBN 978-5-9916311-3-6

Заказать

На полку

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

Книга

Математическая теория логического вывода: сб. переводов

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

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

Заказать

На полку

Статья
Жолков, С. Ю.
Математические антиномии Канта - не антиномия
б.г.
ISBN отсутствует

На полку

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

Книга
Грин, Д.
Математические методы анализа алгоритмов
Мир, 1987 г.
ISBN отсутствует

Заказать

На полку

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

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

Серия: Сер. "Для высших учебных заведений"

Высш. шк., 2009 г.
ISBN 978-5-06-005739-3

Заказать

На полку

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

Книга
Андреева, Е. В.
Математические основы информатики: элективный курс: учеб. пособие

Серия: Сер. "Математика"

БИНОМ. Лаборатория знаний, 2007 г.
ISBN 978-5-947746-58-7

Заказать

На полку

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

Книга
Коршунов, Ю. М.
Математические основы кибернетики: учеб. пособие для вузов
Энергоатомиздат, 1987 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Сигорский, В. П.
Математический аппарат инженера

Серия: Б-ка инженера

Технiка, 1977 г.
ISBN отсутствует

Заказать

На полку

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

Заказать

На полку

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

Заказать

На полку

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

Книга
Окстоби, Д.
Мера и категория

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

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

Заказать

На полку

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

Автореферат
Сидорин, А. В.
Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для п...: автореф. дис. ... канд. технических наук : 05.13.11
МГТУ им. Н.Э. Баумана, 2017 г.
ISBN отсутствует

Заказать

На полку

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

Автореферат
Фомина, И. А.
Метод тестирования устойчивости телекоммуникационной системы управления беспилотных летательных а...: автореф. дис. ... канд. технических наук : 05.12.13
Моск. научно-исследовательский радиотехнический ин-т, 2015 г.
ISBN отсутствует

Заказать

На полку

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

Диссертация
Фомина, И. А.
Метод тестирования устойчивости телекоммуникационной системы управления беспилотных летательных а...: дис. ... канд. технических наук : 05.12.13
Моск. научно-исследовательский радиотехнический ин-т, 2015 г.
ISBN отсутствует

Заказать

На полку

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

Препринты
Седова, С. В.
Метод узловых векторов целочисленного программирования. 4. Алгоритмы локальной оптимизации: препринт #WP/2003/159
ЦЭМИ РАН, 2003 г.
ISBN 5-8211-0273-1

Заказать

На полку

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

Книга
Яновская, С. А.
Методологические проблемы науки
УРСС, КомКнига, 2006 г.
ISBN 5-484-00455-1

Заказать

На полку

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

Автореферат
Алексеев, И. Б.
Методы и алгоритмы определения архитектуры и функционально-организационного содержания распределе...: автореф. дис. ... канд. технических наук : 05.13.01
МИЭМ, 2008 г.
ISBN отсутствует

На полку

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

Диссертация
Алексеев, И. Б.
Методы и алгоритмы определения архитектуры и функционально-организационного содержания распределе...: дис. ... канд. технических наук : 05.13.01
МИЭМ, 2008 г.
ISBN отсутствует

На полку

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

Автореферат
Зо Мин Тайк
Методы и программные средства ускорения писка решения в базах знаний нечётких экспертных систем: автореф. дис. ... канд. технических наук : 05.13.11
НИУ МЭИ, 2017 г.
ISBN отсутствует

Заказать

На полку

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

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

На полку

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

Книга
Вольфенгаген, В. Э.
Методы и средства вычислений с объектами: аппликативные вычислительные системы

Серия: Сер. "Компьютерные науки и информационные технологии", Б-ка "ЮрИнфоР"

ЮрИнфоР, ЮрИнфоР, 2004 г.
ISBN отсутствует

Заказать

На полку

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

Автореферат
Меламед, А. Я.
Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем: автореф. дис. ... канд. технических наук : 05.13.11
МИЭМ, 2006 г.
ISBN отсутствует

На полку

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

Диссертация
Меламед, А. Я.
Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем: дис. ... канд. технических наук : 05.13.11
МИЭМ, 2006 г.
ISBN отсутствует

На полку

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

Книга
Черноруцкий, И. Г.
Методы принятия решений: учеб. пособие для вузов
БХВ-Петербург, 2005 г.
ISBN 5-941574-81-9

Заказать

На полку

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

Книга
Глушков, В. М.
Методы символьной мультиобработки
Наукова думка, 1980 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Жуков, В. К.
Метрология. Теория измерений: учеб. пособие для бакалавриата и магистратуры

Серия: Сер. "Университеты России"

Юрайт, 2019 г.
ISBN 9785534038651

Заказать

На полку

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

Книга
Бизам, Д.
Многоцветная логика: 175 логических задач
Мир, 1978 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Столл, Р. Р.
Множества. Логика. Аксиоматические теории

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

Просвещение, 1968 г.
ISBN отсутствует

Заказать

На полку

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

Брошюра

Множества. Отображения. Отношения на множестве
Полипресс, 2020 г.
ISBN 978-5-6042986-6-4

На полку

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

Книга
Фейс, Р.
Модальная логика

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

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

Заказать

На полку

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

Автореферат
Цуканова, О. А.
Модели и методы управления информационными ресурсами сетевых сообществ: автореф. дис. ... канд. технических наук : 05.13.18
НИУ ВШЭ, 2017 г.
ISBN отсутствует

Заказать

На полку

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

Диссертация
Цуканова, О. А.
Модели и методы управления информационными ресурсами сетевых сообществ: дис. ... канд. технических наук : 05.13.18
НИУ ВШЭ, 2017 г.
ISBN отсутствует

Заказать

На полку

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

Автореферат
Ремезова, Е. М.
Модели поддержки принятия решений при подготовке проекта внедрения КИС на основе многоагентных си...: автореф. дис. ... канд. экон. наук : 08.00.13
Санкт-Петербургский гос. экономический ун-т, 2017 г.
ISBN отсутствует

Заказать

На полку

Статья
Макушина, Е. Ю.
Моделирование вероятности банкротства российских нефинансовых компаний
б.г.
ISBN отсутствует

На полку

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

На полку

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

Автореферат
Баумгертнер, С. В.
Мультиэвристический подход к звездно-высотной минимизации нетерминированных конечных автоматов: автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Тольяттинский гос. ун-т, 2011 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Бажанов, В. А.
Н. А. Васильев и его воображаемая логика. Воскрешение одной забытой идеи
Канон+, 2009 г.
ISBN 978-5-88373-196-8

Заказать

На полку

Статья
Ревенко, А. В.
Нахождение ошибок в бинарных таблицах данных
б.г.
ISBN отсутствует

На полку

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

Диссертация
Ильиченкова, З. В.
Нейросетевая система планирования перемещения мобильного робота: дис. ... канд. технических наук : 05.13.01
МГИЭМ, 1998 г.
ISBN отсутствует

На полку

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

Книга

Неклассические логики

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

Штиинца, 1987 г.
ISBN отсутствует

Заказать

На полку