Бағдарламасы (Syllabus) Павлодар, Кегль 14, буквы строчные, кроме первой прописной 2013 ж

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

ФМжАТ факультетінің оқу-әдістемелік кеңесімен мақұлданды 2013 ж. «_____»______________ №____хаттама

ОӘК төрағасы __________ Искакова А.Б. 2013 ж. «____»_____________

1. Оқу пәнінің төлқұжаты

«Программистің логикалық мәдениеті»
Таңдау бойынша компонент

Кредиттер саны және оқу мерзімі

Барлығы – 4 кредит

Курс: 1

Семестр: 2

Барлық аудиториялық сағаттар – 60 сағат

Лекция - 30 сағат

Практикалық сабақтар – 30 сағат

СӨЖ – 120 сағат

оның ішінде СОӨЖ – 30 сағат

Жалпы сыйымдылық – 180 сағат

Емтихан – 2 семестр

Пәнді оқу барысында келесі пәндер бойынша қалыптасқан білік пен дағды қажет: бағдарламалау тілдері және ақпараттық технологиялар.

Пәнді оқу барысында қалыптасқан білім, білік және дағды алдағы уақытта информатика-математикалық бағыттағы пәндерді меңгеруге қажет

Дәріс, тәжірибелік және СОӨЖ жүргізуші: Токжигитова Нургул Каирбаевна информатика магистрі, аға оқытушы, жұмыс стажы – 12 жыл, жұмыс орны - «Информатика және ақпараттық жүйелер» кафедрасы, Ломов көшесі 64, 407 аудитория;

Кафедрада болу уақыты – сабақ және кеңес кестелеріне сәйкес;

Байланыс телефоны - 8-7182-67-36-87

Электрондық адрес – Nurgul287@mail.ru

Рахимбаева Бубисан Аскаровна «Информатика және ақпараттық жүйелер» кафедрасының оқытушысы.

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

Оқу үрдісі барысында қойылған мақсатқа жету үшін келесі міндеттер қойылады:

• 
  пәндердің пәнаралық және пәнішілік байланыстарын анықтай отырып студенттер мен магистранттардың бойында программисттың логикалық мәдениетін қалыптастыру;
  
• 
  студенттер мен магистранттардың бойында жалпы пәннің құрылымын, технологиясын және есетеу схемасын қалыптастыра отырып логикалық мәдениеттің негізінде стандартты емес жағдайларда қолдана білуге дағдылану;
  
• 
  студенттер мен магистрантарыдң бойында математикалық логиканың логикалық есептеулер, «абстракциядан» әдісін, индуктивты және дедуктивты әдістері бойынша құзыреттілігін қалыптастыру.
  

Пәнді оқу нәтижесінде студенттер міндетті

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

• 
  тілдің құрылымын;
  
• 
  семантиканың құрылымын;
  
• 
  жартылай-рекурсивты функциялар классының құрылымын;
  
• 
  алгебралық жүйелердің құрылымдық қасиетін сипаттауда формальды тілдерді қолдану;
  

• 
  «Дәлелдеу» ұғымын
  
• 
  «Алгоритм» ұғымын
  
• 
  «Анықталғандық» ұғымын
  
• 
  «Тиімді есептеу» ұғымын
  

• 
  Формалды тілдердің және оларды ңсемантикаларының синтаксистық құрылымының технологиясы;
  
• 
  Формальды тілдердің мүмкіндіктерін қолдана білу;
  
• 
  Формальды тілдердің алгоритмдық қасиеттерін программалау тілдерінің тиімді қасиеті ретінде қолдану;
  

• 
  «абстракциядан» әдісін, программалауда индуктивты және дедуктивты әдістерін қолдана білу;
  
• 
  Java тілінде есептерді шығара білу.
  

Бүгінгі таңда білім беру үдерісінің барлық қатысушыларының алдында білім беру сапасын арттыру, оның күнделікті өмірде қолданылу мәселесі туындауда (экономикалық, әлеуметтік, мәдени, демографиялық, т.с.с). Ақпаратқа жедел түрде анализ беретін білік пен дағдыға негізделген ақпарат ағынының көбеюі, өндірістің және технологияның дамуы, нарықтық экономика жағдайында бәсекелестіктің өсуі – аталғанның бәрі IT-кадрларын дайындауда жоғары талаптар қоюға міндеттейді. Болашақ IT-кадрларды заман талабына сай оқыту дегеніміз, олардың кәсіби шығармашылығында кез-келген жағдайда оңтайлы шешім қабылдай алуы.

