Математическая логика и теория алгоритмов - реферат по математике

 

Тезисы:

  • Математическая логика и теория алгоритмов Содержание.
  • Доказательство правильности алгоритма.
  • Очевидно, на каждой из n горизонталей должно стоять по ферзю.
  • Данное дерево представлено только для наглядности и простоты представления для n=2.
  • Среди позиций этого дерева нам надо отобрать те n-позиции, в которых ферзи не бьют друг друга.
  • Наша программа будет рассматривать только допустимые позиции.
  • Сформулируем задачу обхода произвольного дерева.
  • Будем считать, что у нас имеется Робот, который в каждый момент находится в одной из вершин дерева.
  • Доказательство правильности приводимой далее программы использует такие определения.
  • (ОНЛН) обработаны все вершины ниже, левее и над.

 

 

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

Предметы

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

 

 

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