லாம்டா நுண்கணிதம்: திருத்தங்களுக்கு இடையிலான வேறுபாடு
உள்ளடக்கம் நீக்கப்பட்டது உள்ளடக்கம் சேர்க்கப்பட்டது
சி r2.7.1) (தானியங்கிஇணைப்பு: fi:Lambda-kalkyyli |
சி r2.7.1) (தானியங்கிமாற்றல்: fi:Lambdakalkyyli |
||
| வரிசை 16: | வரிசை 16: | ||
[[eo:Lambda-kalkulo]] |
[[eo:Lambda-kalkulo]] |
||
[[es:Cálculo lambda]] |
[[es:Cálculo lambda]] |
||
[[fi: |
[[fi:Lambdakalkyyli]] |
||
[[fr:Lambda-calcul]] |
[[fr:Lambda-calcul]] |
||
[[he:תחשיב למדא]] |
[[he:תחשיב למדא]] |
||
17:08, 10 சனவரி 2012 இல் நிலவும் திருத்தம்
லாம்டா நுண்கணிதம் (Lambda calculus) என்பது செயலிகளையும் ஆயும் கணிதத்துறை ஆகும். கணிதத்தில், கணினியியலில் சார்பு அல்லது செயலிகள் ஒரு அடிப்படை கூறாகும். மீள்வோட (recursive) செயலிகள் பற்றியும், எது கணிக்கப்படக் கூடியது என்பது பற்றியும், கணிதத்தின்ன் அடித்தளங்கள் பற்றியும் ஆய லம்டா நுண்கணிதம் உதவுகிறது.