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


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

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



Иванов Я. В.

Разработка web-приложения для автоматического доказательства теорем логики предикатов - Томск: Томск. гос. ун-т. Факультет информатики, 2018.- 62 с.

http://vital.lib.tsu.ru/vital/access/manager/Repository/vital:6686

Выпускная квалификационная работа 62 с., 23 рис., 2 табл., 7 листингов кода, 22 источника, 2 приложения.

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

Цель работы – разработка web-приложения для автоматического доказательства теорем.

Методы исследования – унифицированный процесс разработки программного обеспечения [11, 12]: формализация требований, проектирование архитектуры, программная разработка.

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

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

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