Пәнді оқыту бағдарламасын тақырып парағы



Дата14.06.2016
өлшемі164.19 Kb.
#135153


Пәнді оқыту бағдарламасын тақырып парағы

(Syllabus)







Ф

ПМУ ҰСН 7.18.3/37




Қазақстан Республикасының Білім және ғылым министрлігі
С. Торайғыров атындағы Павлодар мемлекеттік университеті

Физика, математика және ақпараттық жүйелер факультеті

Информатика және ақпараттық жүйелер кафедрасы

5В060200 Информатика және библиография мамандықтарының студенттеріне

«Автоматтар мен тілдер теориясы» пәні бойынша

ПӘН БОЙЫНША ОҚЫТУ БАҒДАРЛАМАСЫ (Syllabus)

Павлодар

Пән бойынша оқыту бағдарламасының

бекіту парағы


(Syllabus)





ПМУ ҰСН 7.18.3/38






БЕКІТЕМІН

ФМжАТ факультет деканы

_____________ Испулов Н.А.

2012 ж. «__»_________


Құрастырушы: аға оқытушы Токкожина М.А.



Информатика және ақпараттық жүйелер кафедрасы


Оқу түрі күндізгі және сырттай 5B060200 Информатика мамандықтарының студенттеріне

Автоматтандырылған кітапхана-ақпараттық жүйелер

Пән бойынша оқыту бағдарламасы (Syllabus)


Бағдарлама ________________2012 ж. кафедраның отырысында бекітілген жұмыс оқу бағдарламасы негізінде әзірленген


Кафедраның отырысында қарастырылған

«_____»________20_____ж. №______ хаттама


Кафедра меңгерушісі ___________Н.Н. Оспанова

ФМжАТ факультетінің әдістемелік кеңесінде құпталған

«__»_______20__ж. №____ хаттама
ӘК төрайымы __________________ А.Б. Искакова

ҚҰПТАЛҒАН

Кафедра меңгерушісі __________ «__» ______ 20__г.



1 Мұғалімдер туралы мәліметтер
Дәріс – Токкожина Махаббат Алимовна

Тәжірибелік сабақтар – Токкожина Махаббат Алимовна

Тел. (8-7182)67-36-51

Қабылдау уақыты кеңес беру кестесіне сәйкес № А1-102 ауд.



2. Пән туралы мәліметтер

Пән 7 семестрде оқытылады дәріс сағаттары 15, практика 22,5 сағат, зертханалық 7,5. Бақылау формасы – курстық жұмыс және емтихан.


3. Пәннің еңбек көлемі


Семестр

Кредитер саны

Аудиториялық сабақтардың түрлері бойынша сағаттар саны

Студенттің өздік жұмысының саны

Бақылау түрлері

барлығы

Дәріс

Тәжірибелік

зертханалық

студиялық

индиви-дуалды

барлығы

СӨЖ

2-3

3

135

6

12










117

117

емтихан


4. Пән мақсаттары мен міндеттері

Пәнді оқыту мақсаты:

Студенттердің тілдер мен автоматтар теориясының негізін меңгеруі, компилятор құрудың сатыларын: лексикалық, синтаксистік және семантикалық талдауларды білуі.Осы білімдердің практикалық машықтарын қалыптастыру. Осы білімдерін компилятор құруда бейнелеудің формальді әдістерін; тілдің грамматикасы мен синтаксисін, автоматтар теоиясын, негізгі аудару кезеңдері мен әдістерін оқыту болып табылады.



Пәнді оқыту міндеттері:

Тілдер мен автоматтар теориясын білу. Осы білімдерін компилятор құруда, программалау тілдерін жүзеге асырғанда және қолданбалы ақпараттар жүйесін құрғанда қолдана білу.


5. Студентке қойылатын талаптар

Студент білу керек:

- Тьюринг машинасымен жұмыс үрдісі;

- грамматикаларды құрып оларды пайдалана білу;

- тізбектерді құрастыра білу;

- презентациялар құру.

.
Студент үйрену керек:

- АКАЖ жобалауды және ендіруді;

- әр – түрлі АКАЖ-да ақпараттық іздеу түрлерін орындау;

