形式化、建模与证明能力 ·问题的形式化能力 ·果挛癸或薯蹟定备常霸￥香整篷期裴鼻雒請 的非自然语言全面、精确地描 ·问题的建模能力 。 数学模型：对大量问题（现象）的本质要素、结构、性质进行的定性（定量） 抽象描述形成的数学系统 ·问题建模：运用数学模型，对具体问题的要素、 结构、性质进行形式化 规约形成的模型。比较关注具体问题解的表现和获取方法 ·数学证明 ·基于逻辑学的证明方法，提供了进行严格的数学证明的基本手段 。1 计算机科学中，数学证明常被用于求解算法/答案的正确性、性能的界的 严格证明形式化、建模与证明能力 • 问题的形式化能力 • 用严格定义（语法良定义，语义无歧义）的非自然语言全面、精确地描 述一个事实或者规律，通常用于问题建模和数学证明 • 问题的建模能力 • 数学模型：对大量问题(现象)的本质要素、结构、性质进行的定性(定量) 抽象描述形成的数学系统 • 问题建模：运用数学模型，对具体问题的要素、结构、性质进行形式化 规约形成的模型。比较关注具体问题解的表现和获取方法 • 数学证明 • 基于逻辑学的证明方法，提供了进行严格的数学证明的基本手段 • 计算机科学中，数学证明常被用于求解算法/答案的正确性、性能的界的 严格证明