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

 

Тезисы:

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

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные рефераты по математике