ผลต่างระหว่างรุ่นของ "บทนิยามเวียนเกิด"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
หน้าใหม่: '''บทนิยามเวียนเกิด''' ({{lang-en|recursive definition}}) หรือ'''บทนิยามแบบอุปนัย''' ({{lang-en|i... |
|||
บรรทัด 22:
== บรรณานุกรม ==
* P. Aczel (1977), "An introduction to inductive definitions", ''Handbook of Mathematical Logic'', J. Barwise (ed.),
[[หมวดหมู่:บทนิยาม]]
[[หมวดหมู่:คณิตตรรกศาสตร์]]
[[หมวดหมู่:วิทยาการคอมพิวเตอร์เชิงทฤษฎี]]
[[หมวดหมู่:การเรียกซ้ำ]]
| |||