Конспекты лекций по математической логике

Конспекты лекций по математической логике 1.Теория алгоритмов.Машина с неограниченными регистрами (МНР) .Неформальное понятие алгоритма (последовательность инструкций для выполнения действия) .30 Машина Тьюринга - Поста (МТ-П) .40 Нормальные алгоритмы Маркова (НАМ) .Z (n) - обнуление регистра Rn.S (n) - увеличение числа в регистре Rn на 1.T (m,n) - копирует содержимое Rm в регистор Rn.I (p,q,n) - если содержимое Rp = Rq то выполняется команда с номером n , если нет следующая.Тезис Черча (Churcha) : Первое и второе определение алгоритма эквивалентны между собой.