به صورت کلی در جهان، منطق با سه رویکرد فلسفی، ریاضی و علوم کامپیوتر دنبال میشود. ازین جهت رشته دانشگاهی منطق نیز در سه گروه ۱. فلسفه ۲. ریاضی و ۳. علوم کامپیوتر قرار میگیرد. به عبارت دیگر گرایش منطق در این سه رشته قرار میگیرد. در رشته منطق فلسفی، منطق را با رویکرد، انگیزهها و اهداف فلسفی دنبال میکنیم. مشابهاً در رشتههای منطق ریاضی و منطق کامپیوتر، منطق را برای کارکردهای ریاضیاتی و علوم کامپیوتری آن مورد مطالعه قرار میدهیم. در این نوشته میخواهم به اجمال گرایش منطق را در مقطعهای کارشناسی ارشد و دکتری در دانشگاههای ایران به شما عزیزان معرفی کنم.
رشته منطق در وزارت علوم
عنوان رشته | مقطع تحصیلی | تاریخ تصویب | زیر گروه تحصیلی | گروه تحصیلی | فایل |
---|---|---|---|---|---|
منطق | کارشناسی ارشد ناپیوسته | ۱۳۹۳/۱۰/۲۸ | فلسفه | علوم انسانی | دانلود |
منطق با رویکرد فلسفی | دکتری تخصصی | ۱۳۹۳/۱۱/۱۸ | فلسفه | علوم انسانی | دانلود |
ریاضیات و کاربردها گرایش منطق ریاضی | کارشناسی ارشد ناپیوسته | ۱۳۹۶/۰۹/۰۴ | علوم ریاضی | علوم پایه | دانلود |
ریاضی محض گرایش منطق ریاضی | دکتری تخصصی | - | علوم ریاضی | علوم پایه | دانلود |
ریاضیات و کاربردها گرایش جبر | کارشناسی ارشد ناپیوسته | ۱۳۹۷/۱۰/۰۵ | علوم ریاضی | علوم پایه | دانلود |
ریاضی گرایش جبر | دکتری تخصصی | ۱۳۶۷/۰۶/۰۵ | علوم ریاضی | علوم پایه | دانلود |
محاسبات نرم گرایش ساختارهای جبر منطقی | کارشناسی ارشد ناپیوسته | ۱۳۸۸/۰۲/۰۵ | علوم ریاضی | علوم پایه | دانلود |
علوم کامپیوتر گرایش منطق و روشهای صوری | کارشناسی ارشد ناپیوسته | ۱۳۹۵/۱۲/۰۱ | علوم ریاضی | علوم پایه | دانلود |
رشته منطق در دفترچه آزمون ورودی ارشد و دکتری
مقطع | رشته (مجموعه) | کد | گرایش (رشته) | زیرگرایش (گرایش) |
---|---|---|---|---|
دکتری | فلسفه منطق | ۲۱۳۷ | فلسفهی منطق | - |
ارشد | فلسفه | ۱۱۱۶ | منطق | - |
دکتری | فلسفه منطق | ۲۱۳۷ | منطق با رویکرد فلسفی | - |
ارشد | ریاضی | ۱۲۰۸ | ریاضیات و کاربردها | منطق ریاضی |
دکتری | ریاضی | ۲۲۳۳ | ریاضی | منطق ریاضی |
ارشد | ریاضی | ۱۲۰۸ | ریاضیات و کاربردها | جبر |
ارشد | ریاضی | ۱۲۰۸ | محاسبات نرم | ساختارهای جبر منطقی |
ارشد | علوم کامپیوتر | ۱۲۰۹ | علوم کامپیوتر | منطق و روشهای صوری |
دکتری | علوم کامپیوتر | ۲۲۴۷ | علوم کامپیوتر | منطق و روشهای صوری |
در جدولهای بالا، رشتههای منطق از فلسفه به علوم کامپیوتر مرتب شده است. از نظر محتوای دروس، منطق ریاضی بین منطق فلسفی و منطق کامپیوتر قرار دارد.
منطق فلسفی
۱. کارشناسی ارشد و دکتری منطق
ارزش تحقیقات و پژوهشهای منطقی و تاثیر آن بر عرصههای مختلف علوم بر کسی پوشیده نیست. علم منطق اگرچه در طول تاریخ در نظامهای مختلفی همانند منطق ارسطویی، منطق رواقی-مگاری، منطق سینوی، منطق قرون وسطی و … توسعه و تکامل پیدا کرد، اما با ظهور منطق جدید افق تازهای یافت. گوتلوپ فرگه منطقدان و ریاضیدان آلمانی در اواخر قرن نوزدهم با نگارش کتاب معروف «مفهومنگاری» منطق جدید را پایهریزی نمود. منطق جدید در طول قرن بیستم با آراء برتراند راسل، آلفرد تارسکی، کورت گودل، لوکاسیهویچ، کواین، کریپکی و بسیاری از دانشمندان دیگر توسعه و تکامل چشمگیری یافت به نحوی که این علم خود به حوزهها و گرایشهای متعددی مثل: «منطق فلسفی»، «منطق ریاضی» و «منطق کامپیوتر» تقسیم شده است.
رشته منطق با رویکرد فلسفی یک تخصص علمی و دانشگاهی است که به مطالعهی منابع اصیل در حوزههای مختلف منطق ارسطویی، مگاری-رواقی و اسلامی و نظامهای منطقی نیمهکلاسیک و غیرکلاسیک در قلمرو منطق ریاضی میپردازد و امکان بحثهای تطبیقی و مقایسه نظامهای منطقی قدیم، کلاسیک، نیمهکلاسیک، و غیرکلاسیک با یکدیگر را فراهم میآورد. این علم از دستاوردهای سایر حوزههای علمی نیز بهره گرفته و نتایج آن را در زمینههای آموزشی و پژوهشی مورد استفاده قرار میدهد.
- تعداد و نوع واحدهای درسی ارشد:
- ۱۸ واحد دروس تخصصی الزامی
- ۸ واحد دروس تخصصی اختیاری
- ۶ واحد پایاننامه
- تعداد و نوع واحدهای درسی دکتری:
- ۱۲ واحد دروس تخصصی الزامی
- ۶ واحد دروس تخصصی اختیاری
- ۱۸ واحد رساله
واحدهای درسی ارشد و دکتری منطق (وزارت علوم)
کد | مقطع | نوع | عنوان | واحد | پیشنیاز |
---|---|---|---|---|---|
۱ | ارشد | پیشنیاز | منطق عمومی | ۲ | - |
۲ | ارشد | تخصصی | زبان انگلیسی | ۲ | - |
۳ | ارشد | تخصصی | منطق قدیم ۱ | ۲ | - |
۴ | ارشد | تخصصی | منطق قدیم ۲ | ۲ | منطق قدیم ۱ |
۵ | ارشد | تخصصی | منطق جدید ۱ | ۲ | - |
۶ | ارشد | تخصصی | منطق جدید ۲ | ۲ | منطق جدید ۱ |
۷ | ارشد | تخصصی | منطق جدید ۳ | ۲ | منطق جدید ۲ |
۸ | ارشد | تخصصی | فلسفههای تحلیلی و زبانی | ۲ | - |
۹ | ارشد | تخصصی | فلسفه منطق ۱ | ۲ | منطق جدید ۱ |
۱۰ | ارشد | تخصصی | منطق تطبیقی ۱ | ۲ | منطق جدید ۱، منطق قدیم ۱ |
۱۱ | ارشد | اختیاری | فلسفه منطق ۲ | ۲ | فلسفه منطق ۱ |
۱۲ | ارشد | اختیاری | منطق تطبیقی ۲ | ۲ | منطق تطبیقی ۱ |
۱۳ | ارشد | اختیاری | تاریخ منطق ۱ | ۲ | - |
۱۴ | ارشد | اختیاری | تاریخ منطق ۲ | ۲ | تاریخ منطق ۱ |
۱۵ | ارشد | اختیاری | فلسفه علم | ۲ | - |
۱۶ | ارشد | اختیاری | فلسفه ریاضی | ۲ | - |
۱۷ | ارشد | اختیاری | منطق ریاضی | ۲ | منطق جدید ۲ |
۱۸ | ارشد | اختیاری | فلسفه اسلامی | ۲ | - |
۱۹ | ارشد | اختیاری | فلسفه غرب | ۲ | - |
۱ | دکتری | الزامی | منطق جدید ۱ (منطقهای نیمهکلاسیک) | ۲ | - |
۲ | دکتری | الزامی | منطق جدید ۲ (منطق های غیرکلاسیک) | ۲ | منطق جدید ۱ |
۳ | دکتری | الزامی | فلسفه تحلیلی | ۲ | - |
۴ | دکتری | الزامی | فلسفه منطق ۱ | ۲ | - |
۵ | دکتری | الزامی | منطق قدیم ۱ | ۲ | تاریخ منطق ۱ |
۶ | دکتری | الزامی | منطق تطبیقی ۱ | ۲ | منطق قدیم ۱ |
۷ | دکتری | الزامی | رساله | ۱۸ | |
۸ | دکتری | اختیاری | منطق قدیم ۲ | ۲ | منطق قدیم ۱ |
۹ | دکتری | اختیاری | منطق محمولات درجات بالاتر | ۲ | - |
۱۰ | دکتری | اختیاری | منطق موجهات | ۲ | منطق جدید ۱ |
۱۱ | دکتری | اختیاری | منطق زمان | ۲ | منطق جدید ۱ |
۱۲ | دکتری | اختیاری | منطقهای عمل | ۲ | منطق جدید ۱ |
۱۳ | دکتری | اختیاری | منطقهای شناخت | ۲ | منطق جدید ۱ |
۱۴ | دکتری | اختیاری | منطقهای چندارزشی | ۲ | منطق جدید ۲ |
۱۵ | دکتری | اختیاری | منطق فازی | ۲ | منطق جدید ۲ |
۱۶ | دکتری | اختیاری | منطق ربط | ۲ | منطق جدید ۲ |
۱۷ | دکتری | اختیاری | منطق آزاد | ۲ | منطق جدید ۲ |
۱۸ | دکتری | اختیاری | منطق کوانتومی | ۲ | منطق جدید ۲ |
۱۹ | دکتری | اختیاری | منطق شهودی | ۲ | منطق جدید ۲ |
۲۰ | دکتری | اختیاری | فلسفه منطق ۲ | ۲ | فلسفه منطق ۱ |
۲۱ | دکتری | اختیاری | منطق ریاضی ۱ | ۲ | - |
۲۲ | دکتری | اختیاری | منطق ریاضی ۲ | ۲ | منطق ریاضی ۱ |
۲۳ | دکتری | اختیاری | منطق تطبیقی ۲ | ۲ | منطق تطبیقی ۱ |
۲۴ | دکتری | اختیاری | تاریخ منطق ۱ | ۲ | - |
۲۵ | دکتری | اختیاری | تاریخ منطق ۲ | ۲ | تاریخ منطق ۱ |
۲۶ | دکتری | اختیاری | منطق و متافیزیک | ۲ | - |
۲۷ | دکتری | اختیاری | فلسفه علم | ۲ | - |
- دانشگاه اصلی: تربیت مدرس (استاد اصلی: لطف الله نبوی)
- ۲۰ واحد دروس الزامی ارشد: زبان تخصصی – منطق گزارهها – منطق محمولات – منطق موجهات – فلسفه منطق ۱ – تاریخ منطق ۱ (منططق ارسطویی – رواقی) – معرفت شناسی – فلسفههای تحلیلی و زبانی – متافیزیک
- ۶ واحد دروس اختیاری ارشد: فلسفه منطق ۳ – تاریخ منطق ۲ (منطق سینوی) – تاریخ منطق ۳ (منطق قرون وسطی تا معاصر) – منطقهای غیرکلاسیک – منطق تطبیقی – منطق ریاضی – منطق در علوم رایانه و هوش مصنوعی – منطق استقرایی و نظریه احتمالات – کاربرد منطق در فلسفه – فلسفه علم – روششناسی و روش تحقیق – فلسفه اسلامی
- دیگر دانشگاههای دولتی: علامه طباطبایی – اصفهان
- مواد امتحانی در آزمون ورودی ارشد:
- دروس ضریب ۲: منطق عمومی
- دروس ضریب ۱: زبان عمومی و تخصصی – فلسفه عمومی – ریاضیات عمومی
- مواد امتحانی در آزمون ورودی دکتری:
- زبان انگلیسی
- دروس در سطح کارشناسی: فلسفه عمومی – منطق – فلسفه اسلامی – فلسفه غرب
- دروس در سطح کارشناسی ارشد: منطق فلسفی – منطق ریاضی – فلسفه منطق
منطق ریاضی
۲. کارشناسی ارشد و دکتری منطق ریاضی
منطق ریاضی در اواخر قرن نوزدهم و اوایل قرن بیستم میلادی ضمن کوشش فیلسوف-ریاضیدانی چون فرگه و راسل برای حل مسائل موجود در مبانی ریاضیات به وجود آمد و با تلاش ریاضیدان بزرگی چون هیلبرت، گودل و تارسکی شکوفا شد. دهه ۱۹۴۰ میلادی شاهد رشد شاخههای اصلی منطق ریاضی مانند نظریه برهان، نظریه محاسبهپذیری، نظریه مدل و نظریه مجموعه بود.
هدف از این دوره به شرح زیر است:
- آشنایی با منطق ریاضی که یکی از شاخههای مهم ریاضیات است.
- آشنایی با کاربردهای متنوع منطق در علوم کامپیوتر شامل روشهای صوری (رسمی) و نظریه محاسبه.
- آشنایی با کاربردهای مهم منطق در فلسفه به ویژه فلسفه ریاضی
- تعداد و نوع واحدهای درسی ارشد:
- ۱۲ واحد دروس الزامی
- ۱۲ واحد دروس اختیاری
- ۲ واحد سمینار
- ۶ واحد پایاننامه
- تعداد و نوع واحدهای درسی دکتری:
- دروس الزامی (فرعی): یک درس از دروس هر یک از گرایشهای دوره دکتری ریاضی (شامل منطق ولی از زمینهای متفاوت با موضوع رساله) و یا علوم کامپیوتر
- دروس انتخابی: هر یک از دورس انتخابی دوره کارشناسی ارشد ریاضی محض گرایش منطق که اخذ نشده – نظریه پیشرفته مدل – نظریه پیشرفته مجموعه – مدلهای نااستاندارد حساب – منطق و محاسبه – مبانی پیشرفته در منطق
واحدهای درسی ارشد منطق ریاضی (وزارت علوم)
کد | نوع | عنوان | واحد | پیشنیاز |
---|---|---|---|---|
الزامی | منطق ریاضی | ۴ | ندارد | |
۱ | اختیاری | نظریه برهان | ۳ | منطق ریاضی |
۲ | اختیاری | نظریه محاسبهپذیری | ۳ | منطق ریاضی |
۳ | اختیاری | نظریه مدل | ۳ | اجازه گروه |
۴ | اختیاری | نظریه مجموعه | ۳ | اجازه گروه |
۵ | اختیاری | آنالیز نااستاندارد | ۳ | اجازه گروه |
۶ | اختیاری | منطق محاسباتی | ۳ | منطق ریاضی |
۷ | اختیاری | نظریه مجموعههای فازی و منطق فازی | ۳ | ندارد |
۸ | اختیاری | آنالیز محاسبهپذیر | ۳ | نظریه محاسبهپذیری |
۹ | اختیاری | جبر جامع | ۳ | ندارد |
۱۰ | اختیاری | نظریه رسته و توپوس | ۳ | ندارد |
۱۱ | اختیاری | نظریه مشبکه | ۳ | ندارد |
۱۲ | اختیاری | ساختارهای جبری مرتب | ۳ | ندارد |
۱۳ | اختیاری | منطق شهودی | ۳ | منطق ریاضی |
۱۴ | اختیاری | منطق وجهی | ۳ | منطق ریاضی |
۱۵ | اختیاری | فلسفه ریاضی | ۳ | منطق ریاضی |
۱۶ | اختیاری | مباحث ویژه در منطق ریاضی | ۳ | اجازه گروه |
- دانشگاه اصلی: شهید بهشتی (استاد اصلی: مرتضی منیری)
- ۴ واحد درس الزامی: منطق ریاضی
- ۸ واحد (۲ درس) الزامی: جبر پیشرفته – آنالیز حقیقی – هندسه منفیلد یا توپولوژی جبری
- ۱۲ واحد (۴ درس) اختیاری: نظریه برهان – نظریه محاسبهپذیری – نظریه مدل – نظریه مجموعه – آنالیز نااستاندارد – منطق محاسباتی – نظریه مجموعهها و منطق فازی – آنالیز محاسبهپذیر – جبر جامع – نظریه رسته و توپوس – نظریه شبکه – ساختارهای جبری مرتب – منطق شهودی – منطق وجهی – منطق فازی از دیدگاه ریاضی – فلسفه ریاضی – مباحثی در منطق
- دیگر دانشگاههای دولتی: تربیت مدرس – تبریز
- مواد امتحانی در آزمون ورودی ارشد:
- دروس ضریب ۴: مبانی جبر و مبانی ترکیبات – آنالیز ریاضی
- دروس ضریب ۳: دروس پایه (ریاضی عمومی ۱ و ۲ – معادلات دیفرانسیل – مبانی علوم ریاضی – مبانی ماتریسها و جبر خطی – مبانی آنالیز ریاضی – مبانی آنالیز عددی – مبانی احتمال)
- مواد امتحانی در آزمون ورودی دکتری:
- زبان انگلیسی
- دروس در سطح کارشناسی: مبانی علوم ریاضی – مبانی ماتریسها و جبر خطی – مبانی آنالیز ریاضی – مبانی جبر – توپولوژی
- دروس در سطح کارشناسی ارشد: آنالیز حقیقی ۱ – جبر پیشرفته ۱
۳. کارشناسی ارشد و دکتری جبر
هنوز در بعضی از دانشگاهها گرایش منطق ریاضی به صورت رسمی با عنوان «منطق ریاضی» فعالیت نمیکند. بلکه با عنوان «جبر» دانشجو میپذیرد. یعنی رشتهی شما جبر است اما زمینهی تحقیقاتی شما «منطق» خواهد بود. توجه کنید که جبر نزدیکترین همسایهی منطق در حوزهی علوم ریاضی و منطق جبری یکی از مهمترین و اساسیترین شاخههای منطق ریاضی است.
بنابراین اگر به قصد «منطق ریاضی» رشتهی جبر را برمیگزینید، حتماً قبل از انتخاب رشته از اینکه در دانشگاه مد نظر شما زمینهی منطق ریاضی در رشته جبر دنبال میشود اطمینان حاصل کنید.
- دانشگاه اصلی: امیرکبیر (استاد اصلی: مسعود پورمهدیان)
- دگیر دانشگاههای دولتی: تهران – دامغان – اراک – شریف – کرمان
منطق کامپیوتر
۴. کارشناسی ارشد ساختارهای جبر منطقی
محاسبات نرم تقریباً از اواخر قرن گذشته به طور رسمی به عنوان مبحثی در علوم کامپیوتر مطرح شد. روشهای محاسباتی متداول به اصطلاج «سخت» تنها میتوانند پدیدههای نسبتاً ساده را به صورت دقیق مدلبندی و تجزیه و تحلیل کنند. ولی با روشهای محاسبات به اصطلاح «نرم» میتوان پدیدههای خیلی پیچیده در زیستشناسی، پزشکی، مهندسی، علوم انسانی، مدیریت و از این قبیل را نیز مطالعه، مدلبندی و تجزیه و تحلیل کرد.
شاخههای اصلی این مبحث از علم مبانی محاسبات نرم، سیستمهای فازی و سیستمهای هوشمند هستند. دو موضوع بنیادی و زیرمبنایی این شاخهها از علم در ریاضیات، منطقهای غیرکلاسیک و جبر جامع هستند.
- تعداد و نوع واحدهای درسی ارشد:
- ۱۲ واحد اصلی اجباری
- ۱۲ واحد اختیاری
- ۲ واحد سمینار
- ۶ واحد پایاننامه
واحدهای درسی ارشد ساختارهای جبر منطقی (وزارت علوم)
ردیف | نوع | نام درس | واحد |
---|---|---|---|
۱ | الزامی | مبانی محاسبات نرم | ۴ |
۲ | الزمی | جبر جامع | ۴ |
۳ | الزامی | منطقهای غیرکلاسیک | ۴ |
۴ | اختیاری | نظریه مجموعهها و منطق فازی | ۴ |
۵ | اختیاری | منطق شهودگرایی | ۴ |
۶ | اختیاری | نظریه مدلها | ۴ |
۷ | اختیاری | نظریه مشبکه | ۴ |
۸ | اختیاری | ساختارهای جبری مرتب | ۴ |
۹ | اختیاری | نظریه اتوماتا | ۴ |
۱۰ | اختیاری | ساختارهای جبری فازی | ۴ |
۱۱ | اختیاری | ابرساختارهای جبری | ۴ |
۱۲ | اختیاری | منطق محاسباتی | ۴ |
۱۳ | اختیاری | نظریه محاسبهپذیری | ۴ |
۱۴ | اختیاری | نظریه رستهها | ۴ |
۱۵ | اختیاری | نظریه توپوس | ۴ |
۱۶ | اختیاری | نظریه مشبکه نرم | ۴ |
۱۷ | اختیاری | جبرهای استلزامی | ۴ |
۱۸ | اختیاری | مباحث ویژه | ۴ |
- دانشگاه اصلی: شهید بهشتی (استاد اصلی: مرتضی منیری)
- دیگر دانشگاههای دولتی: بجنورد – باهنر کرمان – محقق اردبیلی
- مواد امتحانی در آزمون ورودی ارشد:
- دروس ضریب ۴: دروس پایه (ریاضی عمومی ۱ و ۲ – معادلات دیفرانسیل – مبانی علوم ریاضی – مبانی ماتریسها و جبر خطی – مبانی آنالیز ریاضی – مبانی آنالیز عددی – مبانی احتمال) – مبانی جبر و مبانی ترکیبات
- دروس ضریب ۳: آنالیز ریاضی
- دروس ضریب ۲: زبان عمومی و تخصصی
۵. کارشناسی ارشد منطق و روشهای صوری
- تعداد و نوع واحدهای درسی ارشد:
- ۹ واحد الزامی
- ۱۲ واحد اختیاری
- ۲ واحد سمینار
- ۶ واحد پایاننامه
واحدهای درسی ارشد منطق و روشهای صوری (وزارت علوم)
ردیف | نوع | نام درس | واحد |
---|---|---|---|
۱ | الزامی | دادهکاوی محاسباتی | ۳ |
۲ | الزمی | الگوریتمهای پیشرفته | ۳ |
۳ | الزامی | وارسیگر مدل | ۳ |
۴ | اختیاری | اثبات خودکار | ۳ |
۵ | اختیاری | برنامهسازی منطقی | ۳ |
۶ | اختیاری | معناشناسی صوری | ۳ |
۷ | اختیاری | توصیف صوری نرمافزار | ۳ |
۸ | اختیاری | درستییابی نرمافزار | ۳ |
۹ | اختیاری | مباحث ویژه در منطق و روشهای صوری | ۳ |
- دانشگاه اصلی: تهران (استاد اصلی: مجتبی مجتهدی)
- عنوان گرایش: الگوریتم، منطق و محاسبه
- دروس: الگوریتمهای ترکیباتی – الگوریتمهای موازی – نظریه بازگشت و محاسبهپذیری – پیچیدگی محاسبه – پیچیدگی محاسبه پیشرفته – الگوریتمهای تصادفی – هندسه محاسباتی – بهینهسازی ترکیباتی – محاسبات مولکولی – وارسیگر مدل – برنامهسازی منطقی – منطق موجهات- نظریه رستهها – مباحث ویژه در نظریه الگوریتم
- مواد امتحانی در آزمون ورودی ارشد:
- دروس ضریب ۴: ساختمان دادهها، طراحی الگوریتمها و مبانی نظریه محاسبه
- دروس ضریب ۳: دروس پایه (ریاضی عمومی ۱ و ۲ – مبانی علوم ریاضی – مبانی ماتریسها و جبر خطی – مبانی آنالیز ریاضی – مبانی آنالیز عددی – مبانی احتمال)
- دروس ضریب ۲: زبان عمومی و تخصصی – مبانی منطق و نظریه مجموعهها – ریاضیات گسسته و مبانی ترکیبات
- مواد امتحانی در آزمون ورودی دکتری:
- زبان انگلیسی
- دروس در سطح کارشناسی: ساختمان داده و الگوریتم – مبانی منطق – مبانی ترکیبات – جبر خطی عددی
- دروس در سطح کارشناسی ارشد: نظریه الگوریتم پیشرفته
ممنونم!
سلام بچه های انسانی هم میتونن با کنکور انسانی وارد رشته منطق ریاضی یا کامپیوتر بشن؟
درود بر شما.
نمیدونم. باید دفترچه ثبت نام رو چک کنید. اگر اونجا محدودیتی گفته نشده باشه، پس مشکلی نیست.