11 lines
403 B
Markdown
11 lines
403 B
Markdown
---
|
|
title: Logic
|
|
localeTitle: 逻辑
|
|
---
|
|
## 逻辑
|
|
|
|
计算机科学中的逻辑涵盖了逻辑领域与计算机科学领域之间的重叠。该主题基本上可以分为三个主要方面：
|
|
|
|
理论基础和分析 利用计算机技术帮助逻辑学家 使用逻辑中的概念用于计算机应用程序
|
|
|
|
在本节中，我们将提供对数学和编程非常重要的各种逻辑谜题的指南。 |