第一章内容
第一节：
可计算思想：从可计算到不可计算
ask2:证明算数公理的相容性
- 完备性（所有命题能从形式化系统推导出来）
- 一致性（一个命题不可能同时为真同时为假）
- 可制定性（算法在有限步内判断命题的真伪）
从典型任务给人工智能分类：
- 机器定理证明（逻辑和推理）
- 机器翻译（自然语言理解）
- 博弈
- 模式识别
- 学习（神经网络）
- 机器人和智能控制
第三节
人工智能研究的基本内容
首先我们要了解我们要学什么？
数学方面：微分与积分，逼近理论，矩阵及线性交换，概率论，回归分析
计算机科学方面：命令式编程，函数式编程，计算机系统，数据结构和算法，计算机思想
人工智能方面：人工智能基础，表达与问题求解，机器学习，自然语言处理及计算机视觉
标签：入门,AI,编程,命题,人工智能,自然语言 From： https://www.cnblogs.com/Alaso687/p/16943244.html