แจ้งเอกสารไม่ครบถ้วน, ไม่ตรงกับชื่อเรื่อง หรือมีข้อผิดพลาดเกี่ยวกับเอกสาร ติดต่อที่นี่ ==>
หากไม่มีอีเมลผู้รับให้กรอก thailis-noc@uni.net.th
หากไม่มีอีเมลผู้รับให้กรอก thailis-noc@uni.net.th
Bodin Skulkiat. Computability via the lambda-calculus with patterns. Master's Degree(Mathematics). Chulalongkorn University. Center of Academic Resources. : Chulalongkorn University, 2009.
Computability via the lambda-calculus with patterns
การคณนาได้โดยแคลคูลัสแลมบ์ดาที่มีแบบรูป
Name: Bodin Skulkiat
LCSH:
Calculus
LCSH:
Lambda calculus
LCSH:
Functions
Abstract:
We introduce a concept of computability relative to a structure, which specifies which functions on the domain of a first-order structure are computable, using the lambda calculus with patterns. In doing so, we add a new congruence, called a congruence in a structure to identify two syntactically different terms which represent the same element of the domain. We then show that, with the introduction of the new congruence, all the basic properties of the original lambda calculus with patterns still hold, including the Church-Rosser theorem. To justify the word "computable", we first prove that if a total function on N is recursive then it is computable relative to N, the standard structure for N. For the converse, we construct a Goedel coding for terms in the lambda calculus with patterns and investigate how to perform various steps in the reduction of an encoded term using recursive functions
Abstract:
เรานำเสนอแนวคิดเรื่อง การคณนาได้สัมพัทธ์กับโครงสร้าง ซึ่งระบุว่าฟังก์ชันใดบนโดเมนของโครงสร้างอันดับที่หนึ่งสามารถคณนาได้โดยใช้แคลคูลัสแลมบ์ดาที่มีแบบรูป ในการนี้เรานิยามการสมภาคในโครงสร้าง เพื่อบ่งชี้ว่าสองพจน์ใดแทนสมาชิกเดียวกันในโดเมน เราแสดงให้เห็นว่าถึงแม้เราเพิ่มการสมภาคแบบใหม่แต่สมบัติพื้นฐานต่างๆของแคลคูลัสแลมบ์ดาที่มีแบบรูปดั้งเดิมยังคงอยู่ทุกประการ รวมทั้งสอดคล้องกับทฤษฎีบทเชอร์ช-รอสเซอร์ด้วยเพื่อแสดงว่าการใช้คำว่า "การคณนาได้" นั้นสมเหตุผล เราพิสูจน์ว่า ถ้าฟังก์ชันบน N เป็นฟังก์ชันเวียนเกิดแล้ว ฟังก์ชันนั้นก็จะคณนาได้สัมพัทธ์กับ N ซึ่งเป็นโครงสร้างมาตรฐานของ N สำหรับบทกลับของทฤษฎีบทนี้ เราสร้างรหัสแบบเกอเดิลสำหรับพจน์ต่างๆในแคลคูลัสแลมบ์ดาที่มีแบบรูปพร้อมทั้งศึกษาขั้นตอนวิธีในการลดรูปพจน์ดังเกล่าโดยใช้ฟังก์ชันเวียนเกิด
Chulalongkorn University. Center of Academic Resources
Address:
BANGKOK
Email:
cuir@car.chula.ac.th
Name: Pimpen Vejjajiva
Role:
advisor
Name: Hall, Mark
Role:
advisor
Created:
2009
Modified:
2014-12-24
Issued:
2014-11-10
วิทยานิพนธ์/Thesis
application/pdf
eng
DegreeName: Master of Science
Level: Master's Degree
Descipline: Mathematics
Grantor: Chulalongkorn University
©copyrights Chulalongkorn University
RightsAccess:
ใช้เวลา
0.028002 วินาที
Bodin Skulkiat
| Title | Contributor | Type |
|---|---|---|
| Computability via the lambda-calculus with patterns
จุฬาลงกรณ์มหาวิทยาลัย Bodin Skulkiat | Pimpen Vejjajiva Hall, Mark | วิทยานิพนธ์/Thesis |
Pimpen Vejjajiva
| Title | Creator | Type and Date Create |
|---|---|---|
| Maximal sequences of uniformly virtually stable maps
จุฬาลงกรณ์มหาวิทยาลัย ;Pimpen Vejjajiva | Jumpot Intrakul | วิทยานิพนธ์/Thesis |
| Computability via the lambda-calculus with patterns
จุฬาลงกรณ์มหาวิทยาลัย Pimpen Vejjajiva;Hall, Mark | Bodin Skulkiat | วิทยานิพนธ์/Thesis |
| Surjections and weak forms of The axiom of choice
จุฬาลงกรณ์มหาวิทยาลัย Pimpen Vejjajiva | Jaruwat Rodbanjong | วิทยานิพนธ์/Thesis |
| Infinity Without Choice
จุฬาลงกรณ์มหาวิทยาลัย Pimpen Vejjajiva | Supakun Panasawatwong | วิทยานิพนธ์/Thesis |
| The cardinality of the permutations on a set with n non-fixed points
จุฬาลงกรณ์มหาวิทยาลัย Pimpen Vejjajiva | Jukkrid Nuntasri | วิทยานิพนธ์/Thesis |
Hall, Mark
| Title | Creator | Type and Date Create |
|---|---|---|
| On Quasi-principally injective modules and Quasi-principally projective modules
มหาวิทยาลัยเชียงใหม่ Sompong Dhompongsa;Jintana Sanwong;Piyapong Niamsup;Hall, Mark Edwin;Ajchara Harnchoowong | Sarun wongwai | วิทยานิพนธ์/Thesis |
| On rings whose singular modules are weakly injective
มหาวิทยาลัยเชียงใหม่ Sompong Dhompongsa;Jintana Sanwong;Piyapong Niamsup;Hall, Mark Edwin;Ajchara Harnchoowong | Somyot Plubtieng | วิทยานิพนธ์/Thesis |
| On quasi-principally injective modules and quasi-minijective modules
มหาวิทยาลัยเชียงใหม่ Sompong Dhompongsa;Jintana Sanwong;Piyapong Niamsup;Hall, Mark Edwin;Ajchara Harnchoowong | Somchit Chotchaisthit | วิทยานิพนธ์/Thesis |
| The action of certain simple lie algebras on some of their modules
จุฬาลงกรณ์มหาวิทยาลัย Suwimon Hall ;Hall, Mark E | Pongpol Juntharee | วิทยานิพนธ์/Thesis |
| Computability via the lambda-calculus with patterns
จุฬาลงกรณ์มหาวิทยาลัย Pimpen Vejjajiva;Hall, Mark | Bodin Skulkiat | วิทยานิพนธ์/Thesis |
| An [omega]-order predicate logic with types
จุฬาลงกรณ์มหาวิทยาลัย Suwimon Hall;Hall, Mark Edwin | Anocha Yimsiriwattana | วิทยานิพนธ์/Thesis |
| Lambda-calculus with patterns
จุฬาลงกรณ์มหาวิทยาลัย Ajchara Harnchoowong;Hall, Mark Edwin | Pimpen Vejjajiva | วิทยานิพนธ์/Thesis |
| Some nonabsolutely convergent Lebesgue-type integrals
จุฬาลงกรณ์มหาวิทยาลัย Suwimon Hall;Hall, Mark Edwin | Sawanya Sakuntasathien | วิทยานิพนธ์/Thesis |
| Injectivity in some categories of semimodules over semirings
จุฬาลงกรณ์มหาวิทยาลัย ;Hall, Mark E | Sajee Pianskool | วิทยานิพนธ์/Thesis |