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