Refine your search
Availability
-
Bibliographic level
- Книги (38)
-
Authors
- Игошин, Владимир Иванович (3)
- Гришин, Анатолий Михайлович (2)
- Ершов, Юрий Леонидович (2)
- Клини, Стивен Коул (2)
- Адян, С. И. (1)
- Александров, Дмитрий Николаевич (1)
- Аннушкин, Владимир Иванович (1)
- Аппельбаум, Марк Виленович (1)
- Арбузов, Петр Владимирович (1)
- Арефьев, Константин Петрович (1)
- Баврин, Иван Иванович (1)
- Башмакова, Изабелла Григорьевна (1)
- Бойт, Клаус (1)
- Бурбаки, Никола (1)
- Войшвилло, Евгений Казимирович (1)
- Герасименко, Владимир Николаевич (1)
- Гетманова, Александра Денисовна (1)
- Гнеденко, Борис Владимирович (1)
- Гринев, Сергей Викторович (1)
- Гуде, Сергей Васильевич (1)
- Дегтярев, Михаил Григорьевич (1)
- Джонс, Мартин Хартли (1)
- Дубнищева, Татьяна Яковлевна (1)
- Жуков, Александр Владимирович (1)
- Зюзьков, Валентин Михайлович (1)
- Ивин, Александр Архипович (1)
- Ивлев, Юрий Васильевич (1)
- Кириллов, Вячеслав Иванович (1)
- Кирсанов, Олег Иванович (1)
- Кирсанова, Екатерина Семеновна (1)
- Колмогоров, Андрей Николаевич (1)
- Кузина, Елена Борисовна (1)
- Кузичева, З. А. (1)
- Маркузе, Герберт (1)
- Медянцев, Дмитрий Вадимович (1)
- Мендельсон, Эллиот (1)
- Моррис, Ч. У. (1)
- Мочкорж, Иржи (1)
- Новак, Вилем (1)
- Овчинникова, Елена Викторовна (1)
- Орлов, Георгий Александрович (1)
- Палютин, Евгений Андреевич (1)
- Пассмор, Джон (1)
- Перфильева, Ирина (1)
- Пиаже, Жан (1)
- Поварнин, Сергей Иннокентьевич (1)
- Романович, Владимир Александрович (1)
- Рыбников, Константин Алексеевич (1)
- Самовол, Петр Исаакович (1)
- Сорокина, Эльвира Анатольевна (1)
- Show more
- Show less
-
Locations
- Книгохранилище (29)
- Абонемент. Депозитарий (27)
- Читальный зал 5 (25)
- Абонемент (19)
- Читальный зал 4 (13)
- Отдел рукописей и книжных памятников (4)
- Факультетская библиотека (2)
- Читальный зал. Депозитарий (1)
- Show more
- Show less
-
Item types
- 1 неделя [x]
- 6 месяцев [x]
- Выдается в читальный зал (31)
- 1 месяц (16)
- Выдается по месту хранения (6)
-
Topics
- учебные пособия для вузов (22)
- математическая логика (17)
- логика (13)
- логика предикатов (10)
- теория моделей (6)
- Тьюринга машины (5)
- алгоритмы (5)
- дедуктивные умозаключения (5)
- исчисление высказываний (5)
- алгебра высказываний (4)
- алгебра множеств (4)
- аргументация (4)
- булевы функции (4)
- доказательства (4)
- индуктивные умозаключения (4)
- исчисление предикатов (4)
- логика высказываний (4)
- язык (4)
- 19 век (3)
- 20 век (3)
- Маркова нормальные алгоритмы (3)
- аксиоматические теории (3)
- математическое моделирование (3)
- 21 век (2)
- Гегель, Георг Вильгельм Фридрих (2)
- Геделя теорема о неполноте (2)
- Геделя теорема о полноте (2)
- Геделя теорема о существовании модели (2)
- Задачи (2)
- Поста теорема о полноте системы булевых функций (2)
- Решение (2)
- Россия (2)
- Эрбрана теорема (2)
- аксиоматическая теория алгебры высказываний (2)
- аксиоматическая теория высказываний (2)
- аксиоматические теории неформальные (2)
- аксиоматические теории формальные (2)
- аксиоматический метод в математике (2)
- алгоритмические проблемы неразрешимые (2)
- атомная промышленность (2)
- безопасность жизнедеятельности (2)
- бинарные отношения (2)
- булевы функции и релейно-контактные схемы (2)
- булевы функции от n аргументов (2)
- булевы функции от двух аргументов (2)
- булевы функции от одного аргумента (2)
- верификация программ (2)
- вычислимость (2)
- геоинформационные системы (2)
- дешифраторы (2)
- Show more
- Show less
-
Collections