Разработка программного и методического обеспечениядля проведения практических занятийпо конструктивной теории машин Тьюринга

Пушкарев И А & Огородов А В
Аннотация. В статье рассматриваются некоторые специальные аспекты конструктивной теории машин Тьюринга в рамках преподавания математической логики и теории алгоритмов. В частности, преподавание этой части дисциплины требует использования соответствующего специально разработанного программного обеспечения. В данной работе эта проблема анализируется с позиций накопленного опыта преподавания теории алгоритмов студентам специальности «Прикладная математика и информатика» на основе подхода, основанного на рассмотрении «диаграмм Тьюринга», разработанного немецкими учеными под руководством профессора К. Якобса. На предыдущей стадии преподавания для верификации корректности работы...
This data center is not currently reporting usage information. For information on how your repository can submit usage information, please see our Documentation.