Refine your search
Availability
-
Authors
-
Locations
- Абонемент (3)
- Абонемент. Депозитарий (1)
- Книгохранилище (2)
- Читальный зал 5 (3)
-
Item types
- 1 месяц (2)
- 1 неделя (1)
- 6 месяцев (3)
- Выдается в читальный зал (2)
- Выдается по месту хранения (3) [x]
-
Topics
- Геделя теоремы о неполноте (1)
- Тьюринга машины (1)
- аксиоматические теории (1)
- алгебраические системы (1)
- алгебры (1)
- алгоритмическая неразрешимость (1)
- анализ алгоритмов (1)
- бинарные отношения (алгебра высшая) (1)
- векторные пространства (1)
- вероятности дискретные (1)
- высшая алгебра (1)
- группы (алгебра высшая) (1)
- делимости теория (алгебра высшая) (1)
- дискретная математика (1)
- дискретная математика в программировании (1)
- задачи по математической логике (1)
- кванторы (2)
- кванторы (математическая логика) (1)
- кольца (алгебра высшая) (1)
- комбинаторика (1)
- ламбда-исчисление (1)
- линейные операторы (1)
- линейных неравенств системы (1)
- линейных уравнений системы (1)
- логика высказываний (математическая логика) (1)
- логические следования (математическая логика) (1)
- математическая индукция (1)
- математическая логика (2)
- математическое доказательство (1)
- матрицы (1)
- множества (1)
- множества (математическая логика) (1)
- определители матриц (1)
- отношения (дискретная математика) (1)
- подсчеты (дискретная математика) (1)
- полиномы (1)
- предикаты (2)
- предикаты (математическая логика) (1)
- принцип включений-исключений (1)
- пропозициональная логика (1)
- рекуррентные соотношения (1)
- рекуррентные соотношения разделяй-и-властвуй (1)
- случайные величины дискретные (1)
- сравнений теория (алгебра высшая) (1)
- теоремы математической логики (1)
- теория вычислимости (1)
- теория графов (1)
- теория множеств (1)
- упражнения (1)
- учебные пособия для вузов (2)
- Show more
- Show less