Difference between revisions of "Ce este lambda calculul ?"
| Line 1: | Line 1: | ||
| + | [[Image:Haskelllogo-small-flag-RO-8.jpg|center|Haskell - Ce este lambda calculul ?]] |
||
| + | |||
[[Category:Ro]] |
[[Category:Ro]] |
||
| Line 9: | Line 11: | ||
- cum se folosesc lambada expresiile , <br> |
- cum se folosesc lambada expresiile , <br> |
||
- a felului cum se reduc la forma normala (daca au) <br> |
- a felului cum se reduc la forma normala (daca au) <br> |
||
| − | - a felului cum modeleaza ele diveresle multimi de valori care ne intereseaza |
+ | - a felului cum modeleaza cu ele diveresle multimi de valori care ne intereseaza |
| + | |||
| + | 3) lambda calculul este o teorie algebrica a lambda expresiilor (expresii definite foarte simplu, cu 3 reguli) si a modului cum se lucreaza cu ele, aşa cum logica era o teorie a expresiilor logice şi a modului cum se folosesc ele sau artitmetica o teorie a expresiilor... aritmetice. |
||
Ar mai fi multe de spus. |
Ar mai fi multe de spus. |
||
Revision as of 13:18, 4 October 2008
Pe scurt:
1) lambda calculul este un model de calcul pe care se bazeaza tot domeniul Programare functionala. (Ma prefac sa ignor faptul ca teoria combinatorilor - care se poate specifica atat inclusa dar cat si separata de lambda calcul - este baza implementarii limbajelor functionale compilate.) Cititi aici despre Programare functionala.
2) lambda calculul este o teorie matematica a felului
- cum se folosesc lambada expresiile ,
- a felului cum se reduc la forma normala (daca au)
- a felului cum modeleaza cu ele diveresle multimi de valori care ne intereseaza
3) lambda calculul este o teorie algebrica a lambda expresiilor (expresii definite foarte simplu, cu 3 reguli) si a modului cum se lucreaza cu ele, aşa cum logica era o teorie a expresiilor logice şi a modului cum se folosesc ele sau artitmetica o teorie a expresiilor... aritmetice.
Ar mai fi multe de spus.
Pagina indexata la indexul Categories:Ro