லாம்டா நுண்கணிதம்
பிணைப்பு-மாற்றுக் கற்கூட்டியல், அல்லது பிணைப்புக் கற்கூட்டியல் (அலாம்ப்டா கற்கூட்டியல் — Lambda calculus, ல-கற்கூட்டியல் — λ-calculus என்றும் எழுதப்படுகிறது) என்பது செயலிகளையும் ஆயும் கணிதத்துறை ஆகும். கணிதத்தில், கணினியியலில் சார்பு அல்லது செயலிகள் ஒரு அடிப்படை கூறாகும். மீள்வோட (recursive) செயலிகள் பற்றியும், எது கணிக்கப்படக் கூடியது என்பது பற்றியும், கணிதத்தின் அடித்தளங்கள் பற்றியும் ஆய லம்டா நுண்கணிதம் உதவுகிறது.[1][2][3]
குறியீடுகள்
தொகுமேற்கோள்கள்
தொகு- ↑ வார்ப்புரு:Nlab
- ↑ Alan Turing (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic 2 (4): 153–163. doi:10.2307/2268280.
- ↑ Coquand, Thierry (8 February 2006). Zalta, Edward N. (ed.). "Type Theory". The Stanford Encyclopedia of Philosophy (Summer 2013 ed.). பார்க்கப்பட்ட நாள் November 17, 2020.