数理逻辑：本科教材

数理逻辑与算法理论：教材

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

算法理论

В.И. Игошин

数学 - 致考生。关于大学入学考试的一切

В. В. Ткачук

概率论与数理统计：教材

В. Я. Дерр

数学证明的艺术。附练习的讲座课程

Дэниэл Веллеман

自动控制理论（使用MATLAB — SIMULINK）

Ю. И. Кудинов, Ф. Ф. Пащенко

Fortran 专业指南。IMSL 数学库。第 1 版

О.В. Бартеньев

多尔加诺夫 A. Yu., 龙金 M. V., 索兹金 A. V. - Python语言上的机器学习基础算法 - 2023

离散数学：图论、拟阵、算法

М. О. Асанов, В. А. Баранский, В. В. Расин

可编程逻辑控制器编程。教材

Иванов В.Н.