• 为个人
  • 为商务
  • 为大学
  • 为政府
学位
​
登录
免费加入
  • 浏览
  • Computational Logic

更多精彩内容:

个结果,搜索词为 "computational logic"


  • 2

    28DIGITAL

    自动推理:符号模型检查

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

    4.7
    评分, 4.7 星,最高 5 星
    ·
    26 条评论

    中级 · 课程 · 1-4 周

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

    University of London

    Geometry and Calculus for Computing

    您将获得的技能: Applied Mathematics, Trigonometry, Mathematics and Mathematical Modeling, Graphing, Calculus, Computer Science, Mathematical Theory & Analysis, Geometry, Mechanics, Computer Graphics, Graph Theory, Mathematical Modeling, Functional Requirement, Physics, Graphic Design, Derivatives

    初级 · 课程 · 1-4 周

  • 状态:预览
    预览
    P

    Politecnico di Milano

    FPGA 计算系统:鸟瞰图

    您将获得的技能: 硬件架构, 系统配置, 系统设计与实施, 自动化, 嵌入式系统, 计算机硬件, 计算机结构, 计算逻辑, 性能调整

    4.6
    评分, 4.6 星,最高 5 星
    ·
    37 条评论

    初级 · 课程 · 1-4 周

  • 状态:预览
    预览
    B

    Birla Institute of Technology & Science, Pilani

    Algorithm Design: Mastering Computational Problem Solving

    您将获得的技能: Computer Science, Programming Principles, Problem Solving, Mathematical Theory & Analysis, Problem Management, Scalability

    初级 · 课程 · 1-3 个月

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

    Imperial College London

    机器学习数学多元微积分

    您将获得的技能: Python 程序设计, 回归分析, 机器学习算法, 衍生产品, 人工神经网络, 线性代数, 数学建模, 高等数学, 微积分

    4.7
    评分, 4.7 星,最高 5 星
    ·
    5764 条评论

    初级 · 课程 · 1-3 个月

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

    University of Colorado System

    抽象、问题分解和函数

    您将获得的技能: 数据结构, 计划发展, 编程原则, 调试, C(编程语言), 数据存储, 计算思维, 计算机编程

    4.6
    评分, 4.6 星,最高 5 星
    ·
    37 条评论

    初级 · 课程 · 1-4 周

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

    Deep Teaching Solutions

    Critical Thinking & Logic: Real-World Skills

    您将获得的技能: Deductive Reasoning, Logical Reasoning, Critical Thinking, Cognitive flexibility, Problem Solving, Analytical Skills, Case Studies, Creative Thinking, Innovation, Decision Making, Persuasive Communication, Verbal Communication Skills

    4.8
    评分, 4.8 星,最高 5 星
    ·
    40 条评论

    初级 · 课程 · 1-4 周

  • 状态:预览
    预览
    U

    University of Washington

    计算神经科学

    您将获得的技能: 机器学习算法, 应用数学, 生理学, Matlab, 网络模型, 人工神经网络, 数学建模, 微分方程, 生物学, 强化学习, 递归神经网络 (RNN), 计算思维, 监督学习, 线性代数, 概率与统计

    4.6
    评分, 4.6 星,最高 5 星
    ·
    1139 条评论

    初级 · 课程 · 1-3 个月

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

    University of Colorado Boulder

    用于 FPGA 设计的硬件描述语言

    您将获得的技能: 嵌入式系统, 功能测试, 验证和确认, 系统设计, 电子工程, 专用集成电路, 测试案例, 模拟和模拟软件, 电子产品, 现场可编程门阵列 (FPGA), 硬件设计, 计算机编程

    4.4
    评分, 4.4 星,最高 5 星
    ·
    625 条评论

    中级 · 课程 · 1-4 周

  • 状态:预览
    预览
    S

    Siemens

    应用计算流体力学

    您将获得的技能: 模拟, 数学建模, 工程分析, 数值分析, 物理学, 工程计算, 化学工程, 科学可视化, 机械工程, 热管理

    4.7
    评分, 4.7 星,最高 5 星
    ·
    179 条评论

    中级 · 课程 · 1-3 个月

  • 状态:预览
    预览
    B

    Birla Institute of Technology & Science, Pilani

    Data Structures and Algorithms

    您将获得的技能: Algorithms, Programming Principles, Data Science, Data Management, Computational Thinking, Data Manipulation, C and C++, Software Design, Analysis, Problem Solving, Complex Problem Solving

    混合 · 课程 · 1-3 个月

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

    École Polytechnique Fédérale de Lausanne

    Scala 函数式程序设计原理

    您将获得的技能: Scala 编程, 单元测试, Algorithm, 数据结构, 编程原则, 集成开发环境, 面向对象编程(OOP), 功能设计, 计算思维, 计算机编程

    4.8
    评分, 4.8 星,最高 5 星
    ·
    8269 条评论

    中级 · 课程 · 1-3 个月

