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

逻辑课程

逻辑课程可以帮助您学习批判性思维、论证分析、命题逻辑和逻辑推理技巧。您可以培养评估论证、识别谬误和构建合理结论的技能。许多课程都会介绍真值表、维恩图和形式化证明系统等工具,您可以用它们来分析复杂的问题并改进决策过程。


热门逻辑课程和认证


  • 2

    28DIGITAL

    自动推理:符号模型检查

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

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

    中级 · 课程 · 1-4 周

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

    AI CERTs

    From Blocks to Build: Blockchain Dev Essentials

    您将获得的技能: Blockchain, Web Development Tools, Go (Programming Language), Software Development Tools, Application Development, Computer Programming Tools, Development Environment, Software Development, Business Logic, Program Development, Digital Assets, Transaction Processing, FinTech, Virtual Machines, Distributed Computing, Cryptography, Emerging Technologies, Encryption, Business Analysis, Market Dynamics

    中级 · 专项课程 · 3-6 个月

  • 状态:预览
    预览
    K

    Koç University

    Doğrusal Cebir II: Kare Matrisler, Hesaplama Yöntemleri ve Uygulamalar / Linear Algebra II: Square Matrices, Calculation Methods and Applications

    您将获得的技能: Linear Algebra, Differential Equations, Applied Mathematics, Advanced Mathematics, Algebra, Mathematical Modeling, Mathematical Theory & Analysis

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

    混合 · 课程 · 1-3 个月

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

    University of Colorado Boulder

    Statistical Learning for Data Science

    您将获得的技能: Model Evaluation, Statistical Modeling, Applied Machine Learning, Unsupervised Learning, Statistical Machine Learning, Classification And Regression Tree (CART), Data Science, Decision Tree Learning, Statistical Methods, Artificial Neural Networks, Statistical Analysis, Regression Analysis, Predictive Modeling, Classification Algorithms, Supervised Learning, R Programming, Machine Learning Algorithms, Dimensionality Reduction, Machine Learning, Random Forest Algorithm

    攻读学位

    4
    评分, 4 星,最高 5 星
    ·
    19 条评论

    中级 · 专项课程 · 3-6 个月

  • 状态:新
    新
    U

    University of Colorado Boulder

    Equivalences, Abstraction, and Partial Order Reduction

    您将获得的技能: Verification And Validation, Computational Thinking, Systems Design, System Design and Implementation, Systems Analysis, Model Evaluation, Software Design, Computer Architecture, Program Development, Software Quality (SQA/SQC), Logical Reasoning

    初级 · 课程 · 1-4 周

  • 状态:新
    新
    状态:预览
    预览
    U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    您将获得的技能: Graph Theory, Model Evaluation, Arithmetic

    初级 · 课程 · 1-4 周

  • 状态:新
    新
    B

    Birla Institute of Technology & Science, Pilani

    Formal Languages and Applications

    您将获得的技能: Theoretical Computer Science, Computer Programming, Pseudocode, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Data Science, Analysis, Debugging, Technical Analysis

    中级 · 课程 · 1-3 个月

  • 状态:新
    新
    B

    Birla Institute of Technology & Science, Pilani

    General Physics

    您将获得的技能: Physics, Mechanics, Engineering, Applied Mathematics, Vibrations, Physical Science, Engineering Analysis, Trigonometry, electromagnetics, Experimentation, Mathematical Theory & Analysis, Problem Solving, Science and Research, Analytical Skills, Computer Science, Critical Thinking and Problem Solving, Logical Reasoning, Research, Software Development, Critical Thinking

    初级 · 课程 · 1-3 个月

  • 状态:新
    新
    状态:预览
    预览
    P

    Packt

    Delta PLC Simulation Unlocked

    您将获得的技能: Visualization (Computer Graphics), Internet Of Things, Real Time Data

    中级 · 课程 · 1-3 个月

  • 状态:预览
    预览
    K

    Koç University

    Çok değişkenli Fonksiyon II: Uygulamalar / Multivariable Calculus II: Applications

    您将获得的技能: Integral Calculus, Calculus, Advanced Mathematics, Mechanics, Applied Mathematics, Mathematical Theory & Analysis, electromagnetics, Derivatives, Physics

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

    混合 · 课程 · 1-3 个月

  • 状态:新
    新
    B

    Birla Institute of Technology & Science, Pilani

    Relational Databases

    您将获得的技能: Relational Databases, Databases, Database Theory, Database Design, Database Systems, Database Management, SQL, Database Architecture and Administration, Database Management Systems, Query Languages, Data Modeling, Transaction Processing, Data Management, Data Integrity, System Design and Implementation, Information Technology, Data Analysis, Information Architecture, Problem Solving, Logical Reasoning

    中级 · 课程 · 1-3 个月

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

    University of Colorado Boulder

    嵌入式系统 FPGA 设计入门

    您将获得的技能: 硬件架构, 硬件设计, 嵌入式系统, 数字设计, 电子系统, 模拟和模拟软件, 技术设计, 现场可编程门阵列 (FPGA), 验证和确认, 电子产品, 示意图, 专用集成电路, 设计软件, 电子工程

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

    中级 · 课程 · 1-4 周

与 logic 相关的搜索

logic pro
logical & analytical reasoning — exam & recruitment prep
logic for computer science
logic for economists
introduction to logic
digital systems: from logic gates to processors
introduction to logic and critical thinking
vlsi cad part i: logic
1…161718…49

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

  • 自动推理:符号模型检查: 28DIGITAL
  • From Blocks to Build: Blockchain Dev Essentials: AI CERTs
  • Doğrusal Cebir II: Kare Matrisler, Hesaplama Yöntemleri ve Uygulamalar / Linear Algebra II: Square Matrices, Calculation Methods and Applications: Koç University
  • Statistical Learning for Data Science: University of Colorado Boulder
  • Equivalences, Abstraction, and Partial Order Reduction: University of Colorado Boulder
  • Model Checking with SAT and SMT : University of Colorado Boulder
  • Formal Languages and Applications: Birla Institute of Technology & Science, Pilani
  • General Physics: Birla Institute of Technology & Science, Pilani
  • Delta PLC Simulation Unlocked: Packt
  • Çok değişkenli Fonksiyon II: Uygulamalar / Multivariable Calculus II: Applications: Koç University

其他可浏览的主题

艺术与人文
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