• 为个人
  • 为商务
  • 为大学
  • 为政府
Coursera
登录
免费加入
Coursera
  • 浏览
  • Computational Logic
跳转以搜索结果

筛选依据

主题
必需的
 *

语言
必需的
 *

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

了解产品
必需的
 *

通过实践教程在 2 小时内掌握与工作相关的技能。
通过已评分作业、视频和论坛向顶级授课教师学习。
在交互式实践环境中学习新工具或新技能。
通过完成一系列课程和项目,深入学习学科知识。
获得行业领导者颁发的职业证书,展示您学到的专业知识。
攻读硕士学位的同时获得职业证书。
在线获得学士学位或硕士学位,所需费用仅为在校学习费用的一小部分。
完成研究生水平的学习,而无需参加完整的学位课程。
以灵活的交互式方式,获得大学颁发的执业证书。

级别
必需的
 *

课程长度
必需的
 *

技能
必需的
 *

字幕
必需的
 *

教师
必需的
 *

“computational logic” 的结果

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

    Board Infinity

    Holistic Web Development: Responsive UIs, Logic, Deployment

    您将获得的技能: Responsive Web Design, Database Systems, Front-End Web Development, Application Programming Interface (API), Full-Stack Web Development, Amazon Web Services, Cloud Computing, Authentications, Web Applications, Continuous Deployment, Continuous Integration, JavaScript Frameworks, Web Development, Web Servers, Usability, Authorization (Computing), Microservices, Mobile Development, UI Components, Performance Tuning

    高级设置 · 专项课程 · 1-3 个月

  • 状态:预览
    预览
    U

    University of California San Diego

    生物学遇上编程:生物信息学入门

    您将获得的技能: 生物学, Python 程序设计, 数据结构, 生物信息学, 计算思维, 编程原则

    4.2
    评分, 4.2 星,最高 5 星
    ·
    1614 条评论

    初级 · 课程 · 1-4 周

  • 状态:预览
    预览
    U

    University of Illinois Urbana-Champaign

    VLSI CAD 第二部分:布局

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

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

    中级 · 课程 · 1-3 个月

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

    University of Colorado System

    抽象、问题分解和函数

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

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

    初级 · 课程 · 1-4 周

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

    L&T EduTech

    Fundamentals of Digital Design for VLSI Chip Design

    您将获得的技能: Field-Programmable Gate Array (FPGA), Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Hardware Design, Electronics Engineering, Electronics, Programmable Logic Controllers, Electronic Systems, Semiconductors, Electronic Components, Data Storage, Data Storage Technologies

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

    中级 · 课程 · 1-4 周

  • 状态:预览
    预览
    T

    The University of Sydney

    微积分入门

    您将获得的技能: 估算, 衍生产品, 代数, 积分微积分, 几何学, 工程计算, 数学建模, 微积分, 算术, 制图, 三角法, 高等数学

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

    中级 · 课程 · 1-3 个月

  • 状态:预览
    预览
    S

    Shanghai Jiao Tong University

    离散数学

    您将获得的技能: 数据结构, 网络分析, 组合学, 理论计算机科学, 图论, 计算思维, 数学理论与分析, Algorithm, 计算机科学, 高等数学

    3.3
    评分, 3.3 星,最高 5 星
    ·
    200 条评论

    中级 · 课程 · 1-3 个月

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

    Duke University

    再思考 I:如何理解论点

    您将获得的技能: 人际沟通, 写作, 说服沟通, 口头表达

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

    初级 · 课程 · 1-3 个月

  • 状态:预览
    预览
    S

    Stanford University

    数学思维导论

    您将获得的技能: 数学与数学建模, 演绎推理, 微积分, 数学理论与分析, 逻辑推理

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

    中级 · 课程 · 1-3 个月

  • E

    EIT Digital

    自动推理:可满足性

    您将获得的技能: 应用数学, 线性代数, 组合学, 运筹学, 理论计算机科学, 验证和确认, 计算逻辑, 数学建模, 逻辑推理, Algorithm

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

    中级 · 课程 · 1-4 周

  • 状态:预览
    预览
    U

    University of Colorado Boulder

    Temporal Logic Model Checking

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

    初级 · 课程 · 1-3 个月

  • 状态:预览
    预览
    K

    Korea Advanced Institute of Science and Technology(KAIST)

    人工智能初学者数学第 1 部分 线性代数

    您将获得的技能: 应用数学, 线性代数, 人工智能, 监督学习, 机器学习, 深度学习, 数学建模

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

    初级 · 课程 · 1-3 个月

1…456…69

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

  • Holistic Web Development: Responsive UIs, Logic, Deployment: Board Infinity
  • 生物学遇上编程:生物信息学入门: University of California San Diego
  • VLSI CAD 第二部分:布局: University of Illinois Urbana-Champaign
  • 抽象、问题分解和函数: University of Colorado System
  • Fundamentals of Digital Design for VLSI Chip Design: L&T EduTech
  • 微积分入门: The University of Sydney
  • 离散数学: Shanghai Jiao Tong University
  • 再思考 I:如何理解论点: Duke University
  • 数学思维导论: Stanford University
  • 自动推理:可满足性: EIT Digital

其他可浏览的主题

艺术与人文
338 课程
商务
1095 课程
计算机科学
668 课程
数据科学
425 课程
信息技术
145 课程
健康
471 课程
数学与逻辑
70 课程
个人发展
137 课程
物理科学与工程
413 课程
社会科学
401 课程
语言学习
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 型企业认证标志
© 2025 Coursera Inc.保留所有权利。
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok