软件工程形式化方法的缺点
算法的特征？
算法的特征？
算法（Algorithm）是指解题方案的准确而完整的描述，是一系列解决问题的清晰指令，算法代表着用系统的方法描述解决问题的策略机制。也就是说，能够对一定规范的输入，在有限时间内获得所要求的输出。如果一个算法有缺陷，或不适合于某个问题，执行这个算法将不会解决这个问题。不同的算法可能用不同的时间、空间或效率来完成同样的任务。一个算法的优劣可以用空间复杂度与时间复杂度来衡量。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，并在其后尝试定义有效计算性或者有效方法中成形。这些尝试包括库尔特·哥德尔、Jacques Herbrand和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的递归函数，阿隆佐·邱奇于1936年提出的λ演算，1936年Emil Leon Post的Formulation 1和艾伦·图灵1937年提出的图灵机。即使在当前，依然常有直觉想法难以定义为形式化算法的情况。
特点：有穷性，确切性，输入项，输出项，可行性
本科生导师制优缺点？
优点:
1.学生接触到专业老师，及时更正本科生角色
本科生在入学之初，思想和学习方式都是高中阶段。高中阶段一般老师讲解一到两个知识点，然后学生完成学习和任务。然而，大学阶段的学习，老师讲解知识量往往要大很多。
2.帮助学生了解专业，引导本科生学习
在许多本科生眼中，地球物理学有些冷门，另外这些年煤炭行业的颓势，就业形势严峻。通过交流能感觉到本科生心中不免惴惴，甚至有早日改行的想法。
缺点:
1.通过本科生导师制论文，打破导师制拘泥于形式化的特点
导师制有些拘泥于形式化，主要体现在学生需要填写手册。而部分本科生反映，在经历充实大学生活的同时，还要时时想着去填写学生手册这件事，它明显成为了一种负担，这样反而与设置导师制的初衷相悖。