Theoretical Computer Science

ISI

آخرین بروز رسانی مارس ۲۰۲۳

Scopus

آخرین بروز رسانی فوریه ۲۰۲۲

این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:

SCImago

آخرین بروز رسانی ژانویه ۲۰۲۰

بر اساس دسته بندی این بنیاد این مجله در دسته Q2 قرار دارد

رشته تخصصی و رتبه مجله در آن رشته:

اهداف مجله

علم کامپیوتر نظری از نظر روحی ریاضی و انتزاعی است، اما انگیزه خود را از محاسبات عملی و روزمره می گیرد. هدف آن درک ماهیت محاسبات و در نتیجه این درک، ارائه روش‌شناسی کارآمدتر است. از کلیه مقالات معرفی یا مطالعه مفاهیم و روش های ریاضی، منطقی و رسمی استقبال می شود، مشروط بر اینکه انگیزه آنها به وضوح از رشته محاسبات استخراج شده باشد.
هر گونه سؤال در مورد ارسال‌ها و بررسی همتایان باید به دفتر تحریریه TCS ارسال شود: [email protected].
مقالات منتشر شده در علوم کامپیوتر نظری بر اساس ماهیت در سه بخش دسته بندی می شوند. بخش اول «الگوریتم‌ها، خودکارها، پیچیدگی و بازی‌ها» به مطالعه الگوریتم‌ها و پیچیدگی آنها با استفاده از روش‌های تحلیلی، ترکیبی یا احتمالی اختصاص دارد. این شامل کل حوزه پیچیدگی انتزاعی (یعنی تمام نتایج در مورد سلسله مراتبی است که می توان با استفاده از ماشین های تورینگ تعریف کرد)، کل حوزه خودکار و نظریه زبان (شامل خودکار در کلمات بی نهایت و زبان های بی نهایت)، کل حوزه هندسی ( گرافیک) برنامه های کاربردی و کل زمینه اندازه گیری عملکرد سیستم با استفاده از روش های آماری.
بخش دوم، منطق، معناشناسی و نظریه برنامه‌نویسی، به روش‌های رسمی برای بررسی ویژگی‌های برنامه‌ها یا پیاده‌سازی زبان‌های توصیف شده رسمی اختصاص دارد. این شامل تمام مقالات مربوط به معناشناسی زبان های برنامه نویسی متوالی و موازی است. تمام روش‌های رسمی درمان این مشکلات در این بخش منتشر شده‌اند، از جمله تکنیک‌های بازنویسی، انواع داده‌های انتزاعی، اثبات قضیه خودکار، محاسباتی مانند SCP یا CCS، شبکه‌های پتری، محاسبات منطقی جدید و پیشرفت در روش‌های طبقه‌بندی.
بخش سوم، محاسبات طبیعی، به مطالعه محاسبات در طبیعت و محاسبات الهام گرفته شده از طبیعت اختصاص دارد. در زمینه به سرعت در حال تحول علوم کامپیوتر، محاسبات طبیعی نقش مهمی را به عنوان کاتالیزور برای هم افزایی محاسبات طراحی شده توسط انسان با محاسباتی که در طبیعت انجام می شود، ایفا می کند. این هم افزایی منجر به درک عمیق تر و گسترده تر از ماهیت محاسبات می شود. اگرچه محاسبات طبیعی با آزمایش‌ها و کاربردها نیز سروکار دارد، این بخش از علوم کامپیوتر نظری بر جنبه‌های نظری محاسبات طبیعی با ارتباط واضح با محاسبات متمرکز است. از جمله، شامل مقالاتی است که به مسائل نظری در محاسبات تکاملی، شبکه های عصبی، محاسبات مولکولی و محاسبات کوانتومی می پردازند.
علم کامپیوتر نظری اکنون مقدمه های پیشرفته با کیفیت بالا را منتشر خواهد کرد. مقدمه‌های پیشرفته، که فقط با دعوت هستند، باید یک موضوع متمرکز را در محدوده TCS در سطحی پوشش دهند که برای دانشمندی که تازه با موضوع آشنا شده و مایل است درک به‌روزی کسب کند، مناسب باشد. مقالات باید مستقل باشند، از جمله انگیزه و تعاریف اساسی، و به مطالب پیشرفته و/یا مشکلات باز که ممکن است - اما نیازی نیست - شامل نتایج جدید باشد، ادامه دهند. باید ارجاعات کافی برای ارائه نکات ورودی به ادبیات تحقیق در مورد موضوع و همچنین منشاء ایده های اصلی به خواننده ارائه شود. ارسال ها از طریق فرآیند بررسی استاندارد TCS انجام می شود.