Refine your search
Availability
-
Authors
- Акимов, Олег Евгеньевич (3)
- Бабичева, И. В. (2)
- Берштейн, Леонид Самойлович (1)
- Бессонов, Александр Владимирович (1)
- Боженюк, Александр Витальевич (1)
- Будаев, В. Д. (2)
- Будаев, Виктор Дмитриевич (1)
- Верещагин, Николай Константинович (3)
- Виленкин, Наум Яковлевич (1)
- Вольвачев, Раймонд Трофимович (1)
- Игошин, Владимир Иванович (2)
- Кемени, Джон Дж (1)
- Куликов, Леонид Яковлевич (1)
- Куницкая, Елена Сергеевна (1)
- Локшин, Александр Александрович (1)
- Пензов, Юрий Ефимович (1)
- Плиско, Валерий Егорович (2)
- Сагомонян, Елена Артуровна (1)
- Сапоженко, Александр Антонович (2)
- Снелл, Дж. Лори (1)
- Стефанова, Наталия Леонидовна (1)
- Томпсон, Дж (1)
- Уайтсайдс, Сью (2)
- Успенский, Владимир Андреевич (2)
- Хаггард, Гэри (2)
- Целищев, Виталий Валентинович (1)
- Шлипф, Джон (2)
- Яглом, Исаак Моисеевич (1)
- Якубсон (2)
- Яшина, Елена Юрьевна (1)
- Show more
- Show less
-
Locations
- Абонемент (6)
- Абонемент. Депозитарий (4)
- Библиотека РФФ (1)
- Книгохранилище (16)
- Читальный зал 5 (11)
-
Item types
- 1 месяц (8)
- 1 неделя (10)
- 6 месяцев (9)
- Выдается в читальный зал (14)
- Выдается по месту хранения (2)
-
Topics
- Буля логика (3)
- Геделя теорема о полноте (2)
- Геделя теорема о существовании модели (2)
- Кантора теорема (2)
- Маркова нормальные алгоритмы (2)
- Поста теорема о полноте системы булевых функций (2)
- Тьюринга машины (5)
- Черча тезис (2)
- автоморфизмы (2)
- аксиоматическая теория алгебры высказываний (2)
- аксиоматическая теория высказываний (2)
- аксиоматические теории (2)
- аксиоматические теории неформальные (2)
- аксиоматические теории формальные (2)
- аксиоматический метод (2)
- аксиоматический метод в математике (2)
- алгебра высказываний (3)
- алгебра множеств (2)
- алгоритмические проблемы неразрешимые (2)
- алгоритмы (6)
- анализ алгоритмов (2)
- арифметика формальная (2)
- асимптоты (2)
- бинарное отношение (2)
- бинарные отношения (9)
- больцано - коши теорема (2)
- булевы функции (7)
- булевы функции и релейно-контактные схемы (2)
- булевы функции от n аргументов (2)
- булевы функции от двух аргументов (2)
- булевы функции от одного аргумента (2)
- вейерштрасса теорема (2)
- верификация программ (2)
- графы (4)
- группы (3)
- дискретная математика (5)
- кванторы (18)
- кодирование (3)
- логика высказываний (6)
- логика предикатов (9)
- математика (3)
- математическая индукция (3)
- математическая логика (12)
- математические модели (3)
- множества (18) [x]
- предикаты (5)
- теория алгоритмов (3)
- теория графов (3)
- теория множеств (3)
- учебные пособия для вузов (13)
- Show more
- Show less
-
Places
- ЭБС Лань (4)