Refine your search
Availability
-
Bibliographic level
- Книги (22)
-
Authors
- Игошин, Владимир Иванович (4)
- Гуц, Александр Константинович (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)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (15)
- 1 месяц (10)
- 6 месяцев (8)
- 1 неделя (5)
- Выдается по месту хранения (5)
-
Topics
- функции рекурсивные (20)
- учебные пособия для вузов (13)
- Тьюринга машины (12)
- исчисление высказываний (5)
- логика предикатов (5)
- математическая логика (5)
- теория алгоритмов (5)
- Геделя теорема о неполноте (4)
- алгоритмические проблемы неразрешимые (4)
- алгоритмов теория (4)
- дискретная математика (4)
- Маркова алгоритмы нормальные (3)
- Тарского теорема (3)
- алгебра высказываний (3)
- алгоритмы (3)
- арифметика формальная (3)
- задачи по математической логике (3)
- исчисление предикатов (3)
- теория множеств (3)
- учебные издания для вузов (3)
- NP-полнота (2)
- NP-полные массовые проблемы (2)
- Васильев, Николай Александрович (2)
- Васильева логика (2)
- Вригт, Георг фон (2)
- Гильберта десятая проблема (2)
- Евклида алгоритм (2)
- Кантгоуту логически возможные среды (2)
- Колмогоров, Андрей Николаевич (2)
- Компьютеры персональные (2)
- Крипке семантика (2)
- Крипке, Сол (2)
- Лукасевича логика трехзначная (2)
- Маркова нормальные алгоритмы (2)
- Пост, Эмиль Леон (2)
- Поста теорема (2)
- Программирование (2)
- Тьюринг, Алан Мэтисон (2)
- Тьюринга-Поста машина (2)
- Хоар, Чарльз (2)
- Хоара логика алгоритмическая, аксиомы (2)
- Черча нумералы (2)
- Черча тезис (2)
- аксиоматика (2)
- алгебра множеств (2)
- алгоритмическая сложность математических теорий разрешимых (2)
- алгоритмически неразрешимые проблемы массовые (2)
- алгоритмические проблемы математики (2)
- алгоритмические проблемы математической логики (2)
- алгоритмические проблемы разрешимые частично (2)
- Show more
- Show less