آزمون آنلاین رشته علوم كامپيوتر گرایش منطق و روش هاي صوري (کنکور ارشد)

ديگر نيازي نیست وقت زیادی را صرف کنید و به راحتی با شرکت در آزمون آنلاين سایت گزینه ها مي توانيد خارج از ساعات تدرس و حتي خارج از ساعت کار آموزشگاه یا نمونه سوالات رشته علوم كامپيوتر گرایش منطق و روش هاي صوري (کنکور ارشد) آشنا گردید و در آزمون اصلی موفق شوید.

معرفی رشته علوم كامپيوتر گرایش منطق و روش هاي صوري :

در علوم رایانه و مهندسی نرم‌افزار، روش‌های صوری یا روش‌ها رسمی (به انگلیسی Formal methods) نوع خاصی از شگردهای ریاضی-پایه برای توصیف، تخصیص، ایجاد، توسعه، و تولید برنامه سامانه‌های سخت‌افزاری و نرم‌افزاری هستند. استفاده از روش‌های صوری برای طراحی سخت‌افزار و نرم‌افزار تحت تأثیر خواسته‌ها و انتظارات قرار می‌گیرد.
مثل چهارچوب سایر مهندسی‌ها، به اجرا درآوردن تحلیل‌های ریاضی مناسب می‌تواند به استواری و قابل اعتماد بودن طرح کمک کند. به هر حال، مقیاس زیاد استفاده از روش‌های صوری به این معنا است که به‌طور معمول فقط در توسعه سامانه‌های بی‌نقص، جایی که ایمنی یا تضمین سامانه اهمیت دارد مثل سیستم‌های مراقبت پرواز، استفاده می‌شود.

دروس و ضرایب رشته علوم كامپيوتر گرایش منطق و روش هاي صوري:

1 -زبان عمومي و تخصصي (انگليسي)، ضریب: 2

2 -دروس پايه (رياضي عمومي 1 و 2 ،مباني علوم رياضي، مباني ماتريسها و جبر خطي، مباني آناليز رياضي، مبـاني آنـاليز عـددي و مبـاني احتمـال)، ضریب:3

3 -ساختمان داده ها، طراحي الگوريتم ها و مباني نظريه محاسبه، ضریب: 4

4 -مباني منطق و نظريه مجموعه ها، ضریب: 2

5 -رياضيات گسسته و مباني تركيبيات. ضریب: 2