แคลเซียมคาร์บอเนต
แคลเซียมคาร์บอเนต () เป็นสารประกอบมีสูตรเคมีคือ CaCO
แคลคูลัสแลมบ์ดา
ฟังก์ชันที่คำนวณได้เป็นแนวคิดพื้นฐานในวิทยาการคอมพิวเตอร์และคณิตศาสตร์ แคลคูลัสแลมบ์ดาเป็นอรรถศาสตร์ที่เรียบง่ายสำหรับการคำนวณ ส่งผลให้สามารถศึกษาคุณสมบัติของการคำนวนได้อย่างเป็นรูปนัย อรรถศาสตร์ที่เรียบง่ายของแคลคูลัสแลมบ์ดามาจากคุณลักษณะ 2 ประการ ประการแรก แคลคูลัสแลมบ์ดาไม่มีการกำหนดชื่อให้กับฟังก์ชัน กล่าวคือ มองฟังก์ชันต่าง ๆ อย่างไร้ชื่อ (ฟังก์ชันนิรนาม) ตัวอย่างเช่น ฟังก์ชัน
สามารถเขียนใหม่ในรูปแบบนิรนามว่า
(ความหมายคือ "คู่อันดับ x และ y ถูกส่งไปยัง formula_3") อีกตัวอย่างคือ
สามารถเขียนใหม่ในรูปแบบนิรนามว่า formula_5, นั่นคือ ข้อมูลนำเข้าของฟังก์ชันถูกส่งไปยังตัวเอง