docs: fix ppl name. my bad

docs/major_elective/index.md

@@ -21,7 +21,7 @@
 |[人工智能逻辑](ai_logic/index.md)|3.0|二（春夏）|×|✓|×|较完善✅|
 |[技术沟通](technology_communication/index.md)|2.0|二（夏）|✓|✓|✓|较完善✅|
 |面向信息安全的信号处理|2.0|三（秋冬）|×|×|✓||
-|[编程语言原理](../major_module/principle_of_programming_languages/index.md)|2.0|三（秋冬）||×|✓||
+|[编程语言原理](../major_module/principle_of_programming_languages/index.md)|2.0|三（秋冬）||×|✓|较完善✅|
 |[脑启发人工智能导论](brain_inspired_ai/index.md)|3.0|三（冬）|×|✓|×||
 |[计算机科学思想史](../major_module/history_of_cs_ideas/index.md)|2.0|三（春夏）||✓|✓||
 |[计算摄影学](computational_photography/index.md)|4.0|三（春夏）|✓|×|×|较完善✅|

docs/major_module/index.md

@@ -22,7 +22,7 @@
 |:--|:--|:--|:--|:--|
 |[数值分析](numerical_analysis/index.md)|2.5|二（秋冬）|计算机科学|较完善✅|
 |[应用运筹学基础](applied_operations_research/index.md)|3.5|三（秋冬）|计算机科学|较完善✅|
-|[程序设计方法学](principle_of_programming_languages/index.md)|2.0|三（秋冬）|计算机科学||
+|[编程语言原理](principle_of_programming_languages/index.md)|2.0|三（秋冬）|计算机科学|较完善✅|
 |[计算机科学思想史](history_of_cs_ideas/index.md)|2.0|三（春夏）|计算机科学||
 |[数据挖掘导论](data_mining/index.md)|2.0|三（夏）|计算机科学|较完善✅|
 |[汇编与接口](assembly_interface/index.md)|4.5|三（秋冬）|计算机系统|较完善✅|