Математическая Логика

Конспекты лекций по математической логике.|1) | [pic] | [pic] |.Машина с неограниченными регистрами (МНР) .Неформальное понятие алгоритма (последовательность инструкций для выполнения действия) .30 Машина Тьюринга - Поста (МТ-П) .40 Нормальные алгоритмы Маркова (НАМ) .(регистров) , в которых хранятся целые числа.Z (n) - обнуление регистра Rn.S (n) - увеличение числа в регистре Rn на 1.T (m,n) - копирует содержимое Rm в регистор Rn.