Refine your search
Availability
- Showing only available items
- Show all items
-
Bibliographic level
- Книги (4)
-
Authors
-
Locations
- Книгохранилище (3)
- Читальный зал 5 (2)
- Абонемент (2)
- Абонемент. Депозитарий (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (3)
- 1 неделя (2)
- 6 месяцев (2)
- 1 месяц (1)
-
Topics
- исчисление предикатов (4)
- множеств теория (4)
- теория доказательств [x]
- математическая логика (3)
- теория алгоритмов (3)
- истинность (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)
- Show more
- Show less