سال انتشار: ۱۳۹۰

محل انتشار: اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات

تعداد صفحات: ۹

نویسنده(ها):

حسین ازگومی – دانشگاه آزاد اسلامی واحد شبستر – گروه فنی و مهندسی
معصومه قاسمی ماه سایه – دانشگاه آزاد اسلامی واحد شبستر – گروه فنی و مهندسی

چکیده:

آنالیز ترکیبی یا رضیات انتخاب ، یکی از شاخه های ریاضیات است که به بررسی مسائل شمارش ، گرافها و …. روی مجموعه های متناهی می پردازد. از جمله کاربردهای مهم این شاخه ی ریاضی می توان به استفاده آن در برنامه نویسی و الگوریتم ها اشاره کرد. در واقع سیستمهایی بر پایه ی این شاخه از علم ریاضی انجام میشود. در این مقاله به بررسی توصیف مبتنی بر ریاضی مسائل آنالیز ترکیبی با استفاده از زبان z‌پرداخته شده است. در واقع هدف این مقاله توصیف رسمی سیستم هایی است که بر پایه آنالیز ترکیبی ایجاد می شوند که این توصیف با استفاده از زبان z می باشد.