Исследование некоторых задач в алгебрах и пространствах программ - реферат по информатике и телекоммуникациям

 

Тезисы:

  • Рассмотрим задачу исследования разрешимости в пространствах программ.
  • При решении этой задачи используются аксиомы алгебры А.
  • Все аксиомы алгебры B и правила вывода в ней сохраняются.
  • Программа Т - более оптимальна и ее правильность доказываема формально.
  • Дана программа Р, где А,В,С - процедуры, a,b - предикаты.
  • Шаг 4. Находим решение системы.
  • Шаг 5. По условиям выполнимости событий находим регулярную форму этого решения.
  • Решим эту систему.
  • P=a (BA+CA) b (Ab{A}+e) =a (B+С) Ab (Ab{A}+e) =a (B+С) Ab ({A}b+e) =a (B+С) Ab{A}=a (B+C) {A}b=T.
  • Доказана теорема (доказательство не приводим из-за объема) .
Читать онлайнСкачать реферат

 

 

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

Еще похожие работы

Предметы

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

 

 

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