个结果，搜索词为 "computational logic"
状态：免费试用Duke University
您将获得的技能: 沟通, 写作, 抽样（统计）, 说服沟通, 计算逻辑, 相关性分析, 分析, 科学方法, 批判性思维, 互动学习, 样本量的确定, 人际沟通, 概率, 业务沟通, 数学建模, 口头表达, 逻辑推理, 案例研究, 演绎推理
状态：免费试用University of California San Diego
您将获得的技能: 贝叶斯统计, 图论, 公钥加密标准（PKCS）, 概率分布, Encryption, 算术, 密码协议, 计算逻辑, Python 程序设计, 密码学, 理论计算机科学, 计算思维, 关键管理, 数据结构, 概率, 组合学, 网络分析, 逻辑推理, Algorithm, 演绎推理
状态：新状态：预览University of Colorado Boulder
您将获得的技能: Graph Theory, Programming Principles, Arithmetic
状态：新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 California San Diego
您将获得的技能: Debugging, Computer Programming Tools, Algorithms, Programming Principles, Computational Thinking, Program Development, Student Engagement, Technical Communication, Event-Driven Programming, Computer Programming, Education Software and Technology, Animation and Game Design, Code Review, Object Oriented Design, Diversity Equity and Inclusion Initiatives, Computer Science, Software Documentation, Brainstorming, Data Structures, Development Environment
是什么让您今天来到 Coursera？
状态：免费试用University of Colorado Boulder
您将获得的技能: 调试, 计算逻辑, 技术设计, 硬件架构, 功能测试, 嵌入式系统, 系统设计与实施, 验证和确认, 模拟
状态：免费试用Johns Hopkins University
您将获得的技能: 概率与统计, 应用数学, 算术, 分析技能, 几何学, 制图, 数学建模, 高等数学, 代数, 普通数学
状态：新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 Leeds
您将获得的技能: Logical Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence, Cryptography, Graph Theory
状态：新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
状态：免费试用您将获得的技能: Computational Thinking, Algorithms, Graph Theory, Data Structures, C++ (Programming Language), Programming Principles, Computer Programming, Theoretical Computer Science, Object Oriented Programming (OOP)
总之，以下是 10 最受欢迎的 computational logic 课程
- 逻辑与批判性思维入门: Duke University
- 计算机科学离散数学入门: University of California San Diego
- Model Checking with SAT and SMT : University of Colorado Boulder
- Formal Languages and Applications: Birla Institute of Technology & Science, Pilani
- 计算机科学与编程入门: University of London
- Computational Thinking & Block Programming in K-12 Education: University of California San Diego
- 用于 FPGA 设计的硬件描述语言: University of Colorado Boulder
- 代数初级到高级: Johns Hopkins University
- Automata and Computability: Birla Institute of Technology & Science, Pilani
- An Introduction to Logic for Computer Science: University of Leeds
