تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۲ |
| ISI | مارس ۲۰۲۳ |
| SCImago | ژانویه ۲۰۲۰ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۲ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۲ |
| لیست سیاه دانشگاه آزاد | بهمن ۱۳۹۹ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۲ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۲ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | ژانویه ۲۰۲۴ |
| ISI | آپریل ۲۰۲۴ |
| SCImago | می ۲۰۲۴ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۳ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۳ |
| لیست سیاه دانشگاه آزاد | آذر ۱۴۰۱ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۴ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۴ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
Journal Of Logical And Algebraic Methods In Programming
| هلند | کشور |
| ۰٫۵۸۱ | Impact Factor |
| 2352-2208 | ISSN |
| 2352-2216 | e-ISSN |
| 2014 تا کنون | مدت فعالیت |
| Elsevier | ناشر |
| www.journals.elsevier.com | سایت مجله |
ISI
آخرین بروز رسانی مارس ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q1 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
مجله روش‌های منطقی و جبری در برنامه‌نویسی، مجله‌ای بین‌المللی است که هدف آن انتشار مقالات پژوهشی با کیفیت بالا، اصل، مقالات بررسی و مرور، مقالات آموزشی و مطالعات تاریخی در زمینه‌های روش‌ها و تکنیک‌های منطقی و جبری برای تضمین صحت و سقم است. قابلیت اجرای برنامه ها و به طور کلی سیستم های محاسباتی. تمام جنبه‌ها، به‌ویژه تئوری و مبانی، مسائل پیاده‌سازی، و برنامه‌های کاربردی شامل ایده‌های بدیع پوشش داده خواهد شد.
موضوعات مورد علاقه مجله عبارتند از:
• کاربرد جبرها، جبر مشترک و مقوله ها در برنامه نویسی
• کاربردهای نظریه اثبات و نظریه مدل در برنامه نویسی
• برنامه نویسی محدودیت
• مبانی پارادایم های برنامه نویسی
• برنامه نویسی منطقی
• مبانی منطقی امنیت برنامه
• مدل ها و مدل های تحلیلی برای سیستم های فیزیکی-سایبری
• محاسبات پردازش
• مدل های برنامه نویسی
• روش های کمی برای تجزیه و تحلیل سیستم
• مشخصات و تایید سیستم ها
مجله روش‌های منطقی و جبری در برنامه‌نویسی با تمرکز بر مبانی و کاربرد روش‌های منطقی، جبری و مقوله‌ای برای برنامه‌نویسی و توسعه سیستم‌های محاسباتی قابل اعتماد، مکمل علم برنامه‌نویسی کامپیوتر و علم کامپیوتر نظری الزویر است.