گستردگي و تعداد واژه هايي که مي دانيد، تسلط شما را بر زبان نشان مي دهند. با اين بازي و به کمک مرغها و تخم مرغهاي آن زبان انگليسي تان را امتحان کنيد. با کليک کردن روي هر تخم مرغ، حرف نوشته شده روي آن را انتخاب مي کنيد. وقتي کلمه اي با معني ساختيد، روي enter کيک کنيد.

شبکه های کامپیوتری:

سرفصل مطالب :

شبكه های انتقال داده – استانداردها – مدل مرجع ISO – استانداردهای سیستم های باز – انواع شبكه های محلی اترنت – توكن رینگ – توكن باس – بررسی كارائی شبكه های محلی – شبكه های محلی بی سیم – پروتوكلها- شبكه های محلی سریع و پلها – سوئیچ های اترنت – اترنت سریع – شبكه IEEE 802.12 – پلها و عملكرد آنها – پلهای شفاف – پلهای با مسیریابی مبدأ – شبكه های گسترده – مشخصات شبكه های عمومی دیتا- شبكه های دیتای سوئیچ بسته – شبكه های دیتای سوئیچ مدار – شبكه های گسترده خصوصی – ارتباط بین شبكه ای – معماری و معیارها – ساختار لایه شبكه در ارتباط بین شبكه ای – استانداردهای پروتكل اینترنت – پروتكل IP اینترنت – پروتكل JPv6 – پروتكل ISO اینترنت – پروتكلهای ISO مسیزیابی – انواع شبكه های چند كاره باند وسیع – لایه های Application , Transport .

محاسبات عددی:

سرفصل مطالب :

