1 Subfields and scope2 History2.1 E

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 พิสูจน์ทฤษฎีและคณิตศาสตร์สร้างสรรค์การเชื่อมต่อกับคอมพิวเตอร์วิทยาศาสตร์ 89 รากฐานของคณิตศาสตร์ดู 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 ตรรกะแรกเพื่อที่
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 โปรแกรมพื้นฐานทฤษฎี

3
2.3.1 ทฤษฎีศตวรรษที่ 20 ชุด และความขัดแย้ง

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