软件开发中为什么使用形式化方法2

发布网友发布时间：2023-10-24 20:49

共1个回答

热心网友时间：2024-11-03 01:03

这两类课程我都接触过（一个是我硕士期间的研究方向，一个是现在的研究方向），我说说我的了解，仅供参考~
随机过程是统计学的一门课程，课上会讲一些统计模型和知识（比如马尔科夫模型、随机游走……），这门课对于机器学习、模式识别等方向很重要，如果你对机器学习/人工智能很感兴趣，可以选这门课。
形式化方法是逻辑的一门课程，里面可能会讲到经典逻辑、拉姆达验算…，如果你将来想从事形式化验证（就是用逻辑的方法证明一段程序的正确性），可以选这门课
一般来讲，如果你将来想就业而不想搞科研，可以选随机过程。如果你将来想做科研，那么这两门课你根据自己的兴趣随便选