№
|
Таќырыптары
|
Әдебиеттер
|
Кредит №1
|
-
|
Үздіксіз және дискретті информация. Абстрактты алфавиттер
1. Аналогтық жєне дискретті информация.
2. Абстрактты алфавиттер.
3. Кодтау. Екілік алфавит .
4. Байттық алфавит.
|
1,2
|
-
|
Сөздер және абстракт тілдер.
1. Формальді тіл.
2. Бэкустің нормаль формалары.
3. Берілгендер. Элементар берілгендер типтері.
4. Айнымалы және тұрақты шамалар.
|
1,5
|
-
|
Орындау абстракциясы.
1. ЕОБ (111,259) конструкциясы. Кемшіліктері.
2. Кемелдендірілген конструкция.
3. Теорема.
|
1,5
|
-
|
Программалау тілдерінің ролі
-
Формальді жазу
-
Формальді жазу артықшылықтары
|
1
|
-
|
Жағдайлар және олардың сипаттамалары.
-
Жағдайлар кеңестігі
-
Жағдайлар кеңестігінде теңдіктерді қолдану
|
1
|
-
| Семантика мінездемелері.
1. Жүйеге қойылатын соңғы шарт пен алғы шарт.
2. Жүйе семантикасы.
|
1
|
-
| Предикат түрлендірушісінің қасиеттері
1. Қасиет1. Қасиет2
2. Қасиет 3
3. Қасиет 4,4’
|
1
|
-
| Программалау тілдерінің семантикалық мінездемелері.
1. Программалау тілі және программа.
2. “Өткізу” және “қабылдау”операторлары. Формальді синтаксисі.
|
1
|
-
| Программалау тілдерінің семантикалық мінездемелері
1. Меншіктеу операторы.
2. Конструкциялар композициясы.
|
1
|
-
| Программаның дұрыстығы туралы ұғым
1. Программаның дұрыстығын дәлелдеу
2. Спецификация
3. Верификациялау әдісі
|
2,5
|
-
| Программаның спецификациясын құру
1. Спецификацияны құру үшін қажеттті айнымалылар мен ұғымдар
2. Анықтамалар
|
2,5
|
-
|
Программаның дұрыстығын дәлелдеу әдістері
-
Програманың дұрыстығын дәлелдеу әдісі
-
Операторлардың семантикасы
-
Флоид әдісі
|
2
|
-
|
Флойд әдісі бойынша программаның дұрыстығын дәлелдеу
1. Түйін нүктелер. Программаның орындалу жолдары
2. Верификациялау шарттарының ақиқаттығын тексеру
|
2
|
-
| Программалау тілдерініњ сипаттары -
Машиналық тіл. Жасанды тіл.
-
Программаның орындалуы
|
2
|
-
| Программалау тілдерінің жіктелуі
1. Тілдің қасиеттері бойынша жіктелуі
2. Машинаға бағытталған арнайы тілдер
|
2
|
Кредит №2
|
-
| Операциялық жүйе программалары және жоғары деңгейлі тіл дер
1. Операциялық жүйе программалары
2. Жоғары деңгейлі тілдердің жіктелуі
|
2
|
-
| Транслятор және программалау тілдерінің жалпы ерекшіліктері -
Тілдік айырмашылықтар
-
Тіл құрылымы бойынша айырмашылықтар
|
3,4,5
|
-
| Транслятор және программалау тілдерінің жалпы ерекшіліктері
1. Транслятор және программалау тілдерінің жалпы айырмашылықтары
2. Программалау тілдерінің ортақ мінездемелері.
|
3,4,5
|
-
|
Программалау тілдері теориясының негізгі
түсініктері мен анықтамалары
1. Транслятор. Ассемблер. Компилятор.
2. Интерпретатор. Эмулятор
3. Перекодировщик. Микропроцессор
|
3,4,5
|
-
| Транслятордың жалпылама құрылымы
1. Компилятор фазалары
2. Транслятордың жалпыланған құрылымы
|
3,4,5
|
-
| Транслятор фазаларының функциялары
1. Лексикалық және синтаксистік анализатор функциялары
2. Синтаксистік анализатордың жалпыланған құрылымы
|
3,4,5
|
-
|
Транслятор блоктарыныњ µзараєрекеттесу т‰рлері.
1. Транслятор блоктарының өзараәрекеттерінің ұйымдастырылуы
2. Транслятор блоктарының көп өтпелі өзараәрекеттесуі
3. Көпөтпелі варианттың артықшылықтары мен кемшіліктері
|
3,4,5
|
-
| Транслятор блоктарының өзараәрекетінің бірөтпелі ұйымдастырылуы.
1. Транслятор блоктарының өзараәрекетінің бірөтпелі ұйымдастырылуы.
2. Артықшылықтары мен кемшіліктері
|
3,4,5
|
-
| Транслятор блоктарының аралас өзараәрекеттесуі
1. Транслятор блоктарының 2 өтпелі ұйымдастырылуы
2. Трансляторда код генераторы мен эмуляторды бірге қолдану
|
3,4,5
|
-
|
Компиляция этаптары
-
Компилятордың логикалық құрылымы
-
Компиляция этаптары
|
3,4,5
|
-
|
Лексикалық анализ (сканер)
-
Лексемалардың түзілуі
-
Лексикалық анализатор типтері
-
Сканердің кестелермен жұмысы
|
3,4,5
|
-
| Лексикалық анализ фазасының қажеттілігі. Транслитератор. -
Лексикалық анализ фазасының қажеттілігі.
-
Транслитератор.
|
3,4,5
|
-
|
Синтаксистік және семантикалық анализ.
-
Синтаксистік анализ.
-
Жазу формалары.
|
3,4,5
|
-
|
Формальді граматика
-
Тілді аныќтау мєселесі
-
Грамматиканы аныќтау
-
Грамматиканыњ кейбір ќасиеттері
|
3,4,5
|
-
|
Бэкус– Наур формасы.
1. Бэкус– Наур формасы
2. Кеңейтілген Бэкус – Наур формасы
|
3,4,5
|
Кредит №3
|
-
| BSI стандарты. Ван– Вейнгаарден грамматикасы
1. BSI стандарты
2. Ван– Вейнгаарден грамматикасы
|
3,4,5
|
-
| Вирт диаграммасы
1. Вирт диаграммасының символдары мен ережелері
2. Идентификатор синтаксисін Вирт диаграммасы арқылы бейнелеу
|
3,4,5
|
-
| -
Синтаксистік айқындаудың міндеті.
-
Синтаксистік айқындау әдістерін классификациялау.
|
3,4,5
|
-
| Төменге қарай синтаксистік айқындау әдісі
1. Төменге қарай айқындау әдісіне сипаттама
2. Төменге қарай айқындау әдісіне мысал
|
3,4,5
|
-
|
Грамматика класстары және оларды танушылар. Регуляр грамматика
1. Хомский иерархиясы
2. Грамматика класстарын танушылар
 3. Регуляр граматика
