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