个结果，搜索词为 "computational logic"
状态：免费试用University of London
您将获得的技能: 算术, 测量系统, 数学建模, 普通数学, 计算机科学, 密码学, 应用数学, 代数, 计算思维
状态：免费试用Birla Institute of Technology & Science, Pilani
您将获得的技能: Theoretical Computer Science, Applied Mathematics, Algorithms, Cryptography, Relational Databases, Data Management
状态：预览Shanghai Jiao Tong University
您将获得的技能: 图论, 组合学, Algorithm, 数学理论与分析, 计算机科学, 网络分析, 理论计算机科学, 高等数学, 数据结构, 计算思维
状态：免费试用您将获得的技能: Programming Principles, Data Dictionary, Computational Logic, Data Cleansing, Data Structures, Python Programming, Pseudocode, Data Manipulation, Debugging
状态：免费试用University of Colorado Boulder
您将获得的技能: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Agentic systems, System Requirements, Robotics, Artificial Intelligence, Algorithms
状态：免费试用University of Colorado Boulder
您将获得的技能: 验证和确认, 功能测试, 嵌入式系统, 电子产品, 电子工程, 测试案例, 模拟和模拟软件, 系统设计, 专用集成电路, 现场可编程门阵列 (FPGA), 硬件设计, 计算机编程
28DIGITAL
您将获得的技能: 验证和确认, 组合学, Algorithm, 算术, 计算逻辑, 线性代数, 数学建模, 逻辑推理, 理论计算机科学, 应用数学
状态：免费试用University of Colorado Boulder
您将获得的技能: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Model Evaluation, Simulations, Algorithms, Safety and Security
状态：预览University of Michigan
您将获得的技能: 公共卫生, Algorithm, 计算机科学, 灾难恢复, 计算机编程, 解决问题, 编程原则, 计算思维
状态：预览Fractal Analytics
您将获得的技能: Cloud Computing, Information Technology, Cybersecurity, Linear Algebra, Critical Thinking, Simulations
状态：预览Birla Institute of Technology & Science, Pilani
您将获得的技能: Algorithms, Programming Principles, Data Science, Data Management, Computational Thinking, Data Manipulation, C and C++, Software Design, Analysis, Problem Solving, Complex Problem Solving
28DIGITAL
您将获得的技能: 验证和确认, 图论, Algorithm, 计算逻辑, Model Evaluation, 数据结构, 系统分析, 理论计算机科学
总之，以下是 10 最受欢迎的 computational logic 课程
- 计算机科学数学: University of London
- Discrete Mathematics for Computer Science and Engineering: Birla Institute of Technology & Science, Pilani
- 离散数学: Shanghai Jiao Tong University
- Mastering Python Logic and Data Structures: EDUCBA
- Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
- 用于 FPGA 设计的硬件描述语言: University of Colorado Boulder
- 自动推理：可满足性: 28DIGITAL
- Temporal Logic Model Checking : University of Colorado Boulder
- 运用计算思维解决问题: University of Michigan
- Quantum Computing For Everyone - An Introduction : Fractal Analytics
