Deloitte
6 位校友岗位:Graduate Program · Graduate Consulting · Platform Engineer · Web developer · Platform engineer
IFN505
Analysis of Programs
2 学分难度 中等
课程介绍： 本单元介绍了其中一些基本原则，以帮助您更深入地了解您所选择的领域。虽然计算机编程通常被教授为基于设计的学科，以逐步开发过程为中心，但重要的是要认识到编程还具有由Hoare和Dijkstra等计算机科学先驱开发的完善的数学基础。 计算机程序的属性可以正式定义，甚至可以在运行之前推断程序代码的特性和性能。 在开发“关键”计算机程序时，这些知识是必不可少的，这些程序需要强有力的程序正确性保证。该课程揭示了计算机程序代码如何具有固有的“语义”含义，可以在实践中用于预测执行代码片段将如何改变计算机的状态以及代码执行时的效率。 学科点数：12 视频介绍：
From Seniors
学长留下的
基础信息谁都查得到,真正值钱的是过来人的经验。
学姐说
比你早一年的学长留下的真实经验 —— ChatGPT 给不了。
这门课还没有学长经验,你可以是第一个 —— 注册后在课内分享。
往年考点 / 踩坑
这门课暂无往年考点记录。
毕业生去向(整体)
下面是匠人学院毕业生整体去过的公司分布(来自脱敏校友证言)。这是全平台的总体去向,不代表选这门课的人一定去这些公司。
统计自 317 份脱敏校友证言
Zerologix
4 位校友岗位:Frontend Dev · junior frontend developer · Front-end Developer · Full Stack Developer
Servian
4 位校友岗位:Full-stack Developer · Data Engineer · Consultant
关于这块数据,我们说实话
雇主墙来自脱敏毕业生证言（testimonials）的整体分布，无法关联到具体学员或其所选课程；仅作为毕业生去向的总体社会证明展示。
我们没有"某位学长选了这门课、后来进了哪家公司"这种可查询的个人去向档案 —— 校友证言是脱敏的,无法关联到具体的人或他选过的课。所以这里只给整体分布,不给个人路径,不编。