Refine your search
Availability
-
Bibliographic level
- Книги (221)
-
Authors
- Ивлев, Юрий Васильевич (8)
- Каймин, Виталий Адольфович (7)
- Гетманова, Александра Денисовна (6)
- Ивин, Александр Архипович (6)
- Ершов, Юрий Леонидович (5)
- Демидов, Игорь Владимирович (4)
- Каверин, Борис Иванович (4)
- Кириллов, Вячеслав Иванович (4)
- Колмогоров, Андрей Николаевич (4)
- Адян, С. И. (3)
- Бартон, Виталий Иванович (3)
- Дубнищева, Татьяна Яковлевна (3)
- Зюзьков, Валентин Михайлович (3)
- Иванов, Евгений Акимович (3)
- Игошин, Владимир Иванович (3)
- Клини, Стивен Коул (3)
- Мендельсон, Эллиот (3)
- Новиков, Федор Александрович (3)
- Палютин, Евгений Андреевич (3)
- Яблонский, Сергей Всеволодович (3)
- Акимов, Олег Евгеньевич (2)
- Александров, Дмитрий Николаевич (2)
- Алексенко, Андрей Геннадьевич (2)
- Берков, Владимир Федотович (2)
- Бочаров, Вячеслав Александрович (2)
- Брюшинкин, Владимир Никифорович (2)
- Бурбаева, Нина Владимировна (2)
- Войшвилло, Евгений Казимирович (2)
- Гришин, Анатолий Михайлович (2)
- Дегтярев, Михаил Григорьевич (2)
- Дейкова, Галина Михайловна (2)
- Джонс, Мартин Хартли (2)
- Днепровская, Татьяна Сергеевна (2)
- Драгалин, Альберт Григорьевич (2)
- Журавлев, Виктор Алексеевич (2)
- Кремер, Наум Шевелевич (2)
- Кузина, Елена Борисовна (2)
- Кузнецов, Олег Петрович (2)
- Лавров, Игорь Андреевич (2)
- Майдановский, Артур Сергеевич (2)
- Максимова, Лариса Львовна (2)
- Мальцев, Анатолий Иванович (2)
- Маркин, Владимир Ильич (2)
- Миловзоров, Олег Владимирович (2)
- Новиков, Петр Сергеевич (2)
- Панков, Иван Григорьевич (2)
- Плиско, Валерий Егорович (2)
- Путко, Борис Александрович (2)
- Старченко, Анатолий Александрович (2)
- Тришин, Иван Михайлович (2)
- Show more
- Show less
-
Locations
- Книгохранилище (185)
- Абонемент. Депозитарий (157)
- Абонемент (96)
- Читальный зал 5 (33)
- Читальный зал 4 (26)
- Читальный зал. Депозитарий (15)
- Отдел рукописей и книжных памятников (7)
- Библиотека РФФ (4)
- Факультетская библиотека (3)
- Читальный зал 3 (1)
- Show more
- Show less
-
Item types
- 6 месяцев [x]
- Выдается в читальный зал (182)
- 1 месяц (86)
- 1 неделя (38)
- Выдается по месту хранения (28)
-
Topics
- учебные пособия для вузов (113)
- математическая логика (79)
- логика (78)
- логика предикатов (28)
- логика высказываний (27)
- алгоритмы (23)
- дедуктивные умозаключения (22)
- понятие (22)
- теория множеств (21)
- доказательство (20)
- Тьюринга машины (19)
- аргументация (19)
- суждение (19)
- суждения (19)
- понятия (18)
- исчисление высказываний (17)
- множества (17)
- язык (16)
- индуктивные умозаключения (15)
- исчисление предикатов (15)
- комбинаторика (15)
- учебники для вузов (14)
- булевы функции (12)
- графы (12)
- дискретная математика (12)
- доказательства (12)
- логические законы (12)
- мышление (12)
- теория алгоритмов (12)
- алгебра логики (11)
- гипотезы (11)
- Задачи (10)
- искусственный интеллект (10)
- умозаключение (10)
- умозаключения (10)
- базы знаний (9)
- гипотеза (9)
- математика (9)
- Пролог (8)
- базы данных (8)
- задачи (8)
- информатика (8)
- кванторы (8)
- неклассическая логика (8)
- программирование (8)
- теория моделей (8)
- Математический анализ (7)
- Решение (7)
- дешифраторы (7)
- информационные технологии (7)
- Show more
- Show less
-
Collections