Кәсіби шығармашылығы жағынан жұмыс істеуі, эргономикалық компьютерлік және экономикалық жағынан тиімді технологияларды құрастыру және жетілдіру жұмыстарына араласуы, әр түрлі салаларда үрдісті автаматтандыруы - информатика бакалаврларын кәсіби дайындауда негізгі міндеттері болып саналады. Информатика бакалаврларын құзыретті дайындау мәселесін зерттей келе [1] жоғары мектепте бағдарламалауға үйретудің төрт деңгелі моделі ұсынылды (Кесте 1):

Кесте 1 - Жоғары мектепте бағдарламалауға үйретудің төрт деңгелі моделі

Болашақ информатиктердің бойында логикалық мәдениетті қалыптастыру дегеніміз информатика курсы бойынша кеінгі кәсіби деңгейде қолданылатын логикалық әдістерге қатысты білімдерін жетілдіру арқылы информатиканың негізгі әдістерін үйрету.

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

«Логикалық мәдениет» ұғымын түсіну кезінде еріксіз ойлау, тіл, логика, логикалық есептеулер сияқты ұғымдарға әкеледі.

Шынайы тілдер, сонымен қатар абстрактілі және нақты таңбалы жүйелер ойлаудың құралы болып табылады.

Бұл жүйенің элементтерін ойлаудың жедел және операциялық функцияларын көрсету (яғни, өзінше «материалдануы») және формальданған символдық тілдердің көмегімен тіркеу үшін қолданады.

Ойлаудың жедел ойлау ерекшелігін, ойлау үрдісіне бағынышты ережелер мен таңбаларды анықтау және оның қолданылу формаларын танып білу адамзат дамуының үлкен бір заманын алып жатыр. Осы заманда ой мен тілдің арасындағы байланысты анықтау негізінде қоршаған ортадағы объектіге, құбылыстарға және үрдістерге қатысты интуитивті-мазмұнды көріністен абстрактілі қабылдау мен формальды сипаттауға көшу үрдісі жүрді. Осы аралықта қалыптасқан логикалық есептеулер ұғымының аясында адамзаттың ойлауға қатысты тәжірибесін бейнелейтін формальды символдық тілдердің негізгі схемасы, принциптері және рецепттері анықталды. Формальды тілдердің логикалық есептеулерінде ойлау логикасы мен математика өзара сабақтаса келеді.

Әдебиет: [1], [2], [3], [4]
3-тақырып. Негізгі интеллектуалдық құралдардың математикалық алғышарттары

Жоспары:

1. Қолдану концепциялары.

2. Қолдануды тестілеу.

3. Бағалау түрлері.

4. Бағалау әдістері.

5. Дизайн процесі.

6. Адам мен машина арасындағы өзара әрекеттестіктің болашағы.

Әрбір сұрақтың қысқаша мазмұны

Болашақ информатиктердің логикалық мәдениетін қалыптастыру құрылымын белгілі бір пәнді оқу барысында (немесе бөлімді оқу барысында) дидактикалық жүйенің тиімді әдісін анықтау үшін математикалық әдістерді қолдану арқылы анықтайық.

А.В.Абрамовтың [73] ұсынған білім берудің математикалық моделін қалыптастыру кезінде технологиялық әдістерді қолдана отырып, математикалық модельдердің кейбір тиімді дидактикалық бірліктер жиынын анықтап оларға анализ жасадық, соның негізінде олардың енгізілу ретін анықтау үшін математиакалық әдістерді қолдануға тура келді.

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

Егер <sub>дидактикалық бірліктер жиыныны болса, онда олардың арасындағы байланыс пен тәуелділік қатынасы қолданылады:

дидактикалық бірлікті оқу (белгілі бір деңгейде) дидактикалық бірлігіне тіреледі.

-қатынасының шынайы (және көзге көрінетін) моделі мен жиынының дидактикалық бірліктері арасындағы қатынас шамамен графы болып табылады. жиынының элементтері бұл графтың төбелерінің жиыны болып табылады. элементтерінің қабырғалары кейбір реттелген жұптарды анықтайды. Осы кезде:</sub>

- графтық қабырғасы , .

Әдебиет: [1], [3], [5], [4]
4-тақырып. Пікірлер алгебрасы

