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