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