«Կոմբինատորային տրամաբանություն»–ի խմբագրումների տարբերություն
Content deleted Content added
չ մանր-մունր, փոխարինվեց: : → ։ (2) |
չ հստակեցնում եմ աղբյուրը oգտվելով ԱՎԲ |
||
Տող 3.
Ուսումնասիրում է [[Տրամաբանություն|տրամաբանության]] այն հիմնական հասկացություններն ու մեթոդները, որոնք ձևական տրամաբանական համակարգերի կառուցման ժամանակ սովորաբար դիտվում են որպես պարզաբանման կարիք չզգացող և չեն վերլուծվում։ Այս տեսակետից կոմբինատորային տրամաբանության մեջ հատուկ ուշադրություն է դարձվում փոփոխականի, [[Ֆունկցիա (մաթեմատիկա)|ֆունկցիայի]], բազմության հասկացությունների, տեղադրման կանոնի և տրամաբանական անտինոմիաների վերլուծությանը։ Կոմբինատորային տրամաբանության պատմությունը սկսվում է խորհրդային [[մաթեմատիկոս]] Մ. Ի. Շեյնֆինկելի ուսումնասիրություններով ([[1924]]); Նրա զարգացմանը նպաստել են Հ. Քարին, Ա. Չորչը, Ս. Կլինին։
{{ՀՍՀ|հատոր=5|էջ=534}}
[[Կատեգորիա:Տրամաբանություն]]
|