Әрбір сұрақтың қысқаша мазмұны.

Қорыту ережесі.

Мысал 2. |- дәлелдеу керек. Шешімі: аксиомасын алып, оған . -ті - пен ауыстырамыз. Сонда |- (1)

(1) және (2) ҚЕ бойынша |- (3)

(3) формула -тің орнына қоямыз

|- (4)

аксиоманы жазамыз: |- (5)

(4) және (5) формулалардан ҚЕ бойынша

|- (6)

Әдебиет: [1], [2]
5-тақырып. Предикат алгебрасы

Әрбір сұрақтың қысқаша мазмұны

құр емес жиын берілсін дейік, n – арлық (n – жатысты ) жиынындағы қатынас жиынының бөлігі деп аталады, бұны () деп белгілейді. – ге қатысты жеке элементтерде емес, олардың жиындарында болуға тиіс.

Бір жатысты (унарлық – бірлік ) қатынас – оны белгі деп атайды, жалпы алғанда n – арлық қатынасты жинақталған элементтердің әртүрлі жиындардың бөлігі . Мұнда n – саны қатынастың арлығы, не жатыстығы деп аталады. Бинарлық (екі жатысты) қатынас бұл қос элементтік , не деп белгілейді де, және –лік қатынаста тұр.

Мысалы: Жасына байланысты бинарлық қатынас, адамдардың қатынасы. Әскери атағына байланысты қатынас. Үш жатысты (тернарлық) қатынас. мен нүктесінің арасында нүктесі болады.

Булеан – жиынының барлық бөліктерінен құралған жиын. Булеан = деп белгіленеді. Егер - бинарлық қатынаста жиынында жатады.

Бинарлық қатынас рефлексивті қасиетті қанағаттандырады;

Мысалдар:

1) Теңдіктер қатынастары рефлексивтік, симметриялы қатынасқа жатады.

2) Қос сандардан тұратын «үлкен», «кіші» қатынастар рефлексивке қарсы және симметрияға қарсы қатынасқа жатады.

3) Түзулердің параллельдігі рефлексивті және симметриялы қатынасқа жатады.

Транзитивтік қатынас үшін .

Әдебиет: [1], [2], [3], [4]
6-тақырып. Гомоморфизм және изморфизм ұғымдары

Жоспары:

1. Қолдану концепциялары.

2. Қолдануды тестілеу.

3. Бағалау түрлері.

4. Бағалау әдістері.

5. Дизайн процесі.

6. Адам мен машина арасындағы өзара әрекеттестіктің болашағы.

Әрбір сұрақтың қысқаша мазмұны

Анықтама:σ cигнатурасының ��₁=1,σ> және ��₂=2,σ> алгебралық жүйелері берілсін. Егер f: M_1⟶ M₂ бейнелеуі

1. 
   g және h-m орынды алгебралық амалдары σ сигнатурасының m орынды F фукционалдық символының ��₁ және ��₂ алгебралық жүйелеріндегі сәйкес интерпретациялары болып, кез келген a₁,….,a_mϵ M₁ элементтері үшін
   

теңдігі орындалады.

2. 
   Сәйкес M₁ және M₂ жиындарында анықталған P және S-n орынды қатынастары σ сигнатурасының қандай да бір n орынды R предикаттық символының ��₁ және ��₂ алгебралық жүйелеріндегі сәйкес интерпретациялары болса, кез келген a₁,….,a_mϵ M₁
   

3. 
   Егер a_k ϵ M₁ және b_k ϵ M₂ элементтері σ сигнатурасының c_k константа символының ��₁ және ��₂ алгебраық жүйлеріндегі сәйкес интерпретациялары болса, онда f(a_k)=b_k теңдігі орындалады.
   

