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

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


  • E

    EDUCBA

    Apply C Programming to Build an Online Exam Portal

    您将获得的技能: Data Persistence, File I/O, C (Programming Language), Debugging, Computational Thinking, Programming Principles, Program Development, Application Design, Command-Line Interface, Algorithms

    混合 · 课程 · 1-4 周

  • U

    University of London

    计算机科学数学

    您将获得的技能: 算术, 计算机科学, 应用数学, 计算思维, 普通数学, 测量系统, 数学建模, 代数, 加密技术

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

    初级 · 课程 · 1-4 周

  • U

    University of London

    Applied Mathematical Methods for Computing

    您将获得的技能: Combinatorics, Probability & Statistics, Data Analysis, Advanced Mathematics, Linear Algebra, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Statistics, Analysis, Statistical Analysis, Probability, Algorithms, Algebra

    初级 · 课程 · 1-4 周

  • I

    Imperial College London

    机器学习数学多元微积分

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

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

    初级 · 课程 · 1-3 个月

  • U

    University of Colorado Boulder

    计算视觉

    您将获得的技能: 计算机视觉, 人工智能和机器学习(AI/ML), 深度学习, 计算机图形学, 计算思维, 卷积神经网络, 心理学, 图像分析, 人工神经网络

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

    初级 · 课程 · 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 周

  • 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 个月

  • U

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

    您将获得的技能: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Agentic systems, System Requirements, Robotics, Artificial Intelligence, Algorithms

    攻读学位

    3.8
    评分, 3.8 星,最高 5 星
    ·
    11 条评论

    中级 · 课程 · 1-3 个月

  • U

    University of Colorado System

    抽象、问题分解和函数

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

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

    初级 · 课程 · 1-4 周

  • 2

    28DIGITAL

    自动推理:符号模型检查

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

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

    中级 · 课程 · 1-4 周

  • K

    Korea Advanced Institute of Science and Technology(KAIST)

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

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

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

    初级 · 课程 · 1-3 个月

  • B

    Birla Institute of Technology & Science, Pilani

    Discrete Mathematics for Computer Science and Engineering

    您将获得的技能: Theoretical Computer Science, Applied Mathematics, Algorithms, Cryptography, Relational Databases, Data Management

    初级 · 课程 · 1-3 个月

1…567…94

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

  • Apply C Programming to Build an Online Exam Portal: EDUCBA
  • 计算机科学数学: University of London
  • Applied Mathematical Methods for Computing: University of London
  • 机器学习数学多元微积分: Imperial College London
  • 计算视觉: University of Colorado Boulder
  • Geometry and Calculus for Computing: University of London
  • Data Structures and Algorithms: Birla Institute of Technology & Science, Pilani
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • 抽象、问题分解和函数: University of Colorado System
  • 自动推理:符号模型检查: 28DIGITAL

其他可浏览的主题

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)
  • 网络安全
  • 数据分析
  • 数字营销
  • 人力资源(HR)
  • Microsoft Excel
  • 项目管理
  • Python
  • 查询语言

专业证书

  • Google 人工智能证书
  • Google 网络安全证书
  • Google 数据分析证书
  • Google IT 支持证书
  • Google 项目管理证书
  • Google 用户体验设计证书
  • IBM 人工智能工程证书
  • IBM 人工智能产品经理证书
  • IBM 数据科学证书
  • Intuit 学院簿记证书

课程与专项课程

  • 人工智能基础专项课程
  • 商业人工智能专项课程
  • 面向所有人的人工智能课程
  • 医疗保健领域的人工智能专项课程
  • 深度学习专项课程
  • 商务专项课程 Excel 技能
  • 金融市场课程
  • 机器学习专项课程
  • 聊天 GPT 课程的即时工程
  • Python for Everybody 专项课程

职业资源

  • 职业能力倾向测验
  • CAPM 认证要求
  • CompTIA A+ 认证要求
  • CompTIA Security+ 认证要求
  • 基本 IT 认证
  • 免费 IT 认证和课程
  • 学习高收入技能
  • 如何学习人工智能
  • 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