Теория алгорифмов
Марков А.А., Нагорный Н.М.
В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Kategorie:
Rok:
1984
Wydawnictwo:
Наука
Język:
russian
Strony:
433
Serie:
Математическая логика и основания математики, 25
Plik:
DJVU, 3.92 MB
IPFS:
,
russian, 1984