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