Computational Logic

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

最受欢迎

当前趋势

最新发布

筛选依据

主题
必需的

语言
必需的

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

了解产品
必需的

通过实践教程在 2 小时内掌握与工作相关的技能。
通过已评分作业、视频和论坛向顶级授课教师学习。
通过完成一系列课程和项目,深入学习学科知识。

级别
必需的

课程长度
必需的

字幕
必需的

教师
必需的

“computational logic” 的结果

  • 状态:免费试用

    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

  • 状态:预览

    您将获得的技能: Computational Logic, Artificial Intelligence, Simulations, Computational Thinking, Theoretical Computer Science, Algorithms, Machine Learning

  • 状态:免费试用

    您将获得的技能: Field-Programmable Gate Array (FPGA), Electronics Engineering, Hardware Design, Electronic Hardware, Computer Engineering, Verification And Validation, Computational Logic, Simulation and Simulation Software, Design Software, Integrated Development Environments, Schematic Diagrams, Simulations, Dataflow, Development Environment

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

    您将获得的技能: Unity Engine, User Interface (UI), Visualization (Computer Graphics), Computer Graphics, 3D Assets, Data-oriented programming, Virtual Environment, Game Design, C# (Programming Language), Data Structures, Debugging, Computational Logic

  • 状态:免费试用

    University of California San Diego

    您将获得的技能: 调试, 集成开发环境, 软件设计, 文化响应, Algorithm, 数据结构, 测试案例, 计算机编程, 编程原则, 计算思维, 教学法, 计划发展, 计算逻辑, Java, 伪代码, Java 编程, 面向对象编程(OOP), 教学

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

    您将获得的技能: NumPy, Matplotlib, Linear Algebra, Pandas (Python Package), Data Manipulation, Applied Mathematics, Python Programming, Data Analysis, Data Science, Regression Analysis, Data Visualization Software, Mathematics and Mathematical Modeling, Probability & Statistics, Numerical Analysis, Mathematical Modeling, Machine Learning, Computational Logic, Logical Reasoning

  • 状态:预览

    您将获得的技能: Education Software and Technology, Computational Thinking, Computer Programming, Computational Logic, Computer Programming Tools, Prototyping, Design Thinking, Artificial Intelligence, Innovation, Embedded Systems, Creative Design

  • 状态:预览

    您将获得的技能: Reinforcement Learning, Theoretical Computer Science, Supervised Learning, Statistical Machine Learning, Machine Learning, Artificial Neural Networks, Artificial Intelligence, Deep Learning, Computational Logic, Decision Tree Learning, Algorithms, Unsupervised Learning

  • 状态:预览

    您将获得的技能: Theoretical Computer Science, Graph Theory, Computational Logic, Logical Reasoning, Computational Thinking, Information Technology, Algebra, Informatics, Computer Science, Geospatial Information and Technology, Algorithms

  • 状态:预览

    您将获得的技能: 验证和确认, 调试, 软件设计, 系统设计与实施, 计算机工程, 计算机编程, 数据存储, 计算机结构, 计算逻辑, 计算机编程工具, 计算机硬件

  • 状态:预览

    您将获得的技能: System Design and Implementation, Application Specific Integrated Circuits, Embedded Systems, Computational Logic, Computer Architecture, Computer Systems, Functional Design, Hardware Architecture, Other Programming Languages

  • 状态:免费

    École normale supérieure

    您将获得的技能: 线性代数, 模拟, 抽样(统计), 数值分析, Algorithm, 定量研究, 积分微积分, 应用数学, 马尔可夫模型, 计算逻辑, 物理学

是什么让您今天来到 Coursera?

主要合作伙伴

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