个结果，搜索词为 "computational logic"
状态：免费试用Duke University
您将获得的技能: 人际沟通, 案例研究, 演绎推理, 数学建模, 口头表达, 互动学习, 科学方法, 写作, 计算逻辑, 分析, 说服沟通, 沟通, 概率, 批判性思维, 样本量的确定, 抽样（统计）, 业务沟通, 逻辑推理, 相关性分析
状态：免费试用University of California San Diego
您将获得的技能: Algorithm, Python 程序设计, 图论, 贝叶斯统计, 组合学, 概率分布, 网络分析, 演绎推理, 公钥加密标准（PKCS）, 理论计算机科学, Encryption, 数据结构, 密码协议, 计算逻辑, 算术, 关键管理, 概率, 计算思维, 密码学, 逻辑推理
状态：新Birla Institute of Technology & Science, Pilani
您将获得的技能: Theoretical Computer Science, Computer Programming, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Text Mining, Data Science, Analysis, Machine Learning Methods, Debugging, Technical Analysis
状态：免费试用University of London
您将获得的技能: 调试, 计算机编程, 开发环境, 网页设计与开发, 计算机网络, 计划发展, 算术, 计算机图形学, 计算机系统, Javascript, 测量系统, 计算思维, 计算机扫盲, 问题管理, Network Security, 解决问题, 计算机科学, 网络安全, 网络应用, 普通数学
状态：新状态：预览University of Colorado Boulder
您将获得的技能: Graph Theory, Programming Principles, Arithmetic
状态：免费试用Johns Hopkins University
您将获得的技能: 概率与统计, 数学建模, 几何学, 制图, 算术, 应用数学, 分析技能, 代数, 高等数学, 普通数学
是什么让您今天来到 Coursera？
状态：预览University of Leeds
您将获得的技能: Logical Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence, Cryptography, Graph Theory
状态：新Birla Institute of Technology & Science, Pilani
您将获得的技能: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Graph Theory, Natural Language Processing, Logical Reasoning, Formal Learning
状态：免费试用University of California, Davis
您将获得的技能: 机器学习, 数据整理, 人工智能, 数据库, 网页抓取, 数据收集, 数据伦理, 研究, 研究方法, 网络分析, 数据科学, 社交网络分析, 人工智能和机器学习（AI/ML）, 系统思考, 趋势分析, 社会科学, 模拟, 代理系统, 大数据, 自然语言处理
状态：免费试用Johns Hopkins University
您将获得的技能: 统计, 微积分, 回归分析, 数据分析, 几何学, R（软件）, 制图, 应用数学, 数学建模, 测量系统, 分析技能, 三角法, 相关性分析, 代数, 普通数学
状态：新状态：免费试用Birla Institute of Technology & Science, Pilani
您将获得的技能: Engineering Calculations, Data Analysis, Trigonometry, Engineering Analysis, Probability & Statistics, Computational Logic, Statistical Analysis, Linear Algebra, Logical Reasoning, Deductive Reasoning, Calculus, Analytics, Bayesian Statistics, Statistical Modeling, Artificial Intelligence and Machine Learning (AI/ML), Differential Equations, Statistical Inference, Theoretical Computer Science, Programming Principles, Descriptive Analytics
状态：新Birla Institute of Technology & Science, Pilani
您将获得的技能: Graph Theory, Network Analysis, Social Network Analysis, Combinatorics, Network Model, Mathematical Modeling, Data Structures, Transportation Operations, Image Analysis, Algorithms, Theoretical Computer Science, Artificial Intelligence and Machine Learning (AI/ML), Problem Solving
总之，以下是 10 最受欢迎的 computational logic 课程
- 逻辑与批判性思维入门: Duke University
- 计算机科学离散数学入门: University of California San Diego
- Formal Languages and Applications: Birla Institute of Technology & Science, Pilani
- 计算机科学与编程入门: University of London
- Model Checking with SAT and SMT : University of Colorado Boulder
- 代数初级到高级: Johns Hopkins University
- An Introduction to Logic for Computer Science: University of Leeds
- Automata and Computability: Birla Institute of Technology & Science, Pilani
- 计算社会科学: University of California, Davis
- 通过数据和建模进行微积分预习: Johns Hopkins University
