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