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