Refine your search
Availability
-
Bibliographic level
- Книги (13)
-
Authors
- Лихтарников, Леонид Моисеевич (3)
- Сукачева, Тамара Геннадьевна (3)
- Спирин, Павел Алексеевич (2)
- Спирина, Марина Савельевна (2)
- Глухов, Михаил Михайлович (1)
- Захаров, Владимир Анатольевич (1)
- Игошин, Владимир Иванович (1)
- Конверский, Анатолий Евгеньевич (1)
- Куринной, Григорий Чарльзович (1)
- Лавров, Игорь Андреевич (1)
- Лихтарников Л. М. (1)
- Максимова, Лариса Львовна (1)
- Москинова, Галина Ивановна (1)
- Набебин, Алексей Александрович (1)
- Сукачева Т. Г. (1)
- Шишков, Алексей Борисович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (9)
- Читальный зал 5 (5)
- Абонемент. Депозитарий (1)
-
Item types
- Выдается в читальный зал (9)
- 1 неделя (5)
- 1 месяц (1)
- 6 месяцев (1)
- Выдается по месту хранения (1)
-
Topics
- логика предикатов (13)
- алгебра логики [x]
- математическая логика (9)
- задачи (6)
- исчисление высказываний (6)
- булевы функции (5)
- дискретная математика (4)
- комбинаторика (4)
- математические теории (4)
- учебные пособия для вузов (4)
- исчисление предикатов (3)
- логика высказываний (3)
- решение задач (3)
- алгебра высказываний (2)
- алгебра вычетов (2)
- алгебра логики высказываний (2)
- алгоритмы (2)
- бинарные отношения (2)
- булева алгебра (2)
- графы (2)
- кодирование информации (2)
- конечные автоматы (2)
- криптографические шифры (2)
- логика (2)
- логика диалектическая (2)
- математическая индукция (2)
- множества (2)
- системы счисления (2)
- теория графов (2)
- теория информации вероятностная (2)
- учебные издания для вузов (2)
- Алгоритмы (1)
- Аристотель (1)
- Буля алгебра (1)
- Бэкон, Фрэнсис (1)
- Геделя теорема о полноте (1)
- Задачи (1)
- Клини нумерация (1)
- Кука теорема об NP-полноте (1)
- Левенгейма-Сколема теорема (1)
- Математическая логика (1)
- Математический анализ (1)
- Мебиуса функция (1)
- Множеств теория (1)
- Поста нумерация (1)
- Тьюринга машины (1)
- Эйлера функция (1)
- аксиома логическая (1)
- аксиоматическая теория высказываний (1)
- аксиоматические теории (1)
- Show more
- Show less
-
Places
- ЭБС Лань (1)