Computational Logic

计算逻辑是一种推理形式,涉及以数学表达式的形式对逻辑语句进行操作。Coursera 的计算逻辑目录使您具备将逻辑方法应用于计算的能力,理解支撑计算机系统的数学形式主义,并根据逻辑原理设计算法。您将学习形式逻辑的表示、自动定理证明、模型检查和逻辑编程等知识。无论您是计算机科学家、软件工程师、数学家,还是仅仅对计算理论感兴趣,掌握这些技能都将有助于您在各种计算环境中理解和实现逻辑结构。
18凭据
1个在线学位
82门课程

最受欢迎

当前趋势

最新发布

筛选依据

主题
必需的

语言
必需的

在整个课程(说明和评估)中使用的语言。

了解产品
必需的

通过实践教程在 2 小时内掌握与工作相关的技能。
通过已评分作业、视频和论坛向顶级授课教师学习。
通过完成一系列课程和项目,深入学习学科知识。
在线获得学士学位或硕士学位,所需费用仅为在校学习费用的一小部分。
以灵活的交互式方式,获得大学颁发的执业证书。

级别
必需的

课程长度
必需的

字幕
必需的

教师
必需的

“computational logic” 的结果

  • 状态:新
    状态:免费试用

    您将获得的技能: Pandas (Python Package), NumPy, Data Manipulation, Data Wrangling, Package and Software Management, Data Analysis, Data Transformation, Unstructured Data, JSON, Object Oriented Programming (OOP), Data Science, Python Programming, Computer Programming, Programming Principles, Data Import/Export, Software Design, Data Validation, Mathematical Software, Computational Logic, Data Structures

  • 状态:预览

    University of Colorado Boulder

    您将获得的技能: Computational Logic, Systems Architecture, Software Design, Verification And Validation, Systems Design, Theoretical Computer Science, Communication Systems, Simulations, Algorithms, Safety and Security

  • 状态:免费试用

    Stanford University

    您将获得的技能: 社交网络分析, Networking 路由器, 网络分析, 计算逻辑, Algorithm, 理论计算机科学, 数据结构, 图论, 计算思维, 生物信息学, 概率与统计, 概率, 运筹学, 分析, 伪代码

  • 状态:免费试用

    Icahn School of Medicine at Mount Sinai

    您将获得的技能: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Research, Mathematical Modeling, Molecular Biology, Pharmacology, Science and Research, Cell Biology, Biotechnology, Biomedical Technology, Scientific Methods, Physiology, Differential Equations, Computational Logic, Biochemistry, Network Analysis, Biology

  • 状态:新
    状态:免费试用

    您将获得的技能: Programming Principles, Data Dictionary, Computational Logic, Data Cleansing, Data Structures, Python Programming, Data Manipulation, Debugging

  • 状态:免费试用

    University of Colorado Boulder

    您将获得的技能: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Verification And Validation, Systems Design, System Requirements, Automation, Mechanical Engineering, Systems Analysis, System Design and Implementation, Agentic systems, Applied Mathematics, Control Systems, Simulations, Differential Equations, Computer Science, Artificial Intelligence, Algorithms, Basic Electrical Systems

  • 状态:免费试用

    您将获得的技能: Field-Programmable Gate Array (FPGA), Electronics, Hardware Design, Application Specific Integrated Circuits, Electronics Engineering, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Hardware, Electronic Components, Internet Of Things, Embedded Systems, Programmable Logic Controllers, Low Voltage, Electronic Systems, Control Systems, Computer Engineering

  • 状态:免费试用

    University of Colorado Boulder

    您将获得的技能: Markov Model, Biological Engineering, Molecular Biology, Biotechnology, Bioinformatics, Simulation and Simulation Software, Mathematical Modeling, Engineering Analysis, Electrical Engineering, Engineering Design Process, Computational Thinking, Simulations, Biochemistry, Computational Logic, Differential Equations, Cell Biology, Technical Design, Failure Analysis, Hazard Analysis, Numerical Analysis

  • 状态:免费试用

    University of California San Diego

    您将获得的技能: 演绎推理, 组合学, Algorithm, 理论计算机科学, 计算思维, 计划发展, Python 程序设计, 计算逻辑, 逻辑推理, 计算机科学

  • 状态:预览

    University of Illinois Urbana-Champaign

    您将获得的技能: 微积分, Networking 路由器, 应用数学, Algorithm, 半导体, 数据结构, 图论, 电气与计算机工程, 计算机工程, 线性代数, 计算逻辑, 系统设计, 数学建模, 硬件设计, 计算机辅助设计, 电子硬件, 专用集成电路

  • 状态:免费试用

    Universidad Nacional Autónoma de México

    您将获得的技能: Bayesian Network, Computational Logic, Markov Model, Artificial Intelligence, Game Theory, Theoretical Computer Science, Python Programming, Deductive Reasoning, Probability, Mathematical Modeling, Algorithms

  • 您将获得的技能: 系统分析, 验证和确认, Algorithm, 理论计算机科学, 数据结构, 图论, 计算逻辑

是什么让您今天来到 Coursera?

主要合作伙伴

  • University of Colorado Boulder
  • EDUCBA
  • Packt
  • University of California San Diego
  • Birla Institute of Technology & Science, Pilani
  • Codio
  • L&T EduTech
  • Peking University