APKPure Appを使用する
数学的論理の旧いバージョンをダウンロードすることが可能
数学的論理ブックのリファレンス
数学論理は、正式論理の数学への応用を探求する数学のサブフィールドです。それは、メタマテリアル、数学の基礎、そして理論的なコンピュータサイエンスに密接に関連しています。数学的論理における統一テーマには、正式なシステムの表現力と正式な証明システムの演繹力の研究が含まれる。
数理論理は、集合理論、モデル理論、再帰理論、証明理論の分野に分類されることが多い。これらの領域は、論理、特に一次論理、および定義可能性に関する基本的な結果を共有します。コンピュータサイエンス(特にACM分類)では、数学的論理にはこの記事で詳しく述べられていない追加トピックが含まれています。それらについてはコンピュータ科学の論理を参照してください。
サポート言語
ar-SA =العربية
ca-ES =català
cs-CZ =Čeština
de-DE =ドイツ語
en-US =英語
es-ES =Español
fa-IR =فارسى
fr-FR =français
彼-IL =עִבְרִית
hu-HU = Magyar
it-IT = italiano
ja-JP =日本語
ko-KR =한국어
nl-NL = Nederlands
pl-PL = polski
pt-PT =Português
ru-RU =Русский
sr-RS =Српски
sv-SE = Svenska
uk-UA =українська
zh-CN =中文
Last updated on 2019年01月02日
1.0.0
数学的論理
1.0.0 by Useful Books
2019年01月02日