| تعداد نشریات | 62 |
| تعداد شمارهها | 2,323 |
| تعداد مقالات | 19,157 |
| تعداد مشاهده مقاله | 61,585,474 |
| تعداد دریافت فایل اصل مقاله | 31,231,427 |
الگوریتم گاسپر برای مجموع گیری | ||
| مجموعه مقالات کرسی های علمی دانشگاه علامه طباطبائی | ||
| دوره 4، شماره 5، 1395، صفحه 351-362 اصل مقاله (4.96 M) | ||
| نوع مقاله: کرسی ترویجی | ||
| شناسه دیجیتال (DOI): 10.22054/ijdli.2017.20194 | ||
| نویسنده | ||
| حسین تیموری فعال* | ||
| گروه رایانه، دانشگاه علامه طباطبائی | ||
| چکیده | ||
| در سال های اخیر استفاده از سیستمهای جبر رایانه ای همانند میپل و متمتیکا در آموزش و پژوهش علوم ریاضی و رایانه فراگیر شده است. در این مقاله ما تکنیک اثبات رایانه ای معروف به الگوریتم گاسپر را معرفی میکنیم که نه تنها میتواند برای افزایش کیفیت آموزش مفاهیم ریاضیات گسسته به دانشجویان رشته های علوم ریاضی و رایانه مورد استفاده قرار گیرد بلکه می تواند به عنوان یک ابزار کمکی مورد استفاده پژوهشگران این رشته ها نیز واقع شود. برای درک بهتر این الگوریتم زیبا چندین مثال به همراه اجرای آنها در سیستم جبر رایانه ای میپل و بسته ی نرم افزاری ابزارهای مجموع گیری در پایان مقاله آورده شده است. | ||
| کلیدواژهها | ||
| الگوریتم؛ گاسپر؛ مجموع گیری؛ رایانه | ||
|
آمار تعداد مشاهده مقاله: 49 تعداد دریافت فایل اصل مقاله: 34 |
||