Пушкарев И. А., Огородов А. В.

УДК 519.7                                                                                                                            DOI 10.25730/VSU.0536.18.004

И. А. Пушкарев¹, А. В. Огородов²

¹ кандидат физико‑математических наук, доцент кафедры фундаментальной информатики
и прикладной математики, Вятский государственный университет. Россия, г. Киров. E‑mail: god_sha@mail.ru

²  магистрант, Вятский государственный университет. Россия, г. Киров. E‑mail:  tepmi@yandex.ru

Аннотация. В статье рассматриваются некоторые специальные аспекты конструктивной теории машин Тьюринга в рамках преподавания математической логики и теории алгоритмов. В частности, преподавание этой части дисциплины требует использования соответствующего специально разработанного программного обеспечения. В данной работе эта проблема анализируется с позиций накопленного опыта преподавания теории алгоритмов студентам специальности «Прикладная математика и информатика» на основе подхода, основанного на рассмотрении «диаграмм Тьюринга», разработанного немецкими учеными под руководством профессора К. Якобса. На предыдущей стадии преподавания для верификации корректности работы построенных диаграмм также использовалось специально разработанное программное обеспечение. В данной работе предлагается программное обеспечение следующего поколения. Выявляются как недостатки программного обеспечения, использованного ранее, так и пожелания и требования к новому программному продукту, который должен в перспективе занять место старого. Статья содержит идеологическое описание нового программного обеспечения, важные подробности технической реализации и интерфейса и описание новых возможностей разработанного продукта, касающихся, в частности, рассмотрения вопросов моделирования многопроцессорных систем и параллельного программирования. 

Ключевые слова: библиотека qt, имитатор, верификация, машина Тьюринга, кроссплатформенность, многопроцессорные системы.