Теория алгорифмов
Марков А.А., Нагорный Н.М.
В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Kategoriler:
Yıl:
1984
Yayımcı:
Наука
Dil:
russian
Sayfalar:
433
Seriler:
Математическая логика и основания математики, 25
Dosya:
DJVU, 3.92 MB
IPFS:
,
russian, 1984