Теория доказательств и конструктивная математика [Электронный ресурс] /Барвайс, Дж.

 

QR-код документа

Оценок: 0

22.12
Б24
Барвайс, Дж.
    Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча

Открыть карточку электронного документа
Авторизуйтесь для получения дополнительных услуг

Похожие издания по классификации

Научное наследие [Электронный ресурс] /Чебышева, П.Л. . Вып.1. Математика
Теория множеств [Электронный ресурс] /Хаусдорф, Ф.
Математические теории неупругой сплошной [Электронный ресурс] /Фрейденталь, А.
Основы математического анализа [Электронный ресурс] /Фихтенгольц, Г.М. . Т.2
Математическая логика и автоматическое доказательство теорем [Электронный ресурс] /Чень, Ч.