编程的理论深度

学校教算法分析和设计么？教计算理论么？教数理逻辑么？教信息理论么？教编程语言么？所谓的编程语言课，不是Java类库大全，Struts/JSF /Spring速成一类的职业培训，而是深入编程原理的基础：各种范式的优劣，语言设计的考量，语言实现的细节。。。最起码，讨论函数编程和逻辑编程么？ 系统编程课上，讨论系统构建的原理（比如并发理论）么？