1…567…94

总之,以下是 10 最受欢迎的 computational logic 课程

  • 自动推理:符号模型检查: 28DIGITAL
  • Geometry and Calculus for Computing: University of London
  • FPGA 计算系统:鸟瞰图: Politecnico di Milano
  • Algorithm Design: Mastering Computational Problem Solving: Birla Institute of Technology & Science, Pilani
  • 机器学习数学多元微积分: Imperial College London
  • 抽象、问题分解和函数: University of Colorado System
  • Critical Thinking & Logic: Real-World Skills: Deep Teaching Solutions
  • 计算神经科学: University of Washington
  • 用于 FPGA 设计的硬件描述语言: University of Colorado Boulder
  • 应用计算流体力学: Siemens

其他可浏览的主题

Arts and Humanities
338 课程
Business
1095 课程
Computer Science
668 课程
Data Science
425 课程
Information Technology
145 课程
Health
471 课程
Math and Logic
70 课程
Personal Development
137 课程
Physical Science and Engineering
413 课程
Social Sciences
401 课程
Language Learning
150 课程

Coursera 页脚

技能

  • 人工智能(AI)
  • 网络安全
  • 数据分析
  • 数字化营销
  • 讲英语
  • 生成式人工智能(GenAI)
  • 微软Excel
  • Microsoft Power BI
  • 项目管理
  • Python

证书与课程

  • 谷歌网络安全证书
  • 谷歌数据分析证书
  • 谷歌 IT 支持证书
  • 谷歌项目管理证书
  • 谷歌用户体验设计证书
  • IBM 数据分析师证书
  • IBM Data Science 证书
  • Machine Learning 证书
  • Microsoft Power BI 数据分析师证书
  • UI / UX 设计证书

行业与职业

  • 商务
  • 计算机科学
  • 数据科学
  • 教育与教学
  • 工程学
  • 金融
  • 医疗保健
  • 人力资源(HR)
  • 信息技术 (IT)
  • 营销

职业资源

  • 职业能力倾向测验
  • 工作面试优势和劣势的示例
  • 学习高收入技能
  • 加密货币如何运作?
  • 如何在 Google 表格中突出显示重复项
  • 如何学习人工智能
  • 热门网络安全证书
  • 准备 PMP 认证
  • 面试后您将获得工作的迹象
  • 什么是人工智能?

Coursera

  • 关于
  • 我们提供的内容
  • 管理团队
  • 工作机会
  • 目录
  • Coursera Plus
  • 专业证书
  • MasterTrack® 证书
  • 学位
  • 企业版
  • 政府版
  • 面向校园
  • 成为合作伙伴
  • 社会影响
  • 免费课程
  • 分享您的 Coursera 学习故事

社区

  • 学生
  • 合作伙伴
  • Beta 测试人员
  • 博客
  • Coursera 播客
  • 技术博客

更多

  • 媒体
  • 投资者
  • 条款
  • 隐私
  • 帮助
  • 内容访问
  • 联系我们
  • 文章
  • 目录
  • 附属公司
  • 现代奴隶制声明
  • 请勿出售/共享
随时随地学习
通过 App Store 下载
通过 Google Play 获取
B 型企业认证标志
© 2026 Coursera Inc.保留所有权利。
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok