个结果，搜索词为 "computational logic"
状态：免费试用University of Colorado Boulder
您将获得的技能: 卷积神经网络, 心理学, 深度学习, 人工智能和机器学习（AI/ML）, 计算机图形学, 计算机视觉, 人工神经网络, 计算思维, 图像分析
状态：免费试用University of California, Davis
您将获得的技能: 经济学, 模拟, Model Evaluation, 科学方法, 代理系统, 社会科学, 社交网络分析, 系统思考, 社会学, 计算机编程
28DIGITAL
您将获得的技能: 应用数学, 算术, Algorithm, 验证和确认, 计算逻辑, 数学建模, 组合学, 理论计算机科学, 逻辑推理, 线性代数
状态：免费试用University of Colorado System
您将获得的技能: 数据结构, 数据可视化软件, 编程原则, 描述性统计, C（编程语言）, 计算思维, 数据分析, 统计分析
状态：预览Korea Advanced Institute of Science and Technology(KAIST)
您将获得的技能: 应用数学, 人工智能, 深度学习, 监督学习, 机器学习, 数学建模, 线性代数
状态：免费试用University of Colorado System
您将获得的技能: 数据结构, Algorithm, 文件输入/输出, 自动化, 模拟, 调试, 编程原则, C（编程语言）, 理论计算机科学, 计算思维
状态：新状态：免费试用您将获得的技能: Surveys, Survey Creation, User Feedback, Case Studies, Data Quality, Research Design, User Research, Data Collection, Qualitative Research, Sampling (Statistics)
28DIGITAL
您将获得的技能: 数据结构, 图论, Algorithm, 验证和确认, Model Evaluation, 计算逻辑, 理论计算机科学, 系统分析
状态：免费试用University of Glasgow
您将获得的技能: Javascript, 计算机图形学, 调试, 编程原则, 动画, 脚本语言, 计算思维, 计算机编程
状态：预览University of Amsterdam
您将获得的技能: 演绎推理, 计算逻辑, 普通数学, 逻辑推理
状态：免费试用Johns Hopkins University
您将获得的技能: 应用数学, 算术, 制图, 代数, 数学建模, 普通数学
状态：免费试用您将获得的技能: Programming Principles, Data Dictionary, Computational Logic, Data Cleansing, Data Structures, Python Programming, Pseudocode, Data Manipulation, Debugging
总之，以下是 10 最受欢迎的 computational logic 课程
- 计算视觉: University of Colorado Boulder
- 计算机模拟: University of California, Davis
- 自动推理：可满足性: 28DIGITAL
- 数据分析与表示、选择与迭代: University of Colorado System
- 人工智能初学者数学第 1 部分 线性代数: Korea Advanced Institute of Science and Technology(KAIST)
- 模拟、算法分析和指针: University of Colorado System
- Design Smart Surveys with Skip Logic: Coursera
- 自动推理：符号模型检查: 28DIGITAL
- Javascript 计算思维 1：绘图与动画: University of Glasgow
- 经济学家的逻辑: University of Amsterdam
