Название: Теория алгорифмов
Автор: Марков А.А., Нагорный Н.М.
Издательство: М.: Наука
Год: 1984
Формат: PDF
Страниц: 432
Размер: 52.5 MB
Язык: Русский

В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.