|
3,4,5
|
-
| Шекті автомат тар
1. Шекті автомат ұғымы
2. Шекті автоматтарды жіктеу
|
3,4,5
|
-
|
1. Автоматтар теориясының мәселелері
2. Автоматтар теориясының қолданылуы
|
3,4,5
|
-
| Тьюринг машинасы
1. Тьюринг машинасы ұғымы
2. Тьюринг машинасының формальді анықтамасы
|
3,4,5
|
-
| Шекті автоматтардың формальді анықтамасы
1. Шекті автоматтардың формальді аныќтамасы
2. Детерминирлі шекті автомат
|
3,4,5
|
-
|
1. Детерминирлі шекті автоматқа мысалдар қарастыру
2. Детерминирлі емес шекті автоматтар |
3,4,5
|
-
| Шекті автоматтардың эквиваленттілігі.
1. Эквиваленттілік анықтамсы
2. Жағдайлар жиынын эквивалент класстарға бөлетін алгоритм
|
3,4,5
|
-
| Шекті автоматтарды минимизациялау
1. Шекті автоматты минимизациялау этаптары
2. Мысал қарастыру |
3,4,5
|
-
| Вирт диаграммасы және шекті автомат арасындағы байланыс -
Вирт диаграммасы бойынша шекті автоматты құру ережелері
-
Шекті автоматты құру мысалы. Вирт диаграммасын
Минимизациялау
|
3,4,5
|
-
| Регуляр грамматика мен шекті автоматтардыњ эквиваленттілігі. Контексті бос грамматикалардыњ ќасиеті
1. Регуляр грамматикамен берілетін тілдер классы
2. Контексті бос грамматикалардың қасиеті
3. Грамматикаларды түрлендіру туралы
|
3,4,5
|
-
|
Магазинді автомат
-
Магазинді автоматтар
-
Детерминирлі магазинді автоматтар
|
3,4,5
|
