个结果，搜索词为 "computational logic"
状态：新状态：免费试用University of Colorado Boulder
您将获得的技能: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Pseudocode, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Logical Reasoning
状态：免费试用University of Colorado Boulder
您将获得的技能: 公钥加密标准（PKCS）, Encryption, 计算机科学, 理论计算机科学, Algorithm, 编程原则, 数据结构, 密码学, 计算思维, 高等数学, IBM 云
状态：免费试用Birla Institute of Technology & Science, Pilani
您将获得的技能: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Systems Analysis, Software Development, Machine Learning
状态：新状态：免费试用University of London
您将获得的技能: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Computer Science, Critical Thinking, Computational Thinking, Business Logic, Algorithms, Mathematical Modeling, Problem Solving, Strategic Communication
状态：新状态：免费试用The Hong Kong University of Science and Technology
您将获得的技能: Probability, Computational Logic, Combinatorics, Bayesian Statistics, Algorithms, Theoretical Computer Science, Mathematical Software, Mathematical Theory & Analysis, Cryptography, Logical Reasoning, Deductive Reasoning, Computational Thinking, Computer Science, Encryption, Data Structures, Arithmetic, General Mathematics, Public Key Cryptography Standards (PKCS), Problem Solving, Cybersecurity
状态：新状态：免费试用University of London
您将获得的技能: Computational Logic, Algorithms, Applied Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Deductive Reasoning, Mathematical Theory & Analysis, Trigonometry, Statistics, General Mathematics, Analysis, Graphing, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Arithmetic, Problem Solving
是什么让您今天来到 Coursera？
状态：免费试用Duke University
您将获得的技能: 业务沟通, 抽样（统计）, 图表设计, 研究, 批判性思维, 科学方法, 沟通, 分析, 信息架构, 逻辑推理, 概率, 演绎推理, 写作, 口头表达, 说服沟通, 相关性分析, 样本量的确定, 案例研究, 互动学习
状态：新状态：免费试用University of London
您将获得的技能: Combinatorics, Probability & Statistics, Data Analysis, Advanced Mathematics, Linear Algebra, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Statistics, Analysis, Statistical Analysis, Probability, Algorithms, Algebra
状态：新状态：免费试用University of London
您将获得的技能: Theoretical Computer Science, Computational Logic, Programming Principles, Computer Science, Algorithms, Computational Thinking, Database Theory, Mathematical Modeling, Data Structures, General Mathematics, Applied Mathematics, Business Mathematics, Advanced Mathematics, Logical Reasoning, Problem Solving
状态：免费试用University of California San Diego
您将获得的技能: 理论计算机科学, Python 程序设计, 算术, Encryption, Algorithm, 公钥加密标准（PKCS）, 贝叶斯统计, 网络安全, 数据结构, 图论, 组合学, 网络分析, 演绎推理, 概率, 计算逻辑, 密码学, 计算思维, 可视化（计算机制图）, 概率分布, 逻辑推理
状态：免费试用University of California San Diego
您将获得的技能: Debugging, Computer Programming Tools, Algorithms, Programming Principles, Computational Thinking, Digital pedagogy, Program Development, Technical Communication, Computer Programming, Education Software and Technology, Event-Driven Programming, Code Review, Diversity Equity and Inclusion Initiatives, Computer Science, Software Documentation, Brainstorming, Data Structures, Student Engagement, Visualization (Computer Graphics), Game Design
状态：免费试用University of London
您将获得的技能: 网页设计与开发, 调试, 计算机扫盲, 计算机科学, 算术, Network Security, 计算机系统, 网络安全, 计算机图形学, 解决问题, 应用数学, 计算机网络, Javascript, 开发环境, 计算思维, 计算机编程, 普通数学, 网络应用, 计算机编程工具, 软件开发工具
是什么让您今天来到 Coursera？
总之，以下是 10 最受欢迎的 computational logic 课程
- Fundamentals of Model Checking: University of Colorado Boulder
- 高级数据结构、RSA 和量子算法: University of Colorado Boulder
- Logic for Computer Science: Birla Institute of Technology & Science, Pilani
- Logic and Reasoning for Computing: University of London
- Discrete Mathematical Tools for Computer Science: The Hong Kong University of Science and Technology
- Essential Mathematics for Computer Science: University of London
- 逻辑与批判性思维入门: Duke University
- Applied Mathematical Methods for Computing: University of London
- Mathematical Foundations for Computing: University of London
- 计算机科学离散数学入门: University of California San Diego
