М 26 |
Марков, А. А. Теория алгорифмов [Текст] / А. А. Марков, Н. М. Нагорный. – М. : Наука, 1984. – 432с. – (Математическая логика и основания математики). – 7000.
На основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующимся основаниями математики, математической логикой и теорией алгорифмов. |