个结果，搜索词为 "computational logic"
University of London
您将获得的技能: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Programming Principles, Computer Science, Critical Thinking, Computational Thinking, Business Logic, Algorithms, Mathematical Theory & Analysis, Algebra, Mathematical Modeling, Problem Solving, Strategic Communication
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, Software Development, Machine Learning
University of London
您将获得的技能: Computational Logic, Algorithms, Arithmetic, Applied Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Deductive Reasoning, Mathematical Theory & Analysis, Trigonometry, Geometry, Statistics, General Mathematics, Graphing, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Problem Solving
Duke University
您将获得的技能: 决策智能, 交流, 概率, 相关性分析, 分析, 概率与统计, 统计推理, 批判性思维, 逻辑推理, 上诉, 计算逻辑, 说服沟通, 图表设计, 验证和确认, 商务交流, 抽样（统计）, 演绎推理
University of California San Diego
您将获得的技能: 加密技术, Encryption, 组合学, 图论, 概率, Python 编程, 密码协议, 算法, 算术, 计算思维, Algorithm, 逻辑推理, 网络安全, 计算逻辑, 理论计算机科学, 概率分布, 关键管理, 加密, 网络分析, 贝叶斯统计, 演绎推理, 制图
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
是什么让您今天来到 Coursera？
Birla Institute of Technology & Science, Pilani
您将获得的技能: Data Analysis, Computational Logic, Integral Calculus, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Statistical Methods, Analysis, Advanced Mathematics, Bayesian Statistics, Statistical Inference, Theoretical Computer Science, Mathematics and Mathematical Modeling, Numerical Analysis, Descriptive Analytics
University of California San Diego
您将获得的技能: Debugging, Computer Programming Tools, Algorithms, Classroom Management, Programming Principles, Computational Thinking, Diversity Awareness, Digital pedagogy, Program Development, Technical Communication, Event-Driven Programming, Computer Programming, Computational Logic, Education Software and Technology, Collaborative Software, Animation and Game Design, Cultural Responsiveness, Code Review, Diversity Equity and Inclusion Initiatives, Brainstorming
University of Colorado Boulder
您将获得的技能: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning
Johns Hopkins University
您将获得的技能: 分析技能, 数学建模, 高等数学, 几何学, 概率与统计, 普通数学, 算术, 应用数学, 代数, 制图
Stanford University
您将获得的技能: 解决问题, 计算思维, 逻辑推理, 计算逻辑, 数学与数学建模, 业务逻辑, 演绎推理
Birla Institute of Technology & Science, Pilani
您将获得的技能: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Graph Theory, Deductive Reasoning, Natural Language Processing, Logical Reasoning, Formal Learning
总之，以下是 10 最受欢迎的 computational logic 课程
- Logic and Reasoning for Computing: University of London
- Logic for Computer Science: Birla Institute of Technology & Science, Pilani
- Essential Mathematics for Computer Science: University of London
- 逻辑与批判性思维入门: Duke University
- 计算机科学离散数学入门: University of California San Diego
- Discrete Mathematical Tools for Computer Science: The Hong Kong University of Science and Technology
- Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
- Computational Thinking & Block Programming in K-12 Education: University of California San Diego
- Fundamentals of Model Checking: University of Colorado Boulder
- 代数初级到高级: Johns Hopkins University
