Понятие предиката. Множество истинности предиката. Классификация предикатов - курсовая работа (Теория) по математике

 

Тезисы:

  • Тьюринг вычислительный предикат.
  • Проиллюстрируем на примерах все введенные понятия, связанные с машинами Тьюринга.
  • Введенное понятие является удобным инструментом для конструирования машин Тьюринга.
  • На понятие алгоритма можно взглянуть и с несколько иной точки зрения.
  • 0 ? 0п.
  • (6) : 1 ? 1п.
  • Это предположение известно как тезис Черча-Тьюринга.
  • Работа состоит введения, заключения, списка использованных источников и двух глав.
  • Машина Тьюринга есть математическая (воображаемая) машина, а не машина физическая.
  • Причем шаг осуществляется на основании предписанной команды.

 

 

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

Предметы

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

 

 

Актуальные курсовые работы (теория) по математике