تعریف خطا – انواع خطا – انباشتگی خطا در محاسبات – ناپایداری در محاسبات – فرمول تكرار برای محاسبه توابع – روشهای حل معادلات غیر خطی شامل روشهای نصف كردن فاصله – رسم خطوط قاطع – رسم خطوط مماس – تكرار نقطه ثابت – اتیكن – فرمول خطا و اثبات همگرایی برای هریك از روشها – رتبه همگرائی – معادلات چند جمله ای (جداسازی – ریشه ها – حدود ریشه ها – روشهای حل ) – روش برستو برای تعیین رشته های موهومی – دستگاه معادلات خطی – روش های حل مستقیم (گاوس – ماتریس وارون ) – روشهای حل تكراری (سیدل) – روش نیوتن برای حل دستگاه معادلات غیر خطی –مقادیر ویژه – بردارهای ویژه – معادله مشخصه – روشهای فاكتورگیری – تفاضل های متناهی – روشهای درون یابی – برون یابی (نیوتن – گاوس – لاگرانژ – اتیكن – بسل ) – چند جمله ای چی شف – چند خمله ای Spline – درون یایب وارون – درون یابی دو متغیره – فرمول خطا – خمهای پوشا – روشهای حداقل مربعات – مشتق گیری عددی – تعیین نقاط اكسترمم توابع جدولی – فرمول گاوس با نقاط محدود – انتگرال گیری عددی (ذوزنقه- سیمپسون – ابرگ – گاوس – لژاندر ) – فرمولهای خطا برای روشهای انتگرال گیری – انتگرال گیری چند گانه عددی – روشهای حل معادلات دیفرانسیل معمولی (تیلور – پیكارد – اویلر – هیون – اویلر بهبود یافته – رانگ (Runge) – كوتا(Kutta) – روشهای پیشگوئی و تصحیح جواب – فرمول خطا و حل معادلات دیفرانسیل با شرایط سرحدی – حل دستگاه معادلات دیفرانسیل .

طراحی و پیاده سازی زبانهای برنامه سازی:

سرفصل مطالب :

ویژگیهای عمومی زبانهای برنامه سازی – پردازنده های زبانهای برنامه سازی و مقایسه انواع آن – ویژگیهای انواع داده ها و پیاده سازی آنها در زبانهای سطح بالا – روشهای تعیین ترتیب اجرای دستورات و پیاده سازی آنها – كنترل داده ها (Data Control) – روشهای تخصیص نشانوندهای (Arguments) یك تابع (برنامه فرعی) و پیاده سازی آنها – روشهای مدیریت حافظه در زبانهای سطح بالا – انتزاع (تجرید ) داده ها .

کامپایلر:

سرفصل مطالب :

مقدمات (انواع مترجمها شامل كامپایلرها و مفسر ها ) ساختار و اجزای كامپایلز (تحلیل گر لغوی و تحلیلگر نحوی – مدیریت جدول نمادها – تولید كد میانی و نهایی – بهینه سازی – مدیریت خطاها)

بررسی انواع گرامر ها و خواص عمومی زبانها (طبقه بندی Chomsky ) – گرامر های گنگ – گرامر خالص (مختصر و مفید) .

تحلیل لغوی – عبارات منظم برای نمایش الگوی توكنها – اصلاح خطاهای لغوی – گرامر های تفسیر حالت قطعی و غیر قطعی .

روش های تحلیل نحوی (بالا به پایین – LL(1) : شامل پیاده سازیهای Recursive Descent و جدول تجزیه پایین به بالا (SP,OP) – روش های LL(1) شامل CLR(1),LALR(1),SLR(1) – اصلاح جدول LR(1) در مورد گرامر های گنگ .

روش های اصلاح خطاهای نحوی

تحلیل معنایی (تستهای ایستا و پویا )

مدیریت جدول نمادها و ساختار آنها

روشهای تخصیص حافظه (ایستا و پویا )

تولید كد میانی و نهایی و روشهای تولید كد مانند Tree Walking , Syntax Directed با استفاده از كنش های مفهومی و علایم كنش

ترجمه تعدادی از ساختارهای زبانهای امری مانند عبارتها – ساختارهای كنترلی – فراخوانی روالها

مختصری در مورد بهینه سازی كد میانی

سرفصل مطالب :

 مقدمه – معرفی و مرور مباحث ذخیره و بازیابی اطلاعات مفاهیم و تعاریف مدیریت پایگاه داده (تعریف داده و اطلاعات – تعریف پایگاه داده – ضرورت پایگاه داده – استقلال داده ای – مدلهای مختلف سیستمهای پایگاه داده ) معماری یك سیستم پایگاه داده (معماری سه سطحی – سطح خارجی - سطح مفهومی – سطح داخلی – مدیر پایگاه داده و مدیر داده – مدیر ارتباطات داده ای ) مدل های مختلف سیستمهای پایگاه داده (مدل سلسله مراتبی – مدل رابطه ای – مدل شبكه ای ) مدل رابطه ای پایگاه داده ها (رابطه یا جدول – جدول مبنا و غیر مبنا – زبان پرس و جو ) عناصر مدل رابطه ای (دامنه – رابطه و انواع آن ) جامعیت مدل رابطه ای (كلید كاندید – كلید اولیه و كلید رقیب – كلید خارجی و قواعد آن – تهی بودن كلید خارجی و كلید اولیه ) جبر رابطه ای_حساب رابطه ای_زبان SQL وابستگی تابعی (تعریف– وابستگی های جزئی– بستار مجموعه ای از وابستگیها – مجموعه كاهش ناپذیر از وابستگیها) نرمال سازی BCNF,3NF,2NF,1NF – وابستگی چند مقداری (MVD) – ANF – وابستگی الحاقی 5NF, JD مرور مطالب پیشرفته تر (حفاظت – ترمیم – همزمانی – پایگاه های داده شیء گرا – پایگاه های داده استنتاجی) .

هوش مصنوعی:

سرفصل مطالب :

هوش مصنوعی چیست ؟ - مبانی و تاریخچه هوش مصنوعی و مرزهای دانش در هوش مصنوعی .

عاملین Agents هوشمند – ساختار و عملكرد عاملین هوشمند – محیط ها

حل مسأله – حل مسأله از طریق جستجو – فرموله كردن مسایل – چند مثال جستجو برای جواب – روشهای جستجو

روشهای جستجوی آگاهانه (Informed) – جستجوی Best-First – توابع Heuristic – جستجوی حافظه محدود – سایر روشهای جستجوی بهبود یافته .

عاملین مبتنی بر دانش – عاملینی كه منطقی استدلال می كنند – نمایش منطق – منطق گزاره ای – استدلال .

منطق رتبه اول – استنتاج در این منطق – قوانین استنتاج – استنتاج زنجیره ای به جلو به عقب .

برنامه ریزی (Planning) – از حل مسأله به برنامه ریزی – نمایشهای ساده برای برنامه ریزی – مهندسی دانش برای برنامه ریزی .

عدم قطعیت (Uncertainty) – نحوه عمل كردن در شرایط عدم قطعیت – كاربرد و نحوه استحصال احتمالات .

معرفی برخی كاربردها در سیستم های خبره – پردازش زبان طبیعی – بینائی ماشین و رباتیك

نظریه زبانها و ماشینها:

سرفصل مطالب :

آتاماتای محدود – آتاماتای Pushdown – ماشین تورینگ – انواع گرامرها و زبانها – تقسیم بندی Chomsky – ارتباط میان زبانها و ماشینها و قضایای مربوطه .

سیستم عامل:

سرفصل مطالب :

تعریف سیستم عامل و وظایف اساسی آن به عنوان ماشین مجازی و مدیر منابع – انواع منابع – تاریخچه مختصر سیستم های عامل – طبقه بندی انواع سیستمهای عامل – سیستم عامل از دید كاربر – مفهوم پردازه (فرآیند) – كار – وظیفه – انواع كار (مقید به ورودی/خروجی و عملیات پردازشی – بررسی بافرینگ – محیط های چند برنامه ای – سیستمهای عامل اشتراك زمانی و محاوره ای – مدیریت پردازنده – زمان بندی كارها و فرآیندها – الگوریتمهای مختلف زمانبندی در محیط های تك پردازنده ای – هماهنگ سازی فرآیندها در استفاده از منابع – مدیریت حافظه (الگوریتمهای مختلف تخصیص حافظه ) – حافظه مجازی و مدیریت آن – مدیریت دستگاههای ورودی/خروجی- مدیریت پرونده ها – بررسی مسأله بن بست و راههای مواجهه با آن – امنیت و حفاظت در سیستمهای عامل – آشنایی مقدماتی با سیستمهای عامل شبكه و توزیع شده .

معماری کامپیوتر:

سرفصل مطالب :

تعریف معماری كامپیوتر – اشاره ای به تاریخچه كامپیوتر و نسلهای آن – معرفی واحدهای اصلی كامپیوتر – طراحی مجموعه دستورالعمل – بررسی معیارها و مسائل – نحوه اجرای دستورالعملها به كمك زبان توصیف سخت افزار (مثل RTL) – روشهای طراحی واحد كنترل به روش سیم بندی شده – ساختار واحد كنترل – كنترل انواع گذرگاه و مسیریابی داده – طراحی واحد حسابی – منطقی و محاسبه تأخیرها – طراحی واحد كنترل ریزبرنامه پذیر – حافظه و سلسله مراتب آن – حافظه های ایستا و پویا و معرفی حافظه نهان (Cache) و مجازی (Virtual) – الگوریتمهای حسابی جمع – تفریق – ضرب و تقسیم – الگوریتمهای ممیز شناور – شیوه های دسترسی به دستگاههای ورودی و خروجی (سركشی – وقفه ) – دسترسی مستقیم به حافظه (DMA) و به اشتراك گذاری گذرگاه (BUS) – اشاره به روند توسعه معماری كامپیوتر و تفاوتهای CISC , RISC .

طراحی الگوریتم:

سرفصل مطالب :

یادآوری مطالب مهم در درس ساختمان داده و تكمیل نكات ارائه شده در خصوص : استقرا ریاضی و روشهای بازگشتی – پیچیدگی الگوریتمها و آنالیز آنها – نمادهای  . روشهای حل مسأله : در هر روشی تعداد مسأله مهم انتخاب و الگوریتمهای هریك گفته شده و اثبات و آنالیز گردد. روش تقسیم و حل (مسائل: ماكزیمم و مینیمم یك آرایه . ضرب دو عدد n بیتی . روش Strassen در ضرب ماتریسها . تورنمنت بازیها . مرتب كردن بر اساس QuickSort . ) . روش برنامه سازی پویا (مسائل : ضرب ماتریسها – كوله پشتی – مثلث بندی بهینه یك چند ضلعی – طولانی ترین زیرترتیب مشترك – حروفچینی یك پاراگراف) . روش حریصانه (مسائل : مسائل زمانبندی – خرد كردن پول – كد هافمن ) . روشهای مبتنی بر جستجوی كامل و تكنیكهای محدود كردن فضای جستجو – استفاده از درخت بازی و  (بازیهای Puzzle , tic-tac-tac ) . روشهای مكاشفه ای برای حل مسائل مشكل (مسأله فروشنده دوره گرد ) . الگوریتمهای گراف شامل : روشهای جستجوی گراف (عمقی و سطحی) . گرافهای بدون جهت (الگوریتمهای Dijkstra – درخت پوشای مینیمال – اجزاء همبند – كاملاً همبند و مسائل دیگر ) . گرافهای جهت دار (الگوریتمهای Floyd ، مرتب كردن Topologycal اجزا دو همبند و ...) – شبكه های ماكزیم جریان و مسائل مربوطه .

ریاضی مهندسی:

سرفصل مطالب :

سری فوریه ، انتگرال آن و تبدیل فوریه – تعریف سری فوریه – فرمول اولر – بسط در نیم دامنه – نوسانات واداشته انتگرال فوریه .

معادلات با مشتقات جزئی: نخ مرتعش – معادله موج یك متغیره – روش تفكیك متغیرها- جواب دالامیر برای معادله موج – معادله انتشار گرما – موج – معادله موج دو متغیره – معادله لاپلاس در مختصات دكارتی و كروی و قطبی – معادلات بیضوی – پارابولیك و هیپربولیك – موارد استعمال تبدیل لاپلاس در حل معادلات با مشتقات جزئی – حل معادلات مشتق جزئی با استفاده از انتگرال فوریه .

توابع تحلیلی و نگاشت كانفرمال و انتگرالهای مختلف : حد و پیوستگی – مشتق توابع مختلف – توابع نمائی و مثلثاتی – هذلولی و لگاریتمی – مثلثاتی معكوس و نمایی با نمای مختلف – نگاشت كانفرمال – نگاشت .

انتگرال خط در صفحه مختلط – قضیه انتگرال كوشی – محاسبه انتگرال خط بوسیله انتگرالهای نامعین – فرمول كوشی – بسطهای تایلور و مك لورن – انتگرال گیری به روش مانده ها – قضیه مانده ها – محاسبه برخی از انتگرالهای حقیقی.

مدار منطقی:

سرفصل مطالب :

سیستم نمایش اعداد و كدگذاری ، نمایش اعداد منفی – منطق كلیدی منطقهای تست منفی سه حالته ساختار كلی دریچه های منطقی – انواع دریچه های منطقی – توابع منطقی و ساده كردن آنها شامل روشهای جدول كارنو و روش جدول بندی – روشهای كامپیوتری ساده كردن توابع تركیبی – طراحی مدارات رمز گشا – رمز كننده – مبدلهای كد – انتخاب كننده ها – مقایسه كننده ها – جمع كننده ها – تفریق كننده ها – واحدهای محاسباتی و منطقی – استفاده از رمز گشا و انتخاب كننده ها و دیگر بسته ها برای پیاده سازی مدارهای تركیبی – مدارهای PAL , PLA , ROM  و دیگر ساختارهای منظم – ساختار لچ و فلیپ فلاپ – مدارهای همگام – مقایسه ماشینهای حالت در MOORE و MEALY – شمارنده ها و شیفت رجیسترها – مدارهای غیر همگام – بررسی مخاطره ها و مسابقه ها (Race and Hazard) – تخصیص وضعیت بدون مسابقه – تراشه های متداول مدارهای ترتیبی – طراحی یا بررسی یك نمونه ماشین یا بخش كنترل و داده – روشهای طراحی نوین .

گسسته:

سرفصل مطالب :

-مقدمه: منطق رياضی ، جبر گزاره ها ، فرمول های خوش ساخت ، مروری بر نظريه مجموعه ها ، روش های اثبات

-روابط و توابع: روابط دوتايی, روابط سازگاری و هم ارزی ، ماتريس نمايش دهنده روابط ، گراف و روابط ، توابع ، توابع پوشا ، توابع يك به يك

-روابط بازگشتي ، استقرا ، حل روابط بازگشتی ، تابع مولد.

-ساختمان های جبری: نيم گروه ها و منويد ها ، گرامر ها و زبان ها ، نشانه گذاري لهستانی ، گروه ها ، همومورفيسم ، ايزومورفيسم ، لاتيس ها (شبكه ها) ، جبر بول ، جدول كارنو ، زبان و دستور زبان ، دستور زبان به عنوان مثالي از منويد ها

-آناليز تركيبی: اصل لانه كبوتر ، آشنايی با الگوريتم های تركيبی ، توابع بازگشتی و كاربرد آن ها

-تئوری گراف: گراف های جعت دار ، گراف های بی جهت ،مسير های اويلری و هميلتنی ، مسيرهای بهينه اپتيمال ،الگوريتم يافتن مسيرهای بهينه اپتيمال ، گراف هاي همبند ، ماتريس ارتباط و قضايای مربوطه ، كاربرد گراف ها در تجزيه و تحليل فعاليت ها

-درخت ها: درخت های پوشای مينيمال ، پيمايش درخت ها ، كاربرد درخت ها ، عبارات جبری و نمايش درخت های آن ها

ساختمان داده:

سرفصل مطالب :

آرایه ها ، بردارها ، ماتریسها ، كاربرد ماتریسها MAZE ، ماتریسهای خلوت و كاربرد آنها ، پشته ها ، صفها و كاربرد آنها ، لیستها ، لیستهای پیوندی (خطی ، حلقه ای ، پیوند مضاعف، چند پیوندی) و كاربرد آنها ، تعاریف و اصول مقدماتی درختها ، درختهای دودویی ، نمایش و كاربرد (درختهای تصمیم گیری ، بازی ، جستجو و ...) ، روشهای ایجاد درختهای تسبیح و اره (THREADED TREES) ، گرافها (نمایش ، روشهای پیمایش و كاربرد) ، درختهای پوشا ، روشهای تخصیص حافظه های پویا و مقایسه آنها ، الگوریتمهای جستجو و مرتب كردن داخلی (حداقل 4 روش) و ادغام