โปรแกรมตาม slc.sf.net
-
slc ฟรี
สัญลักษณ์ Lambda Calculus เป็นพิธีการเชิงตรรกะตามแคลคูลัส lambda และตรรกะการรวมซึ่งมีวัตถุเพียงชนิดเดียวซึ่งสามารถแสดงถึงคําศัพท์หรือความเท่าเทียมกัน มันใช้นิกายแคลคูลัสเดอบรูจน์และแลมบ์ดา
สัญลักษณ์ Lambda Calculus เป็นพิธีการเชิงตรรกะตามแคลคูลัส lambda และตรรกะการรวมซึ่งมีวัตถุเพียงชนิดเดียวซึ่งสามารถแสดงถึงคําศัพท์หรือความเท่าเทียมกัน มันใช้นิกายแคลคูลัสเดอบรูจน์และแลมบ์ดา