: Mathematical Logic

1.0 for Android

2.6 | 5,000+ การติดตั้ง

J.-M. Kuczynski PhD

ดาวน์โหลด APK（1.6MB）

คำอธิบายของ Mathematical Logic

นิทรรศการที่ชัดเจนเข้มงวดและละเอียดถี่ถ้วน:
* แคลคูลัสเชิงประพจน์
* แคลคูลัสเพรดิเคต
* การตั้งค่าทฤษฎี
* ความต่อเนื่องที่แตกต่างกันและลักษณะเฉพาะของพวกเขา
* ประเภทที่แตกต่างกันจำนวน: พระคาร์ดินัล, ลำดับ, เหตุผล, จริง, ซับซ้อน, hyper-complex และ transfinite
* พื้นฐานการตั้งค่าทางทฤษฎีของคาร์ดินัลเลขคณิตและภาพรวมที่หลากหลายของมัน
* ลักษณะของภาษาที่เป็นทางการ
* แนวทแยงมุมและความไม่สมบูรณ์ - ธรรมชาติของตรรกะและความจริงอย่างเป็นทางการและ
* หลักฐานของความไม่สมบูรณ์ของระบบการหักเงินที่กำหนด