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

eng|rus

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

Поиск :

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

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

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

Рубрика

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

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

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

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

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

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

Заказать

На полку

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

Заказать

На полку

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

Книга

Structural theory of automata, semigroups, and universal algebra

Серия: NATO science series

Springer, 2005 г.
ISBN 1-402-03816-X

Заказать

На полку

Многотомник

Studies in inductive logic and probability
University of California Press, 1980 г.
ISBN 0-520-03826-6

На полку

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

Книга
Марченков, С. С.
S-классификация функций трехзначной логики
Физматлит, 2001 г.
ISBN 5-922101-52-8

Заказать

На полку

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

Заказать

На полку

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

Книга

The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2010 г.
ISBN 978-0-521-15011-8

Заказать

На полку

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

Книга

The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2008 г.
ISBN 978-0-521-87625-4

Заказать

На полку

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

Книга

The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2007 г.
ISBN 0-521-87625-7

Заказать

На полку

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

Книга
Ramsey, F. P.
The foundations of mathematics: and other logical essays

Серия: International library of philosophy

Routledge, 2002 г.
ISBN 0-415-22546-9

Заказать

На полку

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

Книга

The history of mathematical proof in ancient traditions
Cambridge University Press, 2012 г.
ISBN 978-1-10-701221-9

Заказать

На полку

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

Заказать

На полку

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

Книга

The Oxford handbook of philosophy of mathematics and logic

Серия: Oxford handbooks in philosophy

Oxford University Press, 2005 г.
ISBN 0-19-514877-0

Заказать

На полку

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

Книга
Loveland, D. W.
Three views of logic: mathematics, philosophy, and computer science
Princeton University Press, 2014 г.
ISBN 978-0-691-16044-3

Заказать

На полку

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

Книга
Neeman, A.
Triangulated categories

Серия: Annals of mathematics studies

Princeton University Press, 2001 г.
ISBN 978-0-691-08686-6

Заказать

На полку

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

Заказать

На полку

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

Заказать

На полку

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

Заказать

На полку

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

Заказать

На полку

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

Книга
Шаумян, Г. А.
Автоматы: учеб. пособие
Гос. науч. - техн. изд-во машиностроительной лит., 1955 г.
ISBN отсутствует

Заказать

На полку

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

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

Заказать

На полку

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

Книга
Мельников, Г. П.
Азбука математической логики
Знание, 1967 г.
ISBN отсутствует

Заказать

На полку

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

Препринты
Калягин, В. А.
Аксиоматическая модель некомпенсаторного агрегирования. Препринт WP7/2009/01

Серия: Сер. "WP7 : теория и практика общественного выбора"

ГУ-ВШЭ, 2009 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Наголкин, А. Н.
Алгебра логики в золотом сечении: еще один шаг в область нечетких логик и компьютерного интеллекта
МАКС Пресс, 2006 г.
ISBN 5-317-01731-9

Заказать

На полку

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

Книга
Лефевр, В. А.
Алгебра совести: пер. со 2-го англ. изд. с доп.
Когито-Центр, 2003 г.
ISBN 5-89353-094-2

Заказать

На полку

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

Книга
Глушков, В. М.
Алгебра. Языки. Программирование
Наукова думка, 1989 г.
ISBN 5-12-000499-7

Заказать

На полку

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

Книга

Алгебраическая теория автоматов, языков и полугрупп
Статистика, 1975 г.
ISBN отсутствует

Заказать

На полку

Статья
Голяев, Ю. Д.
Алгоритм работы и программное обеспечение инерциального измерительного блока на зеемановских лазе...
б.г.
ISBN отсутствует

На полку

Статья

Алгоритм формирования управляющей системы в условиях неопределенности
б.г.
ISBN отсутствует

На полку

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

Автореферат
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: автореф. дис. ... д-ра технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует

На полку

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

Диссертация
Рожков, М. И.
Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм: дис. ... д-р технических наук : 05.13.19
МИЭМ, 2011 г.
ISBN отсутствует

На полку

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

На полку

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

Автореферат
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: автореф. дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует

На полку

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

Диссертация
Волкова, А. В.
Алгоритмическое и программное обеспечение многокритериального конструирования систем управления: дис. ... канд. технических наук : 05.13.11
МГИЭМ, 1999 г.
ISBN отсутствует

На полку

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

Заказать

На полку

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

Книга
Левитин, А. В.
Алгоритмы: введение в разработку и анализ
Вильямс, 2018 г.
ISBN 9785845909879

Заказать

На полку

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

Заказать

На полку

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

Книга
Скиена, С. С.
Алгоритмы: пер. с англ.
БХВ-Петербург, 2014 г.
ISBN 978-5-9775056-0-4

Заказать

На полку

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

Книга
Кормен, Т.
Алгоритмы : построение и анализ: пер. с англ.

Серия: Клаcсические учебники: Computer science

МЦНМО, 2000 г.
ISBN 5-900916-37-5

Заказать

На полку

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

Книга
Криницкий, Н. А.
Алгоритмы вокруг нас

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

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

Заказать

На полку

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

Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1986 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах
Радио и связь, 1987 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Тоценко, В. Г.
Алгоритмы технического диагностирования дискретных устройств
Радио и связь, 1985 г.
ISBN отсутствует

Заказать

На полку

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

Книга
Луридас, П.
Алгоритмы. Самый краткий и понятный курс

Серия: Б-ка MIT

Эксмо, Бомбора, 2022 г.
ISBN 9785041157654

Заказать

На полку

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

Книга
Кормен, Т.
Алгоритмы: построение и анализ
Вильямс, 2005 г.
ISBN 5-84590-857-4

Заказать

На полку

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

Книга
Кормен, Т.
Алгоритмы: построение и анализ

Серия: Клаcсические учебники: Computer science

МЦНМО, 2002 г.
ISBN 5-900916-37-5

Заказать

На полку

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

Книга
Кормен, Т.
Алгоритмы: построение и анализ
Вильямс, 2007 г.
ISBN 5-84590-857-4

Заказать

На полку

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

Книга
Кормен, Т.
Алгоритмы: построение и анализ
Вильямс, 2011 г.
ISBN 978-5-84590-857-5

Заказать

На полку

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

Книга
Кормен, Т.
Алгоритмы: построение и анализ: пер. с англ.

Серия: Клаcсические учебники: Computer science

МЦНМО, 2001 г.
ISBN 5-900916-37-5

Заказать

На полку