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

 

QR-код құжаттың

Бағалар: 0

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

ББК 22.12

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

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

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

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

Жіктеу бойынша ұқсас басылымдар

Введение в математическую логику [Электронный ресурс] /Пентус, М.Р.
Беседы по математике и о математиках [Электронный ресурс] /Питерсон, Дж.
Дискретная математика [Электронный ресурс] /Плотников, А.Д.
Математическая логика [Электронный ресурс] /Понамарев, В.Ф. . Ч.1. Логика высказываний. Логика предикатов
Применение теории групп в квантовой механике [Электронный ресурс] /Петрашень, М.В.