수학 논리 APK
버전
1.0.0 for Windows
업데이트
2022년 December 08일
정보
버전 1.0.0 (#1)
업데이트 2022년 December 08일
APK 파일 크기 11.4 MB
필요한 Android 버전 Android 4.1+ (Jelly Bean)
개발자 christopher baukus
범주 도서/참고자료 (응용 프로그램)
응용 프로그램 ID com.mathematicallogic.books
개발자 노트 수학 논리 도서 목록
스크린샷 이미지
전체 크기를 보려면 이미지를 클릭하세요.
변경사항
수학 논리 1.0.0의 새로운 기능
1.0.0
서술
수학 논리는 공식 논리의 수학 응용을 탐구하는 수학 분야의 하위 분야입니다. 그것은 metamathematics, 수학의 기초, 그리고 이론적 인 컴퓨터 과학에 가까운 연결을 맺습니다. 수학 논리의 통합 주제에는 형식 시스템의 표현력 및 공식 증명 시스템의 연역력 연구가 포함됩니다.
수학 논리는 종종 집합 이론, 모형 이론, 재귀 이론 및 증명 이론의 영역으로 나뉩니다. 이러한 영역은 논리, 특히 1 차 논리 및 정의 가능성에 대한 기본 결과를 공유합니다. 컴퓨터 과학 (특히 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
그는 일리노이 = עִבְרִית
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 = 스벤 스카
uk-UA = українська
zh-CN = 中文
수학 논리는 종종 집합 이론, 모형 이론, 재귀 이론 및 증명 이론의 영역으로 나뉩니다. 이러한 영역은 논리, 특히 1 차 논리 및 정의 가능성에 대한 기본 결과를 공유합니다. 컴퓨터 과학 (특히 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
그는 일리노이 = עִבְרִית
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 = 스벤 스카
uk-UA = українська
zh-CN = 中文
평가 및 리뷰
평점: 1.0 / 5 · Less than 100표
(*)는 필수입니다
이전 버전
유사한 콘텐츠
christopher baukus의 앱 더보기
가장 많이 다운로드 한 앱 및 게임
