Refine your search
Availability
-
Bibliographic level
- Книги (16)
- Статьи из сборников (2)
-
Authors
- Лавров, Игорь Андреевич (3)
- Максимова, Лариса Львовна (3)
- Войшвилло, Евгений Казимирович (2)
- Игошин, Владимир Иванович (2)
- Андреева, Валентина Валерьевна (1)
- Бочаров, Вячеслав Александрович (1)
- Гавриленко, Станислав Михайлович (1)
- Герасимов, Александр Сергеевич (1)
- Гладких, Юрий Григорьевич (1)
- Гоцелюк, София Алексеевна (1)
- Дмитриева, Лидия Викторовна (1)
- Захаров, Михаил Юрьевич (1)
- Зеленкин, Владимир Харитонович (1)
- Зубов, Василий Павлович (1)
- Кривощапова, Нина Михайловна (1)
- Кузина, Елена Борисовна (1)
- Морозов, Владимир Алексеевич (1)
- Ниязова, Маргарита Илдаровна (1)
- Пойзнер, Борис Николаевич (1)
- Репин, Владимир Михайлович (1)
- Рубашкин, Валерий Шлемович (1)
- Ящук, Александр Нилович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (13)
- Читальный зал 5 (4)
- Читальный зал 4 (3)
- Абонемент (3)
- Абонемент. Депозитарий (2)
- Читальный зал. Депозитарий (1)
- Факультетская библиотека (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (11)
- 1 неделя (4)
- 1 месяц (4)
- 6 месяцев (4)
- Выдается по месту хранения (3)
-
Topics
- язык логики (9)
- язык логики предикатов (7)
- Тьюринга машины (6)
- учебные пособия для вузов (6)
- алгебра высказываний (5)
- алгоритмов теория (4)
- Клини нумерация (3)
- аксиоматическая теория (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)
- тавтологии (логика предикатов) (2)
- теорема о дедукции (2)
- Show more
- Show less