Организация
Специальность
Вопросы
- Ալգորիթմի հասկացություն և դրա ֆորմալիզացիաներ. Թյուրինգի մեքենա, Մարկովի նորմալ ալգորիթմ, ռեկուրսիվ ֆունկցիա: Ալգորիթմների ֆորմալ մոդելների համարժեքություն: Ալգորիթմորեն անլուծելիության հասկացություն: Ալգորիթմորեն անլուծելի խնդիրների օրինակներ:
- Ալգորիթմի բարդության հասկացություն: P և NP դասեր: Խնդիրների բազմանդամային բերելիություն: Կուկի թեորեմ` Բուլյան բանաձևի իրագործելիության խնդրի NP-լրիվության մասին: NP-լրիվ խնդիրների օրինակներ, դրանց լուծման մոտեցումներ: Ճշգրիտ և մոտավոր կոմբինատոր ալգորիթմներ:
- Էֆեկտիվ /բազմանդամային/ ալգորիթմների օրինակներ. Որոնման և տեսակավորման արագ ալգորիթմներ, գրաֆների և ցանցերի հետ կապված խնդիրների լուծման բազմանդամային ալգորիթմներ /որոնում խորությամբ և լայնությամբ, մինիմալ կմախքային ծառի կառուցում, մինիմալ ճանապարհների ծառի կառուցում/:
- Ավտոմատներ: Փորձակումներ ավտոմատների հետ: Կանոնավոր արտահայտությունների հանրահաշիվ: Կլինիի թեորեմ կանոնավոր լեզուների մասին:
- Տրամաբանության հանրահաշիվ: Բուլյան ֆունկցիաներ, բուլյան ֆունկցիաների ներկայացման կանոնիկ ձևեր: Լրիվ համակարգի հասկացություն: Լրիվության Պոստի հայտանիշ: Բուլյան ֆունկցիաների մինիմիզացում նորմալ ձևերի դասերում:
- Առաջին կարգի պրեդիկատների հաշիվ: Մեկնաբանության հասկացություն: Առաջին կարգի բանաձևերի իրագործելիություն և ընդհանրարժեքություն: Մոդելի հասկացություն: Թեորեմ պրեդիկատների առաջին կարգի հաշվի լրիվության մասին:
- Հարաբերություններ և ֆունկցիաներ: Համարժեքության և տրոհման հարաբերություն: Ֆակտոր բազմություններ: Մասնակի կարգի հարաբերություն: Ցանցի տեսաբազմությունային և հանրահաշվային սահմանումներ և դրանց համարժեքություն: Ցանցերի հատկություններ: Բուլյան ցանցեր: Լրիվ ցանցեր:
- Ֆորմալ լեզուներ և դրանց նկարագրման եղանակներ: Ֆորմալ լեզուների դասակարգում: Ֆորմալ լեզուների օգտագործումը լեքսիկական և շարահյուսական վերլուծության մեջ:
- l-հաշիվ, ռեդուկցիայի կանոններ, նորմալ ձևի միակություն և դրան բերման կանոններ, ռեկուրսիվ ֆունկցիաների ներկայացում:
- Կոմբինատոր վերլուծության հիմունքներ: Ծնող ֆունկցիաների մեթոդ, կցման և արտաքսման մեթոդ: Օգտագործման օրինակներ:
- Սխալներ ուղղող կոդեր: Այբուբենային կոդավորում: Ինֆորմացիայի սեղմման մեթոդներ:
- Ծածկագրման հիմունքներ: Տեղեկատվության կոնֆիդենցիալության և ամբողջականության ապահովման խնդիրներ: Ծածկագրումային կայունության սահմանման տեսատեղեկատվային և տեսաբարդությունային մոտեցումներ: Տվյալների ծածկագրման DES ամերիկյան և ГОСТ 28147-89 ռուսական ստանդարտներ: Բաց բանալիով ծածկագրման համակարգեր /RSA/: Թվային ստորագրություն: Բանալիների գեներացիայի և բաշխման մեթոդներ:
- Ժամանակակից հաշվողական մեքենաների ճարտարապետություն: Ժամանակակից հաշվողական մեքենաների հիշողության կազմակերպում և պրոցեսորի ճարտարապետություն: Վիրտուալ հիշողության էջային և սեգմենտային կազմակերպում: Cache-հիշողություն: Հրամանային և թվաբանական հոսքագծեր, անկախ հրահանգների զուգահեռ կատարում, վեկտորային հրահանգներ: Մասնագիտացված պրոցեսորներ: Հաշվարկների կատարումը ապահովող, տվյալների հոսքով ղեկավարվող մեքենաներ: Մուտք-ելքի կազմակերպում, մուտք-ելքի կանալներ և պրոցեսորներ, օբյեկտների հետ համակցման սարքեր:
- Հաշվողական համակարգերի դասակարգում զուգահեռ մշակման կազմակերպման եղանակով: Բազմապրոցեսորային բազմամեքենայական համալիրներ: Հաշվողական կլաստերներ: Խնդիրներին կողմնորոշված զուգահեռ կառուցվածքներ` մատրիցային հաշվողական համակարգեր, սիստոլիկ կառուցվածքներ, նեյրոնային ցանցեր:
- Ինֆորմացիոն հաշվողական ցանցերի դերը, ճարտարապետությունը և կառուցման սկզբունքները: Լոկալ և գլոբալ ինֆորմացիոն հաշվողական ցանցեր, ցանցերի միավորման տեխնիկական և ծրագրային միջոցներ:
- Ինֆորմացիոն հաշվողական ցանցերում տվյալների փոխանցման մեթոդներ և միջոցներ, տվյալների փոխանցման արձանագրություններ: Փաթեթներ և հաղորդագրություններ: Փաթեթների, հաղորդագրությունների և կանալների կոմուտացիա:
- Լոկալ ցանցերի ճարտարապետության առանձնահատկություններ (Ethernet, Token Ring, FDDI):
- Internet ցանց, դոմենային կազմակերպում, TCP/IP արձանագրությունների ընտանիք: Ինֆորմացիոն հաշվողական ցանցեր և ինֆորմացիայի բաշխված մշակում:
- Ծրագրավորման լեզուներ: Ծրագրավորման պրոցեդուրային /Pascal, C/, ֆունկցիոնալ /Lisp/, տրամաբանական /Prolog/ և օբյեկտային կողմնորոշմամբ /C++, C#, Java/ լեզուներ:
- Ծրագրավորման պրոցեդուրային լեզուներ: Ղեկավարման կառուցվածքներ, ծրագրի կառուցվածք: Աշխատանք տվյալների հետ. Փոփոխականներ, հաստատուներ, տվյալների պարզ և բաղադրյալ տիպեր: Պրոցեդուրաներ /ֆունկցիաներ/: Ֆունկցիայի կանչ, պարամետրերի փոխանցման եղանակներ, փոփոխականների լոկալիզացում, կողմնակի էֆեկտ: Ստանդարտ ֆունկցիաների գրադարաններ:
- Օբյեկտային կողմնորոշմամբ ծրագրավորում: Դասեր և օբյեկտներ: ժառանգականություն և պոլիմորֆիզմ: Պարամետրիզացված ֆունկցիաներ և դասեր: Բացառություններ և դրանց մշակում: Օբյեկտների հավաքածուների ներկայացման և մշակման միջոցներ /կոնտեյներ, իտերատորներ/: Ընդհանրացված ծրագրավորում:
- Բաշխված ծրագրավորում: Պրոցեսներ և դրանց սինխրոնիզացիա: Սեմաֆորներ, Հոարի մոնիտորներ: Օբյեկտային կողմնորոշմամբ բաշխված ծրագրավորում: CORBA: Զուգահեռ ծրագրավորում ընդհանուր հիշողությամբ: Հոսքեր: Open MP ստանդարտ ինտերֆեյս: Հաջորդական ծրագրերի զուգահեռացում: SPMD և MIMD պարադիգմեր: MPI ստանդարտ ինտերֆեյս:
- Տրանսլյատորների կառուցման հիմունքներ: Օպտիմիզացնող տրանսլյատորի կառուցվածքը: Ծրագրի միջանկյալ ներկայուցումներ` սիմվոլների հաջորդականություն, լեքսեմների հաջորդականություն, շարահյուսական և աբստրակտ շարահյուսական ծառեր: Միջանկյալ ներկայացման ձևեր:
- Կոմպիլյատորի կողմից նախնական ծրագրի վերլուծություն: Ավտոմատային /կանոնավոր/ քերականություններ և լեքսիկական վերլուծություն: Կոնտեքստից ազատ քերականություններ և շարահյուսական վերլուծություն: Սիմվոլների աղյուսակի կազմակերպում և hash-ֆունկցիաներ: Շարահյուսական վերլուծության վերից վար /LL(1)-քերականություններ/ և վարից վեր /LR(1)-քերականություններ/ մեթոդներ: Ատրիբուտային քերականություններ և սեմանտիկական ծրագրեր, աբստրակտ շարահյուսական ծառի կառուցում: Լեքսիկական և շարահյուսական վերլուծիչների գեներացում` քերականության ֆորմալ նկարագրի հիման վրա: Լեքսիկական և շարահյուսական վերլուծության համակարգեր:
- Ծրագրերի օտպիմիզացիա կոմպիլյացիայի ընթացքում: Բազային բլոկերի և ցիկլերի օպտիմիզացում: Ղեկավարման և տվյալների հոսքերի գրաֆների վերլուծություն: Կախվածությունների գրաֆ: Ծրագրի բերում SSA-ներկայացման և հակառակը: Գլոբալ և լոկալ օպտիմիզացիա:
- Օբյեկտային կողմնորոշմամբ ծրագրավորում: Դասեր և օբյեկտներ: ժառանգականություն և պոլիմորֆիզմ: Պարամետրիզացված ֆունկցիաներ և դասեր: Բացառություններ և դրանց մշակում: Օբյեկտների հավաքածուների ներկայացման և մշակման միջոցներ /կոնտեյներ, իտերատորներ/: Ընդհանրացված ծրագրավորում:
- Բաշխված ծրագրավորում: Պրոցեսներ և դրանց սինխրոնիզացիա: Սեմաֆորներ, Հոարի մոնիտորներ: Օբյեկտային կողմնորոշմամբ բաշխված ծրագրավորում: CORBA: Զուգահեռ ծրագրավորում ընդհանուր հիշողությամբ: Հոսքեր: Open MP ստանդարտ ինտերֆեյս: Հաջորդական ծրագրերի զուգահեռացում: SPMD և MIMD պարադիգմեր: MPI ստանդարտ ինտերֆեյս:
- Սովորական դիֆերենցիալ հավասարումների լուծման թվային մեթոդները: Հիմնական ալգորիթմները և նրանց բարդությունները: Տրանսլյատորների կառուցման հիմունքներ: Օպտիմիզացնող տրանսլյատորի կառուցվածքը: Ծրագրի միջանկյալ ներկայուցումներ` սիմվոլների հաջորդականություն, լեքսեմների հաջորդականություն, շարահյուսական և աբստրակտ շարահյուսական ծառեր: Միջանկյալ ներկայացման ձևեր:
- Կոմպիլյատորի կողմից նախնական ծրագրի վերլուծություն: Ավտոմատային /կանոնավոր/ քերականություններ և լեքսիկական վերլուծություն: Կոնտեքստից ազատ քերականություններ և շարահյուսական վերլուծություն: Սիմվոլների աղյուսակի կազմակերպում և hash-ֆունկցիաներ: Շարահյուսական վերլուծության վերից վար /LL(1)-քերականություններ/ և վարից վեր /LR(1)-քերականություններ/ մեթոդներ: Ատրիբուտային քերականություններ և սեմանտիկական ծրագրեր, աբստրակտ շարահյուսական ծառի կառուցում: Լեքսիկական և շարահյուսական վերլուծիչների գեներացում` քերականության ֆորմալ նկարագրի հիման վրա: Լեքսիկական և շարահյուսական վերլուծության համակարգեր:
- Ծրագրերի օտպիմիզացիա կոմպիլյացիայի ընթացքում: Բազային բլոկերի և ցիկլերի օպտիմիզացում: Ղեկավարման և տվյալների հոսքերի գրաֆների վերլուծություն: Կախվածությունների գրաֆ: Ծրագրի բերում SSA-ներկայացման և հակառակը: Գլոբալ և լոկալ օպտիմիզացիա:
- Օբյեկտային կոդի գեներացիա: Վերահարմարեցվող /retargetable/ կոմպիլյատորներ, gcc /կոմպիլյատորների GNU հավաքածու/: Տերմերի վերամշակում /term rewriting/: Օպտիմիզացնող էվրիստիկաների կիրառում /ամբողջաթիվ և դինամիկ ծրագրավորում/ օբյեկտային կոդի գեներատորների գեներացման համար /BEG, lburg համակարգեր/: Օբյեկտային մոդուլների ստատիկ և դինամիկ կապակցում:
- Վիրտուալ մեքենայի բայթ կոդ: Բայթ կոդի կոմպիլյացիայի վրա հիմնված տեխնոլոգիաներ մեկ պլատֆորմից մյուսը ծրագրավորման լեզվով գրված իրականացումը տեղափոխելու համար (JAVA, .NET): Բայթ կոդի իրականացում` մեկնաբանություն, դինամիկ կոմպիլյացիա:
- Մեքենայական կողմնորոշմամբ լեզուներ, ասեմբլեր լեզու: Մեքենայական հրահանգների և հաստատուների ներկայացում: Տրանսլյատորի /նախապրոցեսորի/ հրահանգներ: Տրանսլյատորի /նախապրոցեսորի/ հրահանգների տիպերն ու իրականացման սկզբունքները: Մակրոմիջոցներ, մակրոկանչեր, մակրոսահմանման լեզուներ, պայմանային մակրոգեներացում, իրականացման սկզբունքներ:
- Ծրագրավորման համակարգեր, Ծրագրավորման համակարգերի տիպային բաղադրիչներ` լեզուներ, տրանսլյատորներ, կապերի խմբագրեր, կարգաբերիչներ, տեքստային խմբագրեր: Մուդուլային ծրագրավորում: Մոդուլների տիպեր: Մոդուլների կապակցում` ըստ ղեկավարման և տվյալների:
- Կիրառական ծրագրերի փաթեթներ: Կիրառական ծրագրերի փաթեթների օգտագործման լեզուներ: Մեքենայական գրաֆիկա: Մեքենայական գրաֆիկայի աջակցման միջոցներ: Գրաֆիկական փաթեթներ:
- Ծրագրերի մշակման և ուղեկցման տեխնոլոգիաներ: Ծրագրի կենսունակության ցիկլ: Մշակման փուլեր, դրանց ավտոմատացման աստիճանն ու ուղիները: Հակադարձ ճարտարագիտություն: Դեկոմպոզիցիայի և հավաքման տեխնոլոգիաներ: Ժառանգականության և ինկապսուլյացիայի մեխանիզմեր: Մոդուլներ, մուդուլների փոխգործակցում, հիերարխիկ ծրագրեր:
- Կարգաբերում, տեստավարում, ծրագրի ստուգում և բարդության գնահատում: Տեստերի գեներացիա: Տեստերի գեներացման համակարգեր: Ծրագրերի կտրվածքներ /slice, chop/ և դրանց կիրառումը ծրագրերի կարգաբերման և տեստերի գեներացման համար: Կարգաբերման ծրագրային համակարգեր:
- Ծրագրերի սպեցիֆիկացիայի մեթոդներ: Սպեցիֆիկացիաների ստուգման մեթոդեր: Սխեմային, կառուցվածքային և վիզուալ ծրագրավորում: Օգտագործողի ինտերֆեյսի մշակում, CUA ստանդարտ, ինտերֆեյսային փոխգործակցման մուլտիմեդիա միջավայրեր:
- Հաշվողական համակարգերի գործունեության ռեժիմներ: Օպերացիոն համակարգերի կառուցվածքն ու ֆունկցիաները: Հիմնական բլոկերն ու մոդուլները: Օպերացիոն համակարգերի կիրառական ինտերֆեյսներ (API), նրանց ստանդարտիզացիան:
- Օպերացիոն համակարգերի ֆունկցիաների ապարատային աջակցման հիմնական մեթոդները. ընդհատումների համակարգ, հիշողության պաշտպանություն, հասցեների ձևափոխման մեխանիզմեր վիրտուալ հիշողության համակարգերում, կանալների և արտաքին սարքերի ղեկավարում:
- Պրոցեսների տեսակներ և դրանց ղեկավարումը ժամանակակից օպերացիոն համակարգերում: Պրոցեսների ներկայացում, դրանց կոնտեքստներ, գեներացման հիերարխիաներ, վիճակներ և փոխգործակցություն: Հոսքերի ստեղծումը և ղեկավարումը: Աշխատանքի բազմախնդիր ռեժիմ: Պրոցեսորների և հոսքերի ղեկավարման հրահանգներ: Պրոցեսների փոխգործակցության միջոցներ: Կլիենտ-սերվեր մոդել և դրա իրականացումը ժամանակակից օպերացիոն համակարգերում:
- Զուգահեռ պրոցեսներ, գեներացման և ղեկավարման սխեմաներ: Զուգահեռ և ասինխրոն պրոցեսների միջև փոխգործակցության ղեկավարում` հաղորդագրությունների փոխանակում, փոստարկղների կազմակերպում: Կրիտիկական տեղամասեր, պրոցեսների փոխբացառման պրիմիտիվներ, Դեյկստրայի սեմաֆորներ և դրանց ընդլայնումներ: Պրոցեսների ասինխրոն կատարման հետ կապված փակուղիների խնդիր: Փակուղիների բացահայտման և կանխարգելման ալգորիթմներ:
- Պրոցեսների ղեկավարման միջոցներ` զուգահեռ և բաշխված հաշվողական համակարգերում և ցանցերում դրանց իրականացման դեպքում: PVM, MPI, OpenMP, POSIX ստանդարտներ և ծրագրային միջոցներ: Պրոցեսների և տվյալների միգրացիա: Բաշխված տրանզակցիաների և ֆայլերի ղեկավարում:
- Պրոցեսների ցիկլիկ սպասարկման միամակարդակ և բազմամակարդակ դիսցիպլիններ կենտրոնական պրոցեսորում: Քվանտի ընտրություն: Պրոցեսների սպասարկման առանձնահատկությունները իրական ժամանակում աշխատող օպերացիոն համակարգերում:
- Տվյալներին հասանելիության ղեկավարում: Ֆայլային համակարգ:
- Արտաքին սարքերի ղեկավարում: Սկավառակային հիշողության կազմակերպում և բաշխում: Սկավառակային և օպերատիվ հիշողության միջև տվյալների փոխանակման ղեկավարում: Ծրագրի էջերի /սեգմենտների/ աշխատանքային բազմություն, դրա սահմանման ալգորիթմներ:
- Ռեսուրսների վիրտուալիզացիա` վիրտուալ սարքեր, վիրտուալ մեքենաներ:
- Սխալների նկատմամբ կայունության ապահովումը հաշվողական համակարգերում: Հաշվարկների և սարքերի կրկնողություն, ստուգման կետերի մեխանիզմ, հաշվարկի վերականգնում սխալների դեպքում:
- Հաշվողական մեքենաների բազմախնդիրային աշխատանքի օպտիմիզացիա: Windows, Unix, Linux օպերացիոն համակարգեր: Կազմակերպման առանձնահատկություններ, օգտագործողի հետ փոխգործակցության ծառայություններ:
- Օպերացիոն համակարգեր սերվերների համար, նրանց առանձնահատկությունները:
- Օբյեկտային կոդի գեներացիա: Վերահարմարեցվող /retargetable/ կոմպիլյատորներ, gcc /կոմպիլյատորների GNU հավաքածու/: Տերմերի վերամշակում /term rewriting/: Օպտիմիզացնող էվրիստիկաների կիրառում /ամբողջաթիվ և դինամիկ ծրագրավորում/ օբյեկտային կոդի գեներատորների գեներացման համար /BEG, lburg համակարգեր/: Օբյեկտային մոդուլների ստատիկ և դինամիկ կապակցում:
- Վիրտուալ մեքենայի բայթ կոդ: Բայթ կոդի կոմպիլյացիայի վրա հիմնված տեխնոլոգիաներ մեկ պլատֆորմից մյուսը ծրագրավորման լեզվով գրված իրականացումը տեղափոխելու համար (JAVA, .NET): Բայթ կոդի իրականացում` մեկնաբանություն, դինամիկ կոմպիլյացիա:
- Մեքենայական կողմնորոշմամբ լեզուներ, ասեմբլեր լեզու: Մեքենայական հրահանգների և հաստատուների ներկայացում: Տրանսլյատորի /նախապրոցեսորի/ հրահանգներ: Տրանսլյատորի /նախապրոցեսորի/ հրահանգների տիպերն ու իրականացման սկզբունքները: Մակրոմիջոցներ, մակրոկանչեր, մակրոսահմանման լեզուներ, պայմանային մակրոգեներացում, իրականացման սկզբունքներ:
- Ծրագրավորման համակարգեր, Ծրագրավորման համակարգերի տիպային բաղադրիչներ` լեզուներ, տրանսլյատորներ, կապերի խմբագրեր, կարգաբերիչներ, տեքստային խմբագրեր: Մուդուլային ծրագրավորում: Մոդուլների տիպեր: Մոդուլների կապակցում` ըստ ղեկավարման և տվյալների:
- Կիրառական ծրագրերի փաթեթներ: Կիրառական ծրագրերի փաթեթների օգտագործման լեզուներ: Մեքենայական գրաֆիկա: Մեքենայական գրաֆիկայի աջակցման միջոցներ: Գրաֆիկական փաթեթներ:
- Ծրագրերի մշակման և ուղեկցման տեխնոլոգիաներ: Ծրագրի կենսունակության ցիկլ: Մշակման փուլեր, դրանց ավտոմատացման աստիճանն ու ուղիները: Հակադարձ ճարտարագիտություն: Դեկոմպոզիցիայի և հավաքման տեխնոլոգիաներ: Ժառանգականության և ինկապսուլյացիայի մեխանիզմեր: Մոդուլներ, մուդուլների փոխգործակցում, հիերարխիկ ծրագրեր:
- Կարգաբերում, տեստավարում, ծրագրի ստուգում և բարդության գնահատում: Տեստերի գեներացիա: Տեստերի գեներացման համակարգեր: Ծրագրերի կտրվածքներ /slice, chop/ և դրանց կիրառումը ծրագրերի կարգաբերման և տեստերի գեներացման համար: Կարգաբերման ծրագրային համակարգեր:
- Ծրագրերի սպեցիֆիկացիայի մեթոդներ: Սպեցիֆիկացիաների ստուգման մեթոդեր: Սխեմային, կառուցվածքային և վիզուալ ծրագրավորում: Օգտագործողի ինտերֆեյսի մշակում, CUA ստանդարտ, ինտերֆեյսային փոխգործակցման մուլտիմեդիա միջավայրեր:
- Հաշվողական համակարգերի գործունեության ռեժիմներ: Օպերացիոն համակարգերի կառուցվածքն ու ֆունկցիաները: Հիմնական բլոկերն ու մոդուլները: Օպերացիոն համակարգերի կիրառական ինտերֆեյսներ (API), նրանց ստանդարտիզացիան:
- Օպերացիոն համակարգերի ֆունկցիաների ապարատային աջակցման հիմնական մեթոդները. ընդհատումների համակարգ, հիշողության պաշտպանություն, հասցեների ձևափոխման մեխանիզմեր վիրտուալ հիշողության համակարգերում, կանալների և արտաքին սարքերի ղեկավարում:
- Պրոցեսների տեսակներ և դրանց ղեկավարումը ժամանակակից օպերացիոն համակարգերում: Պրոցեսների ներկայացում, դրանց կոնտեքստներ, գեներացման հիերարխիաներ, վիճակներ և փոխգործակցություն: Հոսքերի ստեղծումը և ղեկավարումը: Աշխատանքի բազմախնդիր ռեժիմ: Պրոցեսորների և հոսքերի ղեկավարման հրահանգներ: Պրոցեսների փոխգործակցության միջոցներ: Կլիենտ-սերվեր մոդել և դրա իրականացումը ժամանակակից օպերացիոն համակարգերում:
- Զուգահեռ պրոցեսներ, գեներացման և ղեկավարման սխեմաներ: Զուգահեռ և ասինխրոն պրոցեսների միջև փոխգործակցության ղեկավարում` հաղորդագրությունների փոխանակում, փոստարկղների կազմակերպում: Կրիտիկական տեղամասեր, պրոցեսների փոխբացառման պրիմիտիվներ, Դեյկստրայի սեմաֆորներ և դրանց ընդլայնումներ: Պրոցեսների ասինխրոն կատարման հետ կապված փակուղիների խնդիր: Փակուղիների բացահայտման և կանխարգելման ալգորիթմներ:
- Պրոցեսների ղեկավարման միջոցներ` զուգահեռ և բաշխված հաշվողական համակարգերում և ցանցերում դրանց իրականացման դեպքում: PVM, MPI, OpenMP, POSIX ստանդարտներ և ծրագրային միջոցներ: Պրոցեսների և տվյալների միգրացիա: Բաշխված տրանզակցիաների և ֆայլերի ղեկավարում:
- Պրոցեսների ցիկլիկ սպասարկման միամակարդակ և բազմամակարդակ դիսցիպլիններ կենտրոնական պրոցեսորում: Քվանտի ընտրություն: Պրոցեսների սպասարկման առանձնահատկությունները իրական ժամանակում աշխատող օպերացիոն համակարգերում:
- Տվյալներին հասանելիության ղեկավարում: Ֆայլային համակարգ:
- Արտաքին սարքերի ղեկավարում: Սկավառակային հիշողության կազմակերպում և բաշխում: Սկավառակային և օպերատիվ հիշողության միջև տվյալների փոխանակման ղեկավարում: Ծրագրի էջերի /սեգմենտների/ աշխատանքային բազմություն, դրա սահմանման ալգորիթմներ:
- Ռեսուրսների վիրտուալիզացիա` վիրտուալ սարքեր, վիրտուալ մեքենաներ:
- Սխալների նկատմամբ կայունության ապահովումը հաշվողական համակարգերում: Հաշվարկների և սարքերի կրկնողություն, ստուգման կետերի մեխանիզմ, հաշվարկի վերականգնում սխալների դեպքում:
- Հաշվողական մեքենաների բազմախնդիրային աշխատանքի օպտիմիզացիա: Windows, Unix, Linux օպերացիոն համակարգեր: Կազմակերպման առանձնահատկություններ, օգտագործողի հետ փոխգործակցության ծառայություններ:
- Օպերացիոն համակարգեր սերվերների համար, նրանց առանձնահատկությունները:
- Միջոցներ ցանցերի ղեկավարման գործողությունների համար: ISO/OSI բաց համակարգերի փոխգործակցության էտալոնային մոդել: Մարշրուտիզացում և տվյալների հոսքերի ղեկավարում ցանցում: Լոկալ և գլոբալ ցանցեր: Ցանցային օպերացիոն համակարգեր, կլիենտ-սերվեր մոդել: Ցանցերի ղեկավարման միջոցներ UNIX և Windows օպերացիոն համակարգերում: TCP/IP արձանագրությունների ընտանիք, IP հասցեների կառուցվածք և տեսակներ, դոմենային հասցեավորում Internet-ում: TCP, UDP տրանսպորտային արձանագրություններ:
- Հեռակայված հասանելիություն ցանցի ռեսուրսներին: Էլեկտրոնային փոստի և վիդեո կոնֆերանսների կազմակերպում: Ֆայլերի փոխանցման FTP և HTTP արձանագրություններ: Հիպերտեքստի նշագրման HTML լեզու: WEB էջերի մշակում: WWW սերվերներ:
- Օպերացիոն համակարգեր շարժական հաշվարկները իրականացնելու համար:
- Տվյալների տիպի կոնցեպցիա: Աբստրակտ տվյալների տիպեր: Օբյեկտներ /հիմնական և առանձնահատուկ հատկություններ/:
- Հիմնական տվյալների կառուցվածքներ: Որոնման և մշակման ալգորիթմներ: Տվյալների պահպանման և որոնման մեթոդների համեմատական բնութագիր:
- Միջոցներ ցանցերի ղեկավարման գործողությունների համար: ISO/OSI բաց համակարգերի փոխգործակցության էտալոնային մոդել: Մարշրուտիզացում և տվյալների հոսքերի ղեկավարում ցանցում: Լոկալ և գլոբալ ցանցեր: Ցանցային օպերացիոն համակարգեր, կլիենտ-սերվեր մոդել: Ցանցերի ղեկավարման միջոցներ UNIX և Windows օպերացիոն համակարգերում: TCP/IP արձանագրությունների ընտանիք, IP հասցեների կառուցվածք և տեսակներ, դոմենային հասցեավորում Internet-ում: TCP, UDP տրանսպորտային արձանագրություններ:
- Հեռակայված հասանելիություն ցանցի ռեսուրսներին: Էլեկտրոնային փոստի և վիդեո կոնֆերանսների կազմակերպում: Ֆայլերի փոխանցման FTP և HTTP արձանագրություններ: Հիպերտեքստի նշագրման HTML լեզու: WEB էջերի մշակում: WWW սերվերներ:
- Օպերացիոն համակարգեր շարժական հաշվարկները իրականացնելու համար:
- Տվյալների տիպի կոնցեպցիա: Աբստրակտ տվյալների տիպեր: Օբյեկտներ /հիմնական և առանձնահատուկ հատկություններ/:
- Հիմնական տվյալների կառուցվածքներ: Որոնման և մշակման ալգորիթմներ: Տվյալների պահպանման և որոնման մեթոդների համեմատական բնութագիր:
- Տվյալների ռելացիոն և օբյեկտային մոդելների հիմնական հասկացություններ:
- Տվյալների ռելացիոն մոդելի տեսական հիմունքներ: Ռելացիոն հանրահաշիվ, ռելացիոն հաշիվ: Ֆունկցիոնալ կախվածություններ և հարաբերությունների նորմալիզացում:
- CASE-միջոցներ և դրանց օգտագործումը տվյալների բազաների նախագծման ընթացքում
- Տվյալների բազաների ֆիզիկական մակարդակի կազմակերպում ու նախագծում: Ինդեքսային կառուցվածքներ. նոսր, խիտ և երկրորդական ինդեքսներ, B+ -ծառեր, դինամիկ հեշ-աղյուսակներ:
- Ընդհանրացված ճարտարապետություն: Տվյալների բազաների ղեկավարման համակարգի կառուցվածքը և ֆունկցիաները: Ժամանակակից տվյալների բազաների տեխնոլոգիաների բնութագիր: Տվյալների բազաների ղեկավարման համակարգերի օրինակների:
- Հարցումների կատարում: Հանրահաշվական գործողությունների իրականացման երկու դիտարկումով ալգորիթմներ` տեսակավորման, հեշավորման և ինդեքսավորման հենքերի վրա:
- Կոմպիլյացիա և հարցումների օպտիմիզացիա: Անցում վերլուծության ծառերից հարցումների տրամաբանական պլանների, գործողությունների գների վերլուծություն, ֆիզիկական պլանի կառուցում:
- Ինֆորմացիայի ինտեգրում: Ֆեդերատիվ տվյալների բազաներ, տվյալների պահոց, մեդիատոր, OLAP - կիրառություն, տվյալների խորանարդ, տվյալների մշակում (data mining):
- Տրանզակցիաների, արձանագրման և վերականգնման ղեկավարման հիմնական սկզբունքներ:
- SQL տվյալների բազաների լեզու: Տվյալների բազայի սխեմայի սահմանման և փոփոխման միջոցներ: Ամբողջականության սահմանափակումների սահմանում: Հասանելիության վերահսկում: Տվյալների մանիպուլյացիայի միջոցներ:
- SQL լեզուների ստանդարտներ: Ինտերակտիվ, ներդրված, դինամիկ SQL:
- Կլիենտ-սերվեր տեխնոլոգիայի հիմնական հասկացություներ: SQL սերվերի և կլիենտի բնութագիր: Կլիենտի և սերվերի ցանցային փոխգործակցություն:
- Ինֆորմացիոն որոնողական համակարգեր: Դասակարգում: Որոնման իրականացման և արագացման մեթոդներ:
- Գիտելիքների ներկայացման մեթոդներ: Պրոցեդուրային և տրամաբանական ներկայացում, սեմանտիկ ցանցեր, ֆրեյմեր, պրոդուկցիայի համակարգեր: Գիտելիքների ներկայացման իտեգրացված մեթոդներ: Գիտելիքների ներկայացման լեզուներ: Գիտելիքների բազաներ:
- Էքսպերտային համակարգեր: Էքսպերտային համակարգերի կիրառման ոլորտներ: Էքսպերտային համակարգերի ճարտարապետություն: Արտածման մեխանիզմեր: Բացատրման, շփման, գիտելիքների ձեռքբերման ենթահամակարգեր: Էքսպերտային համակարգի կենսական ցիկլ: Էքսպերտային համակարգերի օրինակներ:
- Տվյալների և ծրագրերի ապարատային և ծրագրային պաշտպանության մեթոդներ: Տվյալների և ծրագրերի պաշտպանություն ծածկագրման եղանակով:
- Պաշտպանություն չարտոնված հասանելիությունից օպերացիոն համակարգերում: Անվտանգության համակարգեր և ռեսուրսներին հասանելիության սահմանազատում օպերացիոն համակարգերում: Հասնելիության հարցեր ֆայլային համակարգերում:
- Պաշտպանություն չարտոնված պատճենահանումից: Չպատճենահանվող նշիչների տեղադրման մեթոդներ, տեղադրվող ծրագրի հարմարեցում կոնկրետ հաշվողական մեքենային, հարմարեցում սարքավորման կոնֆիգուրացիային:
- Պաշտպանություն քայքայիչ ծրագրային ազդեցություններից: Վնասաբեր ծրագրեր և դրանց դասակարգումը: Բեռնվող և ֆայլային վիրուսներ, էջանշան-ծրագրեր: Վիրուսների հայտնաբերման և հեռացման մեթոդներ, ծրագրային ապահովման վերականգնում:
- Ինֆորմացիայի պաշտպանություն հաշվողական ցանցերում: