Sub-disciplines and related fields[

Sub-disciplines and related fields[edit]
There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap. In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.

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

สาขาย่อยและสาขาที่เกี่ยวข้อง [แก้ไข]
มีหลายเขตการศึกษาที่นอนอย่างใดอย่างหนึ่งในทฤษฎีภาษาการเขียนโปรแกรม หรือซึ่งมีอิทธิพลอย่างลึกซึ้งนั้น หลายเหล่านี้ได้ทับซ้อนมาก นอกจากนี้ PLT ทำใช้สาขาอื่น ๆ ของคณิตศาสตร์ รวมทั้งทฤษฎีการคำนวณได้ ทฤษฎีประเภท และตั้งทฤษฎี

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

-สาขาย่อยและสาขาที่เกี่ยวข้อง [แก้ไข]
มีหลายสาขาวิชาที่โกหกทั้งในทฤษฎีการเขียนโปรแกรมภาษาหรือที่มีอิทธิพลอย่างลึกซึ้งต่อก็คือ หลายเหล่านี้มีความคาบเกี่ยวกัน นอกจากนี้ PLT ทำให้การใช้งานของสาขาอื่น ๆ ของคณิตศาสตร์รวมทั้งทฤษฎีการคำนวณทฤษฎีประเภทและทฤษฎีเซต

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

สาขาย่อยและสาขาที่เกี่ยวข้อง [ แก้ไข ]
มีหลายสาขาวิชาที่ให้อยู่ภายในทฤษฎีภาษาโปรแกรม หรือที่มีอิทธิพลลึกซึ้งในนั้น ; หลายเหล่านี้ได้ทับซ้อนกันมาก นอกจากนี้ , PLT ทำให้ใช้สาขาอื่น ๆของคณิตศาสตร์ รวมทั้งทฤษฎี computability ทฤษฎีประเภททฤษฎี และการตั้งค่า .