Contents [hide] 1 Subfields and sco

Contents [hide]
1 Subfields and scope
2 History
2.1 Early history
2.2 19th century
2.2.1 Foundational theories
2.3 20th century
2.3.1 Set theory and paradoxes
2.3.2 Symbolic logic
2.3.3 Beginnings of the other branches
3 Formal logical systems
3.1 First-order logic
3.2 Other classical logics
3.3 Nonclassical and modal logic
3.4 Algebraic logic
4 Set theory
5 Model theory
6 Recursion theory
6.1 Algorithmically unsolvable problems
7 Proof theory and constructive mathematics
8 Connections with computer science
9 Foundations of mathematics
10 See also
11 Notes
12 References
12.1 Undergraduate texts
12.2 Graduate texts
12.3 Research papers, monographs, texts, and surveys
12.4 Classical papers, texts, and collections
13 External links

ผลลัพธ์ (ไทย) 1:

เนื้อหา [ซ่อน] 1 subfields และขอบเขตประวัติศาสตร์ 22.1 ประวัติศาสตร์ยุคแรก2.2 ศตวรรษ2.2.1 ทฤษฎี foundational2.3 ศตวรรษ2.3.1 ทฤษฎีเซตและ paradoxes2.3.2 Symbolic ตรรกะ2.3.3 ชิ้นสาขาอื่น ๆระบบตรรกะทาง 33.1 ก่อนลำดับตรรกะ3.2 logics อื่น ๆ คลาสสิก3.3 Nonclassical และตรรกะแบบโมดอล3.4 พีชคณิตลอจิกทฤษฎีเซต 4ทฤษฎีแบบจำลอง 56 สอบทฤษฎี6.1 ปัญหา algorithmically unsolvableพิสูจน์ทฤษฎีและคณิตศาสตร์สร้างสรรค์ 7การเชื่อมต่อกับคอมพิวเตอร์วิทยาศาสตร์ 8รากฐานคณิตศาสตร์ 9ดู 10หมายเหตุ 11อ้างอิงที่ 1212.1 ข้อระดับปริญญาตรี12.2 ข้อบัณฑิตวิทยาลัย12.3 การให้ศึกษาเอกสาร monographs ข้อความ และแบบสำรวจ12.4 คลาสสิกเอกสาร ข้อความ และคอลเลกชันเชื่อมโยงภายนอก 13

ผลลัพธ์ (ไทย) 2:

เนื้อหา [ซ่อน]
1 ฟิลด์และขอบเขต
2 ประวัติศาสตร์
สมัยก่อนประวัติศาสตร์ 2.1
2.2 ศตวรรษที่ 19
2.2.1 ทฤษฎีพื้นฐาน
2.3 ศตวรรษที่ 20
ชุด 2.3.1 ทฤษฎีและความขัดแย้ง
2.3.2 ตรรกะสัญลักษณ์
2.3.3 เป็นจุดเริ่มต้นของสาขาอื่น ๆ
3 ระบบตรรกะอย่างเป็นทางการ
ครั้งแรก 3.1 -order ตรรกะ
3.2 logics คลาสสิกอื่น ๆ
3.3 nonclassical และกิริยาตรรกะ
3.4 พีชคณิตตรรกะ
4 ชุดทฤษฎี
ทฤษฎี 5 รุ่น
6 ทฤษฎี Recursion
6.1 อัลกอริทึมปัญหาแก้ไม่ได้
7 ทฤษฎีหลักฐานและสร้างสรรค์คณิตศาสตร์
8 การเชื่อมต่อกับวิทยาการคอมพิวเตอร์
9 ฐานรากของคณิตศาสตร์
10 ดูเพิ่มเติม
11 หมายเหตุ
12 อ้างอิง
ตำรา 12.1 ระดับปริญญาตรี
12.2 ตำราบัณฑิต
12.3 เอกสารวิจัย monographs, ข้อความ, และการสำรวจ
12.4 เอกสารคลาสสิก, ข้อความ, และคอลเลกชัน
13 ลิงค์ภายนอก

ผลลัพธ์ (ไทย) 3:

เนื้อหา [ ซ่อน ]
1 subfields และขอบเขต
2
2.1 2.2 ประวัติประวัติต้น

โปรแกรมพื้นฐานทฤษฎีศตวรรษที่ 19 ศตวรรษที่ 20

2.3 2.3.1 ชุดทฤษฎีและความขัดแย้ง

2.3.2 สัญลักษณ์ตรรกะ 2.3.3 เป็นจุดเริ่มต้นของสาขาอื่น ๆ
3
3.1 ระบบอย่างเป็นทางการตรรกะลำดับแรกตรรกศาสตร์คลาสสิก logics

3.2 และ 3.3 nonclassical อื่น ๆ 3.4 พีชคณิตตรรกศาสตร์ตรรกวิทยาอัญรูป

4
5 ชุดทฤษฎีทฤษฎีแบบจำลองทฤษฎีการเรียกซ้ำ
6
61 algorithmically ปัญหาแก้ไม่ได้

7 พิสูจน์ทฤษฎีโครงสร้างทางคณิตศาสตร์และ 8 การเชื่อมต่อกับคอมพิวเตอร์พื้นฐานคณิตศาสตร์

9 10 11 12 ดู


หมายเหตุอ้างอิง 12.1 นักศึกษาบัณฑิต

จำนวนข้อความข้อความบริการเอกสารการวิจัยเอกสาร , ข้อความ , และการสำรวจ
12.4 คลาสสิก เอกสาร ตำรา และคอลเลกชัน
การเชื่อมโยงภายนอก 13