Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
-
Locations
- Абонемент. Депозитарий (4)
- Книгохранилище (3)
- Читальный зал 5 (1)
- Абонемент (1)
-
Item types
- 6 месяцев (4)
- Выдается в читальный зал (3)
- 1 месяц (2)
- 1 неделя (1)
-
Topics
- математическая логика (5)
- алгоритмы (4)
- Тьюринга алгоритмы (3)
- исчисление высказываний (3)
- Клини нумерация (2)
- Поста нумерация (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)
- конъюнктивная (1)
- курс лекций (1)
- курсы лекций (1)
- логика (1)
- Show more
- Show less
-
Collections
-
Places
- ЭБС Лань (1)