на сайт факультета информатики ТГУ
на сайт Томского государственного университета
  


НАЧАЛО БИБЛИОТЕКА ДИПЛОМНЫЕ РАБОТЫ

     ДИПЛОМНЫЕ РАБОТЫ



Пудов С.А.

Реинжиниринг программной системы доказательства теорем - Томск: Томск. гос. ун-т. Факультет информатики, 2015 .- 59 с.

http://www.inf.tsu.ru/library/DiplomaWorks/CompScience/2015/Pudov/diplom.pdf


Объект исследования – программная система доказательства теорем.

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

Результаты работы – спроектированная, реализованная и документированная версия программной системы доказательства теорем с сохранением функционала предыдущей версии, но лишенная её недостатков.

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


Текст PDF
Объем 1868 Кбайт

Copyright © 2010 Факультет информатики Томского государственного университета  
  Служба сервера