Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти

Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.