| ชื่อเรื่อง | : | แคลคูลัสแลมบ์ดาที่มีแพทเทอร์น |
| นักวิจัย | : | พิมพ์เพ็ญ เวชชาชีวะ |
| คำค้น | : | LAMBDA-CALCULUS , PATTERNS |
| หน่วยงาน | : | ฐานข้อมูลวิทยานิพนธ์ไทย |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2540 |
| อ้างอิง | : | http://www.thaithesis.org/detail.php?id=1082540000507 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | แคลคูลัสแลมบ์ดาดั้งเดิมสามารถใช้แสดงฟังก์ชันโดยอาศัยเทอมแลมบ์ดาและยังใช้ตีความผลของการแทนค่าอาร์กิวเมนต์ในฟังก์ชันได้ อย่างไรก็ตามยังมีฟังก์ชันบางฟังก์ชันที่ไม่สามารถแสดงได้โดยเทอมแลมบ์ดา เราจะสร้างแคลคูลัสแลมบ์ดาใหม่โดยการปรับบทนิยามของเทอมเพื่อให้สามารถกำหนด "บทนิยามตามกรณี" และโดยการเพิ่มแพทเทอร์นซึ่งจะใช้ในการกำหนดรูปแบบของอาร์กิวเมนต์ที่ยอมรับได้และเพื่อดึงเทอมย่อยของอาร์กิวเมนต์แคลคูลัสแลมบ์ดาอันใหม่นี้สามารถอธิบายฟังก์ชันได้มากขึ้นและยังคงมีสมบัติของแคลคูลัสแลมบ์ดาดั้งเดิมทุกประการ รวมทั้งสอดคล้องกับทฤษฎีบทของเชอร์ช-รอสเซอร์ด้วย |
| บรรณานุกรม | : |
พิมพ์เพ็ญ เวชชาชีวะ . (2540). แคลคูลัสแลมบ์ดาที่มีแพทเทอร์น.
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย. พิมพ์เพ็ญ เวชชาชีวะ . 2540. "แคลคูลัสแลมบ์ดาที่มีแพทเทอร์น".
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย. พิมพ์เพ็ญ เวชชาชีวะ . "แคลคูลัสแลมบ์ดาที่มีแพทเทอร์น."
กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย, 2540. Print. พิมพ์เพ็ญ เวชชาชีวะ . แคลคูลัสแลมบ์ดาที่มีแพทเทอร์น. กรุงเทพมหานคร : ฐานข้อมูลวิทยานิพนธ์ไทย; 2540.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
