关于计算逻辑考研的科目设置，需根据具体院校和专业要求进行区分，主要分为以下方向：

一、数学类方向（核心科目）

数学分析

- 考试函数、极限、连续、微积分学、级数及常微分方程等核心内容，是计算逻辑的重要基础。

高等代数与解析几何

- 包含向量空间、线性变换、特征值与特征向量等，以及概率论基本公式，用于建模和算法分析。

常微分方程

- 用于解决动态系统问题，在控制论、人工智能等领域有重要应用。

二、逻辑学方向（专业核心科目）

逻辑学基础

- 考试命题逻辑、谓词逻辑、模态逻辑等基础理论，部分院校可能包含数理逻辑内容。

数理逻辑

- 涉及集合论、模型论、自动机理论等，是高级逻辑研究的基石。

非经典逻辑

- 包括模糊逻辑、直觉逻辑等，适用于人工智能、认知科学等领域的应用。

三、其他相关科目

思想政治理论（代码101）：部分院校的数学类或逻辑学专业考此科目，主要考察马克思主义原理和时事政治。

英语：

通常为英语一（数硕）或英语二（专硕），部分院校可能要求更高。

四、注意事项

院校差异：

不同院校的科目设置可能不同，例如管理类联考逻辑科目侧重日常思维能力，与纯理论考试有区别。

备考建议：

建议以目标院校的招生简章为准，结合自身专业方向选择科目，并系统学习数学和逻辑学基础。

以上内容综合了多个来源的信息，具体以报考院校的最新招生文件为准。