- ақпараттық – іздеу тілі көмегімен ақпараттық сұраныстарды жасау;

- АКАЖ-бен жұмыс істеуде әр –түрлі тәсілдерді пайдалану;

- Кітапханада автоматтандырудың әр – түрлі техникалық құралдарын пайдалану.


6. Пререквизиттер


7. Тақырыптық жоспар




Тақырыптар

Сағат саны

Лекц

Практ

Зерт

СӨЖ

1

Тілдер және оларды өрнектеу.

0,5







10

2

Шекті автоматтар.

0,5







10

3

Лексикалық талдау.

1







20

4

Синтаксистік талдау.

1







20

5

Семантикалық талдау.


1







20

6

Жадыны үлестіру және кодты генерациялау.

1







20

7

Тілдер және оларды өрнектеу.

1

12




17




Барлығы

6

12




117



8. Курс компоненттері
8.1 Теориялық курстың тақырыптары

1 тақырып Тілдер және оларды өрнектеу.

Алфавиттер, тізбектер және тілдер. Тілдерді өрнектеу. Формализациялау проблемалары. Формальдық грамматиканың негізгі түсініктері. Терминал және терминал емес белгілер. Шығару ережелері. Грамматикаларды классификациялау: регулярлық, контексті-бос, контексті-тәуелді, жалпы, атрибутты, программалық. Формальдық грамматиканың классификациясы. Хомскийдің формальдық тілдер иерархиясы. Алгоритмдік проблемалар: бос, идентификациялау, тілдердің эквиваленттілігі.



2 тақырып Шекті автоматтар.

Детерминантты шекті автоматтар. Мур диаграммалары. (Ауысу жүйелері). Шекті автоматтардың эквиваленттілігі. Мур теоремасы. Мили и Мур автоматтары. Шекті автоматтардың алгебралық структуралық теориясы. Шекті автоматтардың ішкі жағдайларын кодтау. Шекті автоматтарды тізбектеп және параллель жіктеу. Автоматтарды классификациялау: шекті, магазиндік жадылы, екі жақты автоматтар. Тьюринг машинасы, фон Неман автоматы. Бір қалыпты өрнек бойынша детерминант емес шекті автомат құру. Детерминант емес шекті автомат бойынша детерминантты автомат құру. Анық емес грамматикалар, автоматтар және тілдер.



3 тақырып Лексикалық талдау.

Белгілерді тану. Лексикалық талдауды программалау. LEX лексикалық талдау конструкторы.



4 тақырып Синтаксистік талдау.

LL(1)-грамматикалары. Рекурсивті түсу. Контексті еркін (КЕ) грамматикалар. Сол жақ рекурсияны алып тастау. Сол жақ факторизация. LL(1)- талдаудың артықшылықтары мен кемшіліктері. Жылжыту-қайыру түріндегі төменнен жоғары қарай жіктеу. LR(1) – талдаушылары. Синтаксистік талдау таблицаларын құру және қолдану. LR – талдаудың ерекшеліктері. LR-талдаушылардың варианттары.



5 тақырып Семантикалық талдау.

Тілдің контексті еркін емес қасиеттері. Белгілер таблицасын ұйымдастыру. Идентификаторлар таблицалары. Орналастыру таблицалары. Тізімдері бар орналастыру таблицалары. Орналастыру функциялары. Ағаш түріндегі таблицалар. Блок құрылымдарын жүзеге асыру.



6 тақырып Жадыны үлестіру және кодты генерациялау

Жадыны ұйымдастыру. Статикалық және динамикалық жады. Аудару уақытындағы адрестер. Уақытша жады. Кодты генерациялау. Аралық код құру. Үш адресті код. Р – код. Байт – код. Машина кодын құру. Команданы таңдау. Регистрлерді үлестіру. Кодты ықшамдау.


3.2 Тәжірибелік жұмыстардың мазмұны

ТЖ1. Тілдер және оларды өрнектеу. Алфавиттер, тізбектер және тілдер. Тілдерді өрнектеу.

ТЖ2. Шекті автоматтар. Автоматтарды классификациялау: шекті, магазиндік жадылы, екі жақты автоматтар.

