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