北京师范大学研究生专业介绍：计算机软件和理论
计算机软件和理论 研 究 方 向 研 究 内 容
作者
佚名
次阅读2011-05-27
计算机软件和理论
| 研 究 方 向 | 研 究 内 容 |
| 逻辑与计算机基础理论 | 研究计算机科学的基础理论包括理论计算机系统的研究，及其在实时计算、并行计算、程序验证等方面的应用，数理逻辑、模型论、自动机理论、数据库理论、计算复杂性理论等方面的研究，及其对计算机的应用，同时研究一些数学问题的判定和计算复杂性。 |
| 人工神经网络 | 从数学的角度研究人工神经网络，揭示人工神经网络的数学本质、神经网络隐层搭的意义、权值、神经元之间的连接方面的问题及有关的数学结构、数学方法的图形表示；依据神经元的硬件实现，及有关的数学理论和数学方法如何设计用于神经网络计算机的芯片问题。 |
| 数学软件与计算机代数 | 将计算机技术与数学研究有机地结合，为数学研究提供新的思想和方法，研究一些数论函数的多项式，非线性代数方程的求解问题以及交换代数，代数、几何的某些理论的机械化方法和专用软件设计，连续计算的复杂性和小波理论及其应用。 |
| 计算机辅助教学软件的研究和开发 | 研究如何将机器证明、机器判证等方面引入中学以上数学教学软件，使课件具有高层次的交互能力和智能，研究与数学教育软件相关的复杂性、可行性和优化问题，研究在数学教育的现代化进程中如何发挥计算机辅助教育的作用及有关的规律和可能遇到的问题。 |
北京师范大学相关信息：
北京师范大学论坛新帖：更多
- 2021-02-25北京师范大学（法学院）院校相关解读及官方公告，持续...
- 2021-02-03史上最全法硕备考书单！帮你解决99%备考问题
- 2020-04-22北师大版规——发帖必读！
- 2023-02-13北师大西方哲学真题西哲901和马哲711真题（2003~2016）
- 2023-01-28北师大2018外国语言学及应用语言学初试及复试经验帖
- 2022-06-302018北师大汉硕考研经验帖
- 2022-05-12北师19戏剧与影视学学硕（电影方向）经验贴
- 2022-01-10北京师范大学文学院课程教学论考研经验杂谈
- 2021-11-28二本三跨考生的北师之路
- 2021-09-08二本跨考北师大汉语国际教育经验
考研帮最新资讯更多
