上课内容是数理逻辑课本的后两章，主要是哥德尔定理，毕导出过科普视频，感兴趣可以看一下。上课体验和数理逻辑基础差不多，讲的比较慢。这学期刘老师还在人工智能伦理与技术讲了三次讲座，最后一节课拿了人工智能伦理与技术的课件讲了一些伦理相关的内容。去年的模态命题今年没讲。期间有一次请企业的人介绍了一个程序验证 >>更多
从获取知识的角度，这门课确实能让我有些收获，这也是我给六分的原因，但从检测和考试方面是一门纯纯的屑课 你见过一门课考核方式是大作业加考试吗？你见过一门课跨度能大到涵盖心理学，社会心理学，神级学，脑科学，超分辨成像等诸多方面？你见过一门通识课考试带着写满的六页正负A4纸还是没有写到知识点？你见过一门课 >>更多
兼具李白洒脱的surprising mathematician！ >>更多
四次实验，前两次比较简单。第三次需要手动输入100多行的现成的代码，也还行吧。第四次自己编写代码，自己测试，测试平台不能复制粘贴，每次调bug都非常麻烦，代码还查重。两次报告。第一次综述性报告，第二次研究性报告（要加仿真），每个3000字。1张A4纸开卷，手里没有往年题目（也不知道有没有），直接给我 >>更多
这课上课基本没人去，一百多个人的课到后面只有十几个人去了，两次小作业也不太好做，大作业任务比较重：代码+两份文档说明书+PPT+课上答辩。只能说更推荐博哥系统建模。当然对比mn的高软应该是要好的。 >>更多
出分前留个坑 老师上课讲的非常有趣，感觉是那种能让我放下作业听课的内容，和枯燥的思政形成了鲜明对比。上课会在讲台上走动但不会下来，也不会管你在做什么的。 上课有时候会放b站一些历史up主的视频，也会给我们推荐一些不错的系列。 上课总共签过三次到，有一节在课上完成了800字小论文（5个题目里选一个）， >>更多
傻孩子们，还看什么，快跑呀！ >>更多
适合自学~老师讲义写的也不错。 >>更多