Математическая логика и теория алгоритмов : методические указания к выполнению практических работ для студентов направлений 10.05.03, 10.03.01 – «Информационная безопасность автоматизированных систем» / Министерство науки и высшего образования Российской Федерации, Курганский государственный университет, Кафедра "Программное обеспечение автоматизированных систем" ; [сост.: О.С. Черепанов]. - Курган: Издательство Курганского государственного университета, 2019. - 42, [1] с.: рис., табл. - Библиогр.: с. 43.