LAFF – On Programming for Correctness (EdxArchive) 0 个评论 关注

开始时间: 04/22/2022 持续时间: 7 weeks

主页: https://www.edx.org/archive/laff-programming-correctness-utaustinx-ut-p4c-14-01x

简介: Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.

Linear Algebra - Foundations to Frontiers (EdxArchive) 0 个评论 关注

开始时间: 04/22/2022 持续时间: 15 weeks

主页: https://www.edx.org/archive/linear-algebra-foundations-frontiers-utaustinx-ut-5-03x

简介: Learn the mathematics behind linear algebra and link it to matrix software development.

Linear Algebra - Foundations to Frontiers (EdxArchive) 0 个评论 关注

开始时间: 04/22/2022 持续时间: 15 weeks

主页: https://www.edx.org/archive/linear-algebra-foundations-frontiers-utaustinx-ut-5-05x

简介: Learn the mathematics behind linear algebra and link it to matrix software development.