下载 APKPure App
可在安卓获取数学逻辑的历史版本
数学逻辑书参考
数学逻辑是数学的一个子领域,探索形式逻辑在数学中的应用。它与元数学,数学基础和理论计算机科学密切相关。数学逻辑中的统一主题包括对正式系统的表达能力的研究和形式证明系统的演绎能力。
数学逻辑通常分为集合论,模型理论,递归理论和证明理论等领域。这些领域共享逻辑的基本结果,特别是一阶逻辑和可定义性。在计算机科学中(特别是在ACM分类中),数学逻辑包含本文未详述的其他主题;请参阅计算机科学中的逻辑。
支持语言
ar-SA =العربية
ca-ES =català
cs-CZ =Čeština
de-DE = Deutsch
en-US =英语
es-ES =Español
fa-IR =فارسى
fr-FR =français
他-IL =עִבְרִית
hu-HU = Magyar
它-IT = italiano
ja-JP =日本语
ko-KR =한국어
nl-NL =荷兰
pl-PL = polski
pt-PT =Português
ru-RU =Русский
sr-RS =Српски
sv-SE = Svenska
uk-UA =українська
zh-CN =中文
Last updated on 2019年01月03日
1.0.0
数学逻辑
1.0.0 by Useful Books
2019年01月03日