คำถามในหัวข้อ 'lambda-calculus'

การดำเนินการเชิงสัมพันธ์โดยใช้เฉพาะส่วนเพิ่ม วนรอบ กำหนด หรือศูนย์
นี่เป็นคำถามติดตามผลสำหรับ: การดำเนินการลบโดยใช้เฉพาะส่วนเพิ่ม วนซ้ำ กำหนด เป็นศูนย์ เราได้รับอนุญาตให้ใช้การดำเนินการต่อไปนี้เท่านั้น: incr(x) - เมื่อเรียกใช้ฟังก์ชันนี้ มันจะกำหนด x + 1 ให้กับ x มอบหมาย(x, y) - ฟังก์ชันนี้จะกำหนดค่าของ y...
1138 มุมมอง