该课程将使学生能够以实用的方式更新他们在计算逻辑方面的知识， 100% 在线，同时不放弃最大程度的学术严谨性”

该课程面向那些有兴趣在计算逻辑方面达到更高水平的人。主要目的是培训学生在现实世界中，在再现他们未来可能遇到的条件的工作环境中，以严格和现实的方式应用这个大学课程所学的知识。

本专业将通过横向和多方面的培训，使学员适应该领域的新技术和创新，为从事计算机工程专业实践做好准备。从该领域的专业人士那里获得计算逻辑方面的广泛知识。

学生可以利用这一机会，以 100% 在线的形式参加培训，而不必放弃自己的义务。

通过本课程学习最新的技术和策略，成为一名成功的计算机工程师”

这个计算逻辑大学课程包含市场上最完整和最新的课程。主要特点是：

• 开发由计算逻辑专家介绍的 100 个模拟场景
• 其内容图文并茂、示意性强、实用性强，提供了有关计算逻辑的科学和实用信息
• 有关计算逻辑最新进展的新闻
• 包含以推进进行自我评估过程为目的实践
• 基于案例法的互动学习系统及其在真实实践中的应用
• 这将由理论讲座、向专家提问、关于争议性问题的讨论论坛和个人反思工作来补充
• 可以从任何有互联网连接的固定或便携式设备上获取内容

在家就能参加计算逻辑强化课程” 

教学人员包括计算机工程领域的专业人员，他们将自己的工作经验融入到培训中，此外还有参考协会和著名大学的公认专家。 

由于采用了最新教育技术开发的多媒体内容，这个课程将允许专业人员进行情景式学习，也就是说，一个模拟的环境将提供一个身临其境的学习方案，在真实的情况下进行培训。 

这个课程的设计基于问题的学习，通过教学人员必须尝试解决整个课程中出现的不同专业实践情况。为此，由具有丰富教学经验的著名计算逻辑专家开发的创新互动视频系统将为专业人员提供帮助。 

利用最新的教育技术，足不出户就能掌握计算逻辑的最新知识"

向该领域的专家学习计算逻辑的最新技术"

内容结构是由计算机工程专业团队设计的，他们意识到当前培训的相关性，以便深化这一领域的知识，并通过现有的最新教育技术，从人文角度丰富学生的知识，提高计算逻辑的知识水平。 

这计算逻辑包含了市场上最全面、最新的学习计划”

模块 1. 计算逻辑 

1.1. 逻辑的合理性

1.1.1. 研究逻辑的目的
1.1.2. 逻辑是为了什么？ 
1.1.3. 推理的组成部分和类型
1.1.4. 逻辑计算的组成部分
1.1.5. 语义学
1.1.6. 逻辑存在的理由
1.1.7. 如何检查一个逻辑是否充分？ 

1.2. 语句的自然推导计算

1.2.1. 正式的语言
1.2.2. 归纳机制

1.3. 命题逻辑的形式化和演绎策略

1.3.1. 正规化战略
1.3.2. 自然推理
1.3.3. 法律和规则
1.3.4. 公理演绎法和自然演绎法
1.3.5. 自然演绎的微积分
1.3.6. 命题微积分的原始规则

1.4. 命题逻辑的语义学

1.4.1. 真值表
1.4.2. 等效性
1.4.3. 废话和矛盾
1.4.4. 命题句子的验证
1.4.5. 通过真值表的方式进行验证
1.4.6. 使用语义树进行验证
1.4.7. 通过反驳进行验证

1.5. 命题逻辑的应用：逻辑电路

1.5.1. 基这个闸门
1.5.2. 电路
1.5.3. 电路的数学模型
1.5.4. 最小化
1.5.5. 第二种典型形式和最小形式的和的乘积
1.5.6. 其他闸门

1.6. 自然谓词演绎微积分

1.6.1. 正式的语言
1.6.2. 归纳机制

1.7. 谓词逻辑的形式化策略

1.7.1. 谓语逻辑的形式化介绍
1.7.2. 带有量词的形式化策略

1.8. 谓词逻辑的演绎策略

1.8.1. 遗漏的原因
1.8.2. 新规则的提出
1.8.3. 谓词逻辑是一种自然演绎微积分

1.9. 谓词逻辑的应用：逻辑编程介绍

1.9.1. 非正式介绍
1.9.2. Prolog 的要素
1.9.3. 重新评估和停产

1.10. 集合论、谓词逻辑及其语义学

1.10.1. 归纳集理论
1.10.2. 谓语语义学简介

一个独特的、关键的和决定性的培训经验，以促进你的职业发展”