Егер f: ��_{1 ⟶} ��₂ гомоморфризм және f(M₁₎₌M₂ болса, мұндай гомоморфризм эпиморфизм деп аталады. Ал ��₂ алгебралық жүйесін ��₁ алгебралық жүйесінің эпиморфты бейнесі дейді.

Егер f: ��_{1 ⟶} ��₂ эпиморфизм және f өзара әрменді сәйкестік және екінші шарт екі жақты болса, оны ��₁ және ��₂ алгебралық жүйелерінің изоморфизмі деп аталады. Ал аралында изоморфизм болатын ��₁ және ��₂ алгебралық жүйелері изоморфты деп аталып, бұл жағдай ��₁=��₂ арқылы белгіленеді

Әдебиет: [1], [3], [5], [4]
7-тақырып. Формальды тілдердің синтаксисын құру алгоритмы

Әрбір сұрақтың қысқаша мазмұны.

Бағдарламалау саласының негізгі ұғымы – нақты бұйрықтарға негізделген формальды аппарат болып табылады, жалпы түрде – логикалық есептеу. Логикалық есептеу алфавит, формулалар жиыны, аксиомалар жиыны, қорытынды ережелер жиынтығы сияқты бөліктерден тұрады.

Логикалық есептеу белгілі бір формальды тілдің негізінде құрылады. Формальды тілдің құрылымы төменде келтірілген (А.Черч бойынша):

1. 
   Тілде (алфавитте) қолданылатын біркелкі бөлінбейтін алғашқы символдар теріп жазылады;
   
2. 
   Соңғы алғашқы символдардың тізбегі формулаға айналады (формулалар жиыны);
   
3. 
   Барлық формулалардың ішінен белгілі бір ережеге сәйкес дұрыс құрылған формулалар анықталады, олардың кейбіреулері аксиома болып табылады (аксиомалар жиыны);
   
4. 
   Қорытынды ережелерді шығару реті анықталады, дұрыс құрылған формулалардың ішінен қорытынды ретінде дұрыс құрылған формула анықталады (қорытынды ережелер жиынтығы).
   

Болашақ информатиктердің бойында логикалық мәдениетті қалыптастыру дегеніміз информатика курсы бойынша кеінгі кәсіби деңгейде қолданылатын логикалық әдістерге қатысты білімдерін жетілдіру арқылы информатиканың негізгі әдістерін үйрету.

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

«Логикалық мәдениет» ұғымын түсіну кезінде еріксіз ойлау, тіл, логика, логикалық есептеулер сияқты ұғымдарға әкеледі.

Шынайы тілдер, сонымен қатар абстрактілі және нақты таңбалы жүйелер ойлаудың құралы болып табылады.

Бұл жүйенің элементтерін ойлаудың жедел және операциялық функцияларын көрсету (яғни, өзінше «материалдануы») және формальданған символдық тілдердің көмегімен тіркеу үшін қолданады.

Ойлаудың жедел ойлау ерекшелігін, ойлау үрдісіне бағынышты ережелер мен таңбаларды анықтау және оның қолданылу формаларын танып білу адамзат дамуының үлкен бір заманын алып жатыр. Осы заманда ой мен тілдің арасындағы байланысты анықтау негізінде қоршаған ортадағы объектіге, құбылыстарға және үрдістерге қатысты интуитивті-мазмұнды көріністен абстрактілі қабылдау мен формальды сипаттауға көшу үрдісі жүрді. Осы аралықта қалыптасқан логикалық есептеулер ұғымының аясында адамзаттың ойлауға қатысты тәжірибесін бейнелейтін формальды символдық тілдердің негізгі схемасы, принциптері және рецепттері анықталды. Формальды тілдердің логикалық есептеулерінде ойлау логикасы мен математика өзара сабақтаса келеді.

Әдебиет: [1], [2], [3], [4]
3-тақырып. Негізгі интеллектуалдық құралдардың математикалық алғышарттары

Жоспары:

1. Қолдану концепциялары.

2. Қолдануды тестілеу.

3. Бағалау түрлері.

4. Бағалау әдістері.

5. Дизайн процесі.

6. Адам мен машина арасындағы өзара әрекеттестіктің болашағы.

Әрбір сұрақтың қысқаша мазмұны

Болашақ информатиктердің логикалық мәдениетін қалыптастыру құрылымын белгілі бір пәнді оқу барысында (немесе бөлімді оқу барысында) дидактикалық жүйенің тиімді әдісін анықтау үшін математикалық әдістерді қолдану арқылы анықтайық.

А.В.Абрамовтың [73] ұсынған білім берудің математикалық моделін қалыптастыру кезінде технологиялық әдістерді қолдана отырып, математикалық модельдердің кейбір тиімді дидактикалық бірліктер жиынын анықтап оларға анализ жасадық, соның негізінде олардың енгізілу ретін анықтау үшін математиакалық әдістерді қолдануға тура келді.

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

7. Практикалық сабақтардың мазмұны, олардың сағатпен берілген көлемі

Тақырып 3: Негізгі интеллектуалдық құралдардың математикалық алғышарттары

ПР 1,2 – Предикат тілдерінің синтаксисы

Тақырып 4 Пікірлер алгебрасы

ПР 3,4 – Предикаттар семантикасы.

Тақырып 5 Предикаттар алгебрасы

ПР5 – Предикат ұғымы.

Тақырып 6 Java тілінің артықшылықтары мен ассоциативтілігі.

ПР6 – Java тілінің артықшылықтары мен ассоциативтілігі.

Тақырып 7 Гомоморфизмдер мен изоморфизмдер

ПР7 – Java тілінің қарапайым операторлары.

Тақырып 8 Рекурсия және итерация.

ПР8 – Рекурсия және итерация.

Тақырып 9 Формальды тілдердің синтаксистық құрамының құрылу алгоритмы.

ПР9 – Рекурсиялы бағдарламалардың ерекшелігі

Тақырып 10 Java және циклдық құрылымдар

ПР10,11 – Java және циклдық құрылымдар

Тақырып 11 Программалау тілдерінің семантикалық анализ технологиясы

ПР12,13 – Алгоритмның күрделілігін анықтау критериі

Тақырып 12 Java тіліндегі массивтермен жұмыс

ПР14 – Java тіліндегі массивтермен жұмыс.

Тақырып 13 «Дәлелдеу», «Алгоритм», «Анықталғандық» және «Тиімді есептеу» ұғымдары.

ПР15 – Тізбектермен жұмыс

Тақырып 14 - Предикат және бағдарламаның құжаты

ПР16,17 – Предикат және бағдарламаның құжаты

Тақырып 15 Есепті шешудің модульды және рекурсивты әдісі

ПР 18, 19 – Предикаттарды түрлендіру

Тақырып 16 Программисттың логикалық мәдениетінің информатика-логикалық негіздері

ПР20 – Циклдың инвариантивтілігі және шекті функциясы.

Тақырып 17 Инварианты функциясын есептеу схемасы

ПР21 – Инварианты функциясын есептеу схемасы

Тақырып 18 Бағдарламаны верификациялаудың логика-математикалық әдістері

ПР22, 23 – Тізбек кеңістігіндегі функциялар.
8. Өздік жұмыстардың тапсырмалары
Тақырып 1 Кіріспе Курстың мақсаты мен міндеті. Курсты оқудағы құралы мен объектісі. Курсты зерттеудің әдісі.

Тақырып 2 Болашақ информатиктерді дайындаудың құрылымы Программисттың кәсіби құзыреттілігі. Программисттың логикалық мәдениетінің негізгі құраушылары. Болашақ информатиктердің логикалық мәдениетін қалыптастырудағы оқу материалының мазмұны.

Тақырып 3 Негізгі интеллектуалдық құралдардың математикалық алғышарттары Негізгі интеллектуалдық құралдарға: абстракция, атап өту, математикалық индукция жатады. Программисттың бойында интеллектуалдық құралдарды қалыптастыратын математиканың салалары.

Тақырып 4 Пікірлер алгебрасы Пікірлер және олармен орындалатын логикалық операциялар. Тепе-теңдік қатынасы. Қарапайым формалар. Бинарлық қатынастар және олардың қасиеттері. Эквиваленттілік қатынас.

Тақырып 5 Предикаттар алгебрасы Предикаттарға қолданылатын логикалық және кванторлық операциялар. Алгебра предикаты σ сигнатурасының формуласы. Алгебра предикаты тілінің семантикасы.

Тақырып 6 Гомоморфизмдер мен изоморфизмдер Алгебралық операциялар. Изоморфизм мен гомоморфизмның арасындағы қатынасы. Гомоморфизмдер туралы теорема.

Тақырып 7 Формальды тілдердің синтаксистық құрамының алгебралық құрылымы Формальды тілдердің құрылу ережелінің жүйесі және оның дұрыстығын тексеру. Бағдарламалу тілдерінің синтаксисы. Базалық есептеулер (пікірлер есептеулері мен предикаттар есептеулері) сөздерінің синтаксистық (сөздедің реттілігі) құрылымының индуктивтық анализы. Формальды грамматикалар. Алгебралық жүйелер.

Тақырып 8 Бағдарламалау тілдерінің семантикалық анализ технологиясы Бағдарламалу тілдерінің семантикасын сипаттаудағы негізгі үш түрі: операциялық, аксиоматикалық (немесе деривациялық) және денотациялық (немесе математикалық семантика). Интерпретатор және компилятор.

Тақырып 9 «Дәлелдеу», «Алгоритм», «Анықталғандық» және «Тиімді есептеу» ұғымдары.

Тақырып 10 Есептерді модульды түрде және рекурсивты жолмен шығару әдісі (бағдарламалау).

Тақырып 11 Программисттың логикалық мәдениетінің информатико-математикалық негіздері

Тақырып 12 Бағдарламаны верификациялаудың логико-математикалық әдістері

9. Білім алушылардың оқытушымен өздік жұмысына кеңес беру кестесі

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

10. Білім алушылардың білімдерін тексерудің кестесі
Пән бойынша тапсырмаларды орындау және тапсыру кестесі

№	Жұмыс түрлері	Тақырып, мақсаты және тапсырма мазмұны	Ұсынылатын әдебиеттер	Орындау ұзақтығы	бақылау формасы	Тапсыру мерзімі
1	2	3	4	5	6	7
1	СӨЖ тапсырмаларын орындау	Кіріспе		3-апта		4-апта
2	СӨЖ тапсырмаларын орындау	Қолданушының графиктік интерфейсін жобалау		2-апта		6-апта
3	Межелік бақылау	1,2-тақырып				7-апта
4	СӨЖ тапсырмаларын орындау	Қолданушының графиктік интерфейсін жобалау		10-апта		12-апта
5	СӨЖ тапсырмаларын орындау	Интерфейсті қолдану копцепциялары		12-апта		15-апта
7	Межелік бақылау	2,3-тақырыптар				15-апта

11. Білім алушылардың білімдерін бағалау критерийлері

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

Әрбір тапсырма 0-100 балмен бағаланады.

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

Қорытынды бақылауға жұмыс оқу бағдарламасының барлық талаптарын орындаған (барлық практикалық және СӨЖ тапсырмаларын орындаған және тапсырған), жіберу рейтингі 50 балдан төмен емес студенттер жіберіледі.

Студенттердің әр пән бойынша оқу жетістіктерінің деңгейі қорытынды бағамен анықталады:

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

Салмақтық үлестер жыл сайын университеттің Ғылыми кеңесімен бекітіледі, мұнда ЖР 0,6-дан көп емес, ал ҚБ 0,3-тен төмен емес.

Пә бойынша қорытынды баға білім алушының жіберу рейтингісі және қорытынды бақылау бағасы 50-ден жоғары болғанда ғана есептеледі. Қорытынды бақылауға себепсіз келмеген студентке «қанағаттанарлықсыз» деген баға қойылады. Студенттерге емтихан және аралық аттестаттау нәтижелері емтихан тапсырған күні немесе ертеңінде (егер жазбаша емтихан түстен кейін қабылданса) хабарланады.

Қорытынды бағаны есептеудің дұрыстығы үшін межелік бақылау және қорытынды емтихан 0-100%-ға дейін бағаланады.

Студенттің оқу жетістіктері төмендегі кестеге сәйкес бағаланады.

.

Әріптік жүйе бойынша баға	Балдардың цифрлық эквиваленті	Пайыздық мазмұны	Дәстүрлі жүйе бойынша баға
A	4,0	95-100	Өте жақсы
A-	3,67	90-94
B+	3,33	85-89	Жақсы
B	3,0	80-84
B-	2,67	75-79
C+	2,33	70-74	Қанағаттанарлық
C	2,0	65-69
C-	1,67	60-64
D+	1,33	55-59
D	1,0	50-54
F	0	0-49	Қанағаттанарлықсыз

12. Оқытушының талаптары, саясат және процедуралар

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

Берілген тапсырмаларды белгіленген мерзімде тапсыру қажет. Барлық тапсырмаларды тапсырудың соңғы мерзімі – емтихан сессиясының басталуына 3 күн қалғанға дейін.

Барлық тапсырмаларды тапсырмаған студенттер емтиханға жіберілмейді.

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

Студенттің оқытушымен орындайтын өздік жұмысын орындау барысында келесілерді есте сақтау қажет:

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

13. Әдебиеттер тізімі

Негізгі

1. 
   Нурбекова Ж.К. Теоретико-методологические основы обучения программированию: монография. – Павлодар, 2004. – 225с.
   
2. 
   Дроботун Б.Н. Методическая система обучения логико-алгебраическим дисциплинам в высших учебных заведениях: дисс. ... докт.пед. наук.- Алматы, 2008. – 442 с.
   
3. 
   Нурбекова Ж.К. Фундаментальное и опережающее обучение программированию студентов по специальности «Информатика»: дисс. …докт. пед.наук.- Алматы, 2007.
   
4. 
   Джарасова Г.С. Экспериментальное исследование формирования логической культуры будущих информатиков // Вестник ПГУ.- 2009.- №1.- С.62-69.
   
5. 
   Джарасова Г.С. Обучение будущих информатиков применению рекурсивного метода программирования // Материалы научно-практической конференции «Информационные и коммуникационные технологии в образовании» - Екатеринбург: ГОУ ДПО ИРРО, 2009. – С.280-282; 308 с.
   
6. 
   Нурбекова Ж.К., Джарасова Г.С., Байгушева К.М. Междисциплинарные связи при формировании логической культуры будуших кадров в области информатики// Бюллетень центра информатики и информационных технологий в образовании. - М.:ИСМО РАО, 2008. - Вып.4.- С.70-74; 152 с.
   
7. 
   Дроботун Б.Н., Джарасова Г.С. К проблеме формирования алгоритмической культуры студентов// Материалы научной конференции молодых ученых, студентов и школьников, III Сатпаевские чтения. – Павлодар, 2003.- Т.7.- С. 49-54.
   
8. 
   Дроботун Б.Н., Джарасова Г.С. Порядковые отношения и методологические подходы к их изучению // Республиканский научный журнал «Поиск» .- 2005.- №4.- С.261 – 264.
   

Қосымша әдебиет

1. 
   Дроботун Б.Н., Джарасова Г.С. О концепции изучения алгебраических систем с точностью до изоморфизма // Вестник КазНПУ им. Абая. Серия физико-математические науки.- 2006.- №1(15).- С. 58 – 66.
   
2. 
   http://cmap.coginst.uwf.edu/info/
   
3. 
   http://dl.nw.ru/theories/cmaps/
   
4. 
   Глобализация и конвергенция образования: технологический аспект: научное издание / Под общей редакцией профессора Ю.Б. Рубина. – М.: ООО «Маркет ДС Корпорейшн», 2004. – 540 с.
   
5. 
   http://www.yugzone.ru/mindmap.htm
   
6. 
   Дроботун Б.Н., Джарасова Г.С. Из опыта изучения элементов дискретной математики в средней школе// Материалы научной конференции молодых ученых, студентов и школьников, II Сатпаевские чтения.- Павлодар, 2002.- Т.2.- С. 30-38
   
7. 
   Дроботун Б.Н., Джарасова Г.С. Программа факультатива «Элементы дискретной математики» в школе (9 кл) // В кн: Факультативы по школьным дисциплинам (информатика, математика, биология, физика, химия), серия «Портфель молодого учителя».- Павлодар: НИЦ ПГУ, 2003.- С.19-22.
   
8. 
   Дроботун Б.Н., Джарасова Г.С. Вводный курс математики. - Павлодар: Научно-издательский центр ПГУ им.С.Торайгырова, 2004. – 300с.
   
9. 
   Дроботун Б.Н., Джарасова Г.С. К проблеме методического обеспечения дистанционного обучения// Материалы международной научно-практической конференции «Компьютеризация обучения и проблемы гуманизации образования в техническом ВУЗе». – Пенза, 2003.- С.459-462.
   
10. 
    Дроботун Б.Н. Из опыта пропедевтического понятия «Алгоритм» //Вестник ПГУ им.С.Торайгырова. Серия педагогическая. -2007.- №1.- С. 60 – 66.
    
11. 
    Дроботун Б.Н. О концепции содержательного мотивационно-ориентированного подхода в системе вузовской логико-алгебраической подготовки //Высшая школа Казахстана.- 2008.- №2.- С. 55-60.
    
12. 
    Бидайбеков Е.Ы., Гриншкун В.В. Интеграционные методы преподавания алгоритмических языков в университетском курсе информатики// Материалы международной научно-методической конференции «Математическое моделирование и информационные технологии в образовании и науке». - Алматы: АГУ им. Абая, 1998.
    
13. 
    Клини С.К. Математическая логика: Пер. с англ. – М.: Мир, 1973. – 480с.
    

жүктеу/скачать 356.5 Kb.

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