1.2. Выпускная работа

Перетащите для изменения порядка разделов
Форматированный текст

Тема выпускной работы: «Верификация последовательных логических программ».

Целью данной выпускной работы являлась разработка формального исчисления для доказательства корректности последовательных и ациклических логических программ.

Был выделен следующий перечень вопросов, подлежащих разработке:

  • Изучение последовательных логических программ.
  • Разработка исчисления для линейных программ двузначной логики.
  • Разработка исчисления для сложно-структурированных программ.
rich_text    
Перетащите для изменения порядка разделов
Форматированный текст
rich_text    

Комментарии страницы