Теория алгорифмов
Марков А.А., Нагорный Н.М.
В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Категорії:
Рік:
1984
Видавництво:
Наука
Мова:
russian
Сторінки:
433
Серії:
Математическая логика и основания математики, 25
Файл:
DJVU, 3.92 MB
IPFS:
,
russian, 1984