北京师范大学研究生专业介绍：计算机软件和理论
计算机软件和理论
| 研 究 方 向 | 研 究 内 容 |
| 逻辑与计算机基础理论 | 研究计算机科学的基础理论包括理论计算机系统的研究，及其在实时计算、并行计算、程序验证等方面的应用，数理逻辑、模型论、自动机理论、数据库理论、计算复杂性理论等方面的研究，及其对计算机的应用，同时研究一些数学问题的判定和计算复杂性。 |
| 人工神经网络 | 从数学的角度研究人工神经网络，揭示人工神经网络的数学本质、神经网络隐层搭的意义、权值、神经元之间的连接方面的问题及有关的数学结构、数学方法的图形表示；依据神经元的硬件实现，及有关的数学理论和数学方法如何设计用于神经网络计算机的芯片问题。 |
| 数学软件与计算机代数 | 将计算机技术与数学研究有机地结合，为数学研究提供新的思想和方法，研究一些数论函数的多项式，非线性代数方程的求解问题以及交换代数，代数、几何的某些理论的机械化方法和专用软件设计，连续计算的复杂性和小波理论及其应用。 |
| 计算机辅助教学软件的研究和开发 | 研究如何将机器证明、机器判证等方面引入中学以上数学教学软件，使课件具有高层次的交互能力和智能，研究与数学教育软件相关的复杂性、可行性和优化问题，研究在数学教育的现代化进程中如何发挥计算机辅助教育的作用及有关的规律和可能遇到的问题。 |
【北京师范大学研究生专业介绍：计算机软件和理论】相关文章：
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍：125200公共管理
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍：120404社会保障
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍：120401行政管理
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍：035200社会工作
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍：035102法律（法学）
- 2019-11-25【专业介绍】上海师范大学研究生专业介绍：035101法律(非法学)
网友关注
- 【专业介绍】2014年吉林大学070203原子与分子物理考研参考书目
- 【专业介绍】2014年吉林大学0906Z1兽医公共卫生考研参考书目
- 【专业介绍】2014年吉林大学030204中共党史考研参考书目
- 【专业介绍】2014年吉林大学071002动物学考研参考书目
- 【专业介绍】2014年吉林大学090601基础兽医学考研参考书目
- 【专业介绍】2014年吉林大学060300世界史考研参考书目
- 【专业介绍】2014年吉林大学050211外国语言学及应用语言学(俄语)考研参考书目
- 【专业介绍】2014年吉林大学090502动物营养与饲料科学考研参考书目
精品推荐
- 2021考研管综逻辑300道推理题及答案（21）
- 2020考研管理类联考综合全国硕士研究生考试试题及答案（网友版）
- 2020考研管综逻辑演绎推理类型试题及答案解析（查字典考研网版）
- 2020考研管综逻辑分析推理类型试题及答案解析（查字典考研网版）
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析（查字典考研网版）
- 2020考研管理类联考初数问题求解部分试题答案及解析（查字典考研网版）
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比