ТЖ 3 Лексикалық талдау. Белгілерді тану.

ТЖ 4. Синтаксистік талдау. LL(1)-грамматикалары. Рекурсивті түсу.

ТЖ 5. Семантикалық талдау. Блок құрылымдарын жүзеге асыру.



ТЖ 6. Жадыны үлестіру және кодты генерациялау. Машина кодын құру. Команданы таңдау.


8.4 СӨЖ мазмұны




СӨЖ түрі

Есеп формасы

Бақылау түрі

Көлемі (сағ)

1

Дәріс сабақтарға дайындық




Сабақтарға қатысу

15

2

Тәжірибе сабақтарына қатысу (тақырып бойынша материалдарды оқып-үйрену, есептерді шығару және т.б.)

Жұмыс дәптері

Сабақтарға қатысу

10

3

Зертхана сабақтарына қатысу (тақырып бойынша материалдарды оқып-үйрену, есеп үлгілерін дайындау)

Есептер

Зертханаға жіберілу

25

4

Аудиторлық сабақтардың мазмұнына кірмеген материалдарды оқып-үйрену

Конспект, сызбалар және т.б.

Сұрақ-жауап, тест және т.б.


12

6

Семестрлік тапсырмаларды орындау (рефераттар, курстық жұмыс және т.б.)

Реферат, курстық жұмыс және т.б.

Семестрлік тапсырманы қорғау

40

7

Бақылау шараларына дайындық




1 МБ, 2 МБ, бақылау жұмысы, тестілеу және т.б.

15

Барлығы:

117


8.5 Үлгерімді тексерудің күнтізбелік графигі

Апталар

1

2

3

4

5

6

7

8

Барлығы

Аптадағы ең үлкен балл

6

16

8

18

8

18

8

18

АҮ1

100

Сабаққа қатысу



Лекц.

2

2

2

2

2

2

2

2

16

Практикалық ұмыс

4

4

6

6

6

6

6

6

44




Зерт

жұм





4




4




4




4

16

ОӨЖ уақытын-да орындау




6




6




6




6

24

Мерзімді бақылау






















МБ1

100







Апталар

9

10

11

12

13

14

15

Барлығы

Аптадағы ең үлкен балл

18

8

18

8

18

8

20

АҮ2

100

Сабаққа қатысу



Лекц.

2

2

2

2

2

2

2

14

Практ. жұмыс

6

6

6

6

6

6

6

42







4




4




4




4

16

ОӨЖ уақытын-да орындау

6




6




6




8

28

Мерзімді бақылау



















МБ2

100






9 Курс саясаты

Егер Сіз барлық сабақтарға кешікпей қатысатын болсаңыз, барлық сабақтарға дайындықпен және белсенді қатысып отырсаңыз, барлық тапсырманы уақытында және сапалы орындап отыратын болсаңыз, онда бақылау шараларының күнтізбелік кестесінде көрсетілгендей жоғарғы ұпай жинайсыз.

Сабақтарға қатысу міндетті болып табылады. Себепті босатулар студентті практикалық және өз бетімен жұмыстар кешенін орындамауынан босатпайды. Осындай жағдайда оқытушының кеңес беру уақытымен сәйкес студенттің жеке тапсырмалары бойынша қайта тапсыруына мүмкіндігі бар.

Дербес компьютермен жұмыстардан алынған практикалық дағдылар пән бойынша өз бетімен жұмысты орындау дұрыстылығымен бағаланады.

Студент сабаққа кешігетін болса, сабаққа кіргізілмейді және босатылған сабақты қайта тапсыруға мүмкіндігі болмайды. Сабақтағы ережені бұзғаны үшін айып салынады – бір сабақтан 5 ұпай алынып тасталады.

Барлық аудиторлық уақыттар дәрістік сабақтарға, практикалық, зертханалық жұмыстарға және оқытушымен студенттің өздік жұмысы тапсырмалары бөлінеді. Әр сабаққа дайындық және барлық материалдарды оқу міндетті. Сіздің дайындықтарыңыз ауызша сұраулармен, бақылау жұмыстарымен және межелік бақылаулар тестілері мен тапсырмаларымен тексеріледі. Өздік жұмысы өз нұсқаңызға сәйкес орындалуы қажет, әйтпесе жұмыс есептелінбейді. Тапсырма нұсқаларын оқытушы тағайындайды.

