逻辑学研究的核心课题是

模仿人类思维。逻辑学是研究思维的学科，人工智能的核心在于思维，因而如何把人们的思维活动形式化、符号化，使其得以在计算机上实现，就成为人工智能研究的重要课题，也就是说逻辑学是人工智能模仿人类思维研究途径的核心和基础。人工智能主要研究用人工方法模拟和扩展人的智能，最终实现机器智能，人工智能研究与人的思维研究密切相关，逻辑学始终是人工智能研究中的基础。

模仿人类思维。逻辑学是研究思维的学科，人工智能的核心在于思维，因而如何把人们的思维活动形式化、符号化，使其得以在计算机上实现，就成为人工智能研究的重要课题，也就是说逻辑学是人工智能模仿人类思维研究途径的核心和基础。人工智能主要研究用人工方法模拟和扩展人的智能，最终实现机器智能，人工智能研究与人的思维研究密切相关，逻辑学始终是人工智能研究中的基础。

管综逻辑考试自从1997年至今，已经考了26年。这些年题型已经发生了很多变化，在2008年以前考试的题型主要以形式逻辑和分析推理为主。从下表中我们可以看出来，在12年以前，管综逻辑基本上不考察分析推理，13年以后分析推理题型开始大量增加，基本上每年都是十题左右，尤其是19年以后，分析推理每年考试题量基本上保持在13，14题。而形式逻辑近几年考得越来越少，每年3-5题这样，剩下的10道题左右考察的是论证推理。因此，形式逻辑是逻辑考试的一个趋势，在我们后期的学习过程中一定要高度重视这种题型，这是我们逻辑冲高分的关键。形式逻辑其实近年来考得是比较少得，并不是我们考试的重点，但是也要重视，这部分是我们考试的基础。