个结果，搜索词为 "computational logic"
状态：预览University of Illinois Urbana-Champaign
您将获得的技能: 数字设计, 设计软件, Algorithm, 数据结构, 系统设计, 计算机结构, 调试, 验证和确认, 计算逻辑, 专用集成电路, 计算机工程, 理论计算机科学, 软件开发工具, 数学软件, 计算机编程工具
状态：免费试用您将获得的技能: Computational Thinking, Algorithms, Graph Theory, Data Structures, C++ (Programming Language), C and C++, Programming Principles, Computer Programming, Object Oriented Programming (OOP), Technical Design, Theoretical Computer Science
状态：新状态：免费试用The Hong Kong University of Science and Technology
您将获得的技能: Bayesian Statistics, Mathematical Theory & Analysis, Arithmetic, Advanced Mathematics, Deductive Reasoning
状态：免费试用University of Glasgow
您将获得的技能: 数据可视化软件, 数据结构, 网络开发, 脚本, 无监督学习, 代码审查, Html 和 Css, 原型设计, Javascript, 编程原则, 分析, 应用程序部署, 软件开发, 数据处理, JSON, 计算机编程, 计算思维, 数据分析, 网络应用, 应用程序开发
状态：新Birla Institute of Technology & Science, Pilani
您将获得的技能: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Data Structures, Graph Theory, Deductive Reasoning, Natural Language Processing, Logical Reasoning, Formal Learning
28DIGITAL
您将获得的技能: 应用数学, 算术, Algorithm, 验证和确认, 计算逻辑, 数学建模, 组合学, 理论计算机科学, 逻辑推理, 线性代数
状态：新状态：免费试用The Hong Kong University of Science and Technology
您将获得的技能: Cryptography, Algorithms, Theoretical Computer Science, Mathematical Theory & Analysis, Arithmetic, Computational Thinking, Public Key Cryptography Standards (PKCS), Data Structures, Applied Mathematics, Logical Reasoning, Deductive Reasoning
状态：免费试用Universidad Nacional Autónoma de México
您将获得的技能: Bayesian Network, Computational Logic, Markov Model, Artificial Intelligence, Game Theory, Theoretical Computer Science, Logical Reasoning, Python Programming, Deductive Reasoning, Reinforcement Learning, Probability, Verification And Validation, Decision Tree Learning, Algorithms, Probability Distribution
状态：免费试用University of California, Davis
您将获得的技能: 数据整理, 数据伦理, 数据科学, 人工智能, 模拟, 代理系统, 社会学, AI 赋能, 大数据, 趋势分析, 数据处理, 网页抓取, 社会科学, 研究方法, 网络分析, 系统思考, 自然语言处理, 研究, 社交网络分析, 数据库
状态：免费试用University of Colorado Boulder
您将获得的技能: Systems Design, Computational Logic, Verification And Validation, Software Systems, Theoretical Computer Science, Computer Architecture, Programming Principles, Graph Theory, Model Evaluation, Hardware Architecture, Algorithms
状态：预览University of Michigan
您将获得的技能: 公共卫生, Algorithm, 编程原则, 计算机科学, 灾难恢复, 计算机编程, 解决问题, 计算思维
- 状态：预览
University of Illinois Urbana-Champaign
您将获得的技能: 电气工程, 数据结构, Algorithm, 图论, 计算机结构, 计算机辅助设计, 计算逻辑, 数学建模, 系统设计, Networking 路由器, 专用集成电路, 微积分, 硬件设计
总之，以下是 10 最受欢迎的 computational logic 课程
- VLSI CAD 第一部分：逻辑: University of Illinois Urbana-Champaign
- C++: Data Structures and Algorithms: Codio
- Discrete Math for Computer Science - Counting & Probability: The Hong Kong University of Science and Technology
- 用 JavaScript 进行计算思考: University of Glasgow
- Automata and Computability: Birla Institute of Technology & Science, Pilani
- 自动推理：可满足性: 28DIGITAL
- Discrete Math for Computer Science - Algorithms & Recursion: The Hong Kong University of Science and Technology
- Razonamiento artificial: Universidad Nacional Autónoma de México
- 计算社会科学: University of California, Davis
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