Барлық тапсырмалар уақытында орындалып, тапсырылуы қажет. Кешіктірілген тапсырмалар төмен бағаланады. Бақылау жұмыстарын кез келгенін көшіруге және емтиханда көшіруге тыйым салынады. Айыптық санкция бақылаудың осы түрі үшін ұпайдың 80%-ын құрайды.

Егер бақылау шараларын өткізу уақытында қандай да бір себептермен қатыса алмасаңыз, онда оқытушының кеңес беру кестесімен қайта тапсыруға мүмкіндігіңіз болады.

Семестр ортасында және аяғында 100 балдық бағалау бойынша ағымды үлгерім бағасы анықталады. АҮ бағасы практикалық және өздік жұмыстардың орындалу сапасына, дер кезінде тапсыруына байланысты болады.

Семестрде компьютерлік тестілеу бойынша екі межелік бақылау қарастырылған. Межелік бақылауға тек қана АҮ бойынша 50 балл жинаған студенттер жіберіледі. Тестілеу сәйкес блоктың материалдарына сай жүргізіледі.

1 рейтинг

Р1 = АҮ 1*0,7 + МБ1*0,3.

Семестрлік Рейтинг анықталмайды, егер студент МБ өтпесе немесе МБ-дан 50 баллдан төмен балл жинаса.

Пән бойынша Студенттің емтиханға жіберілу рейтингінің бағасы


ЖР = (Р1+Р2)/2 тең. Егер ЖР 50 баллдан төмен болса, студент емтиханға жіберілмейді.

Пән бойынша қорытынды рейтинг ұпайлар мына формула бойынша есептеледі:



Қ=ЖР*0,6+Е*0,4

мұндағы: ЖР – жіберілу рейтингі, Е – емтиханда алынған ұпайлар саны

Емтихан тест түрінде жүргізіледі.

10 Әдебиеттер тізімі

Негізгі


  1. 1 Воройский Ф.С. Основы проектирования АБИС.-М., Либерия, 2002.

  2. Воройский Ф.С. Аналитико-синтетическая обработка и переработка информации в автоматизированных системах НТИ: основные организации и технологии. - М.: ИПКИР, 2003

  3. Коровякова И.Д. Автоматизированные библиотечно-информационные системы и сети. - М.: МГИК, 2003.

Қосымша

  1. Алешин Л.И. Автоматизация в библиотеке.Ч.1.-М. МГУКИ,2001.


  2. Библиотеки и ассоциации в меняющемся мире: Новые технологии и новые формы сотрудничества: Материалы междунар.конф. «Крым-1995-2001».-М.:ГПНТБ России, 2002.
  3. Дригайло В.Г. и др. Основы управления библиотекой высшего учебного заведения. - М.: Либерия, 2004.


  4. Земсков А.И., Шрайберг Я.Л. Электронные библиотеки.-М.:Либерея,2003.
  5. Зупарова Л.Б. и др. Библиотечная обработка документов.- М.:Леберея,2003..


  6. Информатика/Под ред. Симоновича С.В.-СПб.:Питер,2000.

  7. Кузнецов О.А. Автоматизация в библиотеках.-М.:Книга,2000.

  8. Руководство по UNIMARC: руководство по применению международного коммуникативного формата UNIMARC/пер. с англ.-М., 2000.

  9. Саак А. и др. Информационные технологии управления. - СПб., 2005.

  10. СИБИД (Система стандартов по информации, библиотечному и издательскому делу) ГОСТ 7.1-2003. Библиографическая запись. Введ. 01.07.2004.-М.,2004.

  11. СИБИД. ГОСТ 34.003-90. Автоматизированные системы. Термины и определения.- М.,1991.

  12. СИБИД. ГОСТ 34.601-90. Автоматизированные системы. Стадии создания. - М., 2000.



Достарыңызбен бөлісу:




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет