日志：/var/log/messages、/var/log/syslog、/var/log/auth.log、dmesg、journalctl。命令：useradd、usermod、userdel、groupadd、passwd、id、who、w。文件：ls、cd、pwd、cp、mv、rm、mkdir、touch、ln、stat、file。控制：kill、pkill、killall、jobs、bg

核心公式：德·摩根律（¬(P∧Q)=¬P∨¬Q）、蕴含等值式（P→Q = ¬P∨Q）。关系性质：自反（有环）、反自反（无环）、对称（双向）、反对称（单向）、传递（连锁）。考点：判断是否为二部图（无奇环）、平面图（欧拉公式 v - e + r = 2）。核心工具：容斥原理（求交集补集）、鸽巢原理（抽屉原理，最不利原则）。考点：求逆元（扩展欧几里得算法）、中国剩余定理（一次同余方程组）